I am currently pursuing a Ph.D. in Software Engineering at East China Normal University under the supervision of Professor Ting Su, starting from September 2025.
M.S.E., East China Normal University — Sep 2022 – Jul 2025
B.S.E., Yantai University — Sep 2017 – Jun 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 September 2024.
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.
Computer System Development Capability Competition (East China Region) — OS Tools Development — First Prize (Team Leader), 2025
OpenHarmony Tech Club — Starlight Contributor, 2025
Software Analysis, Testing and Verification - Fall 2023
Software Analysis, Testing and Verification - Fall 2024
Software Analysis, Testing and Verification - Fall 2025