Registered user since Mon 28 Aug 2023
Name:Xutong Ma
Affiliation:Institute of Software, Chinese Academy of Sciences, Beijing, China
Personal website: http://lcs.ios.ac.cn/~maxt/
GitHub: https://github.com/Snape3058
Research interests:C/C++ Static Analysis; Symbolic Execution; Clang Static Analyzer
Contributions
Using general profile