I am a Ph.D. student in Software Engineering at East China Normal University (since September 2025), supervised by Professor Ting Su. My research interests include static analysis.
Email: hack42@yeah.net :-D
M.S.E., East China Normal University (Sep 2022 – Jul 2025)
B.S.E., Yantai University (Sep 2017 – Jun 2021)
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.
Static Analysis for HarmonyOS NEXT App within Ark Compiler Runtime Core, Huawei 2012 Lab (Sep 2024 – Dec 2025)
Software Analysis, Testing and Verification - Fall 2023
Software Analysis, Testing and Verification - Fall 2024
Software Analysis, Testing and Verification - Fall 2025
First Prize (Team Leader), Computer System Development Capability Competition (East China Region) — OS Application Development Track, 2025.
Starlight Contributor, OpenHarmony Tech Club 2025