Registered user since Mon 28 Aug 2023
Name:Xutong Ma
Affiliation:Inria Paris
Personal website: https://orcid.org/0009-0009-1510-1668
GitHub: https://github.com/Snape3058
Research interests:C/C++ Static Analysis; Clang Static Analyzer; Coccinelle
Contributions
Using general profile