Xutong Ma -

Registered user since Mon 28 Aug 2023

Name:Xutong Ma

Affiliation:State Key Laboratory of Computer Science, Institute of Software, Chinese Academy of Sciences, Beijing, China

Personal website: http://lcs.ios.ac.cn/~maxt/

X (Twitter): https://x.com/MaHsutung38324

GitHub: https://github.com/Snape3058

Research interests:C/C++ Static Analysis; Symbolic Execution; Clang Static Analyzer

Contributions

2023

ASE

Author of PSMT: Satisfiability Modulo Theories Meets Probability Distribution within the NIER Track-track
Author of Detecting Memory Errors in Python Native Code by Tracking Object Lifecycle with Reference Count within the Research Papers-track

2021

ASE

Author of Detecting Memory-Related Bugs by Tracking Heap Memory Management of C++ Smart Pointers within the Research Papers-track

2019

ASE

Author of SPrinter: A Static Checker for Finding Smart Pointer Errors in C++ Programs within the Demonstrations-track

ISSTA

Author of Androlic: An Extensible Flow, Context, Object, Field, and Path-Sensitive Static Analysis Framework for Android within the Tool Demonstration-track