I am currently pursuing my Master’s degree at East China Normal University (2022–2025) under the supervision of Professor Ting Su. I received my Bachelor’s degree from Yantai University (2017-2021).
My primary research interests lie in static analysis. I am currently working on static analysis for the HarmonyOS NEXT App within the ark compiler runtime core at the Huawei’s 2012 Lab (Trusted Theory, Technology, and Engineering Laboratory), starting in October 2024.
If you have any questions or wish to discuss potential collaborations, please feel free to contact me via email: hack42@yeah.net :-D
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 identified 38 unique defects in the Clang Static Analyzer, the GCC Static Analyzer, and the Pinpoint.
P.S.: I am currently refactoring the tool for this paper.
1st Prize in the CSCC National College Students Computer Systems Capability Competition (East China Regional) – OS Tools Development (Team Leader).
🛠️ Software Analysis, Testing and Verification - Fall 2023
🛠️ Software Analysis, Testing and Verification - Fall 2024