I am currently pursuing a Master’s degree at East China Normal University (2022-2025), under the guidance of Professor TingSu. I completed my Bachelor’s degree at Yantai University. My research interests focus on static program analysis, and I am currently working on static program analysis for the HarmonyOS NEXT App within the ark compiler runtime core at Huawei’s 2012 Lab (Trusted Theory, Technology, and Engineering Laboratory), starting in October 2024.
🧐 subreviewer for MOBILESoft 2025
🍻 1st Prize, CSCC National College Students Computer Systems Capability Competition (East China Regional) – OS Tools Development, Team Leader
✌️ github: igpt42, 🤙 gitee: igpt42
If you have any issues to discuss, feel free to contact me via email: work.ml-ming@outlook.com :-D
Publication
Finding and Understanding Defects in Static Analyzers by Constructing Automated Oracles
Weigang He, Peng Di, Mengli Ming, Chengyu Zhang, Ting Su, Shijie Li and Yulei Sui
In Proceedings of FSE 2024.
Highlights: This work has found 38 unique defects in Clang Static Analyzer, GCC Static Analyzer, and Pinpoint.
PS: I am refactoring the tool for this paper.
TA
🛠️ Software Analysis, Testing and Verification - Fall 2023
🛠️ Software Analysis, Testing and Verification - Fall 2024
