Xutong Ma (Ella)

PhD. Student - She/Her/Hers 🏳️‍⚧️

• Research interest: C/C++ Static Analysis, Static Symbolic Execution, Clang Static Analyzer
• Email: maxt@ios.ac.cn
• Google Scholar: Xutong Ma
• LLVM contributions: GitHub Commits
• Twitter: @MaHsutung38324
• GitHub: @Snape3058
• Languages: Chinese Traditional, English, Japanese

My Publications

• Xutong Ma, Jiwei Yan, Jun Yan and Jian Zhang, “Reorganizing and Optimizing Post-Inspection on Suspicious Bug Reports in Path-Sensitive Analysis”, 2019 IEEE 19th International Conference on Software Quality, Reliability and Security (QRS), Sofia, Bulgaria, 2019, pp. 260-271.
  • [DOI Access] [Pre-Print] [Slides]
• Xutong Ma, Jiwei Yan, Yaqi Li, Jun Yan and Jian Zhang, “SPrinter: A Static Checker for Finding Smart Pointer Errors in C++ Programs”, 2019 34th IEEE/ACM International Conference on Automated Software Engineering (ASE), San Diego, CA, USA, 2019, pp. 1122-1125.
  • [DOI Access] [Pre-Print] [Demo Video] [Slides] [SPrinter Tool]
• Xutong Ma, Jiwei Yan, Wei Wang, Jun Yan, Jian Zhang and Zongyan Qiu, “Detecting Memory-Related Bugs by Tracking Heap Memory Management of C++ Smart Pointers”, 2021 36th IEEE/ACM International Conference on Automated Software Engineering (ASE), Melbourne, Australia, 2021, pp. 880-891.
  • [DOI Access] [Pre-Print] [Slides] [Spelton Tool]
• Xutong Ma, Jiwei Yan, Hao Zhang, Jun Yan and Jian Zhang, “Detecting Memory Errors in Python Native Code by Tracking Object Lifecycle with Reference Count”, 2023 38th IEEE/ACM International Conference on Automated Software Engineering (ASE), Kirchberg, Luxembourg, 2023, pp. 1429-1440.
  • [DOI Access] [Pre-Print] [Slides] [PyRefcon Tool]
• Xutong Ma, Jiwei Yan, Jun Yan and Jian Zhang, “Panda: A Concurrent Scheduler for Compiler-Based Tools”. (Under Revision)
  • [Demo Video] [Panda Tool]

Collaborations

• Cunjing Ge, Feifei Ma, Tian Liu, Jian Zhang, Xutong Ma, “A new probabilistic algorithm for approximate model counting”, Automated Reasoning: 9th International Joint Conference, IJCAR 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings 9. Springer International Publishing, 2018, pp. 312-328.
• Linjie Pan, Baoquan Cui, Jiwei Yan, Xutong Ma, Jun Yan, Jian Zhang, “Androlic: an extensible flow, context, object, field, and path-sensitive static analysis framework for Android”, Proceedings of the 28th ACM SIGSOFT International Symposium on Software Testing and Analysis. 2019, pp. 394-397.
• Cunjing Ge, Feifei Ma, Xutong Ma, Fan Zhang, Pei Huang, Jian Zhang, “Approximating Integer Solution Counting via Space Quantification for Linear Constraints”, Proceedings of the 28th International Joint Conference on Artificial Intelligence. 2019, pp. 1697-1703.
• Rundong Li, HongLiang Liang, Liming Liu, Xutong Ma, Rong Qu, Jun Yan, Jian Zhang, “GTFuzz: Guard token directed grey-box fuzzing”, 2020 IEEE 25th Pacific Rim International Symposium on Dependable Computing (PRDC). IEEE, 2020, pp. 160-170.
• Xin Zhang, Xutong Ma, Jiwen Yan, Baoquan Cui, Jun Yan, Jian Zhang, “Improving Tese Case Generation for Python Native Libraries Through Constraints on Input Data Structures”, arXiv:2206.13828 [cs.SE].
• Fuqi Jia, Rui Han, Xutong Ma, Baoquan Cui, Minghao Liu, Pei Huang, Feifei Ma, Jian Zhang, “PSMT: Satisfiability Modulo Theories Meets Probability Distribution”, 2023 38th IEEE/ACM International Conference on Automated Software Engineering (ASE), Kirchberg, Luxembourg, 2023, pp. 1756-1760.