Xutong Ma -

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

2025

ICSE

Committee Member in Shadow PC within the Shadow PC-track

2024

ASE

Author of Detecting Element Accessing Bugs in C++ Sequence Containers within the Artifact Evaluation Track-track
Author of Detecting Element Accessing Bugs in C++ Sequence Containers within the Research Papers-track

ECOOP/ISSTA

Author of Panda: A Concurrent Scheduler for Compiler-Based Tools within the Tool Demonstrations-track

2023

ASE

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