3 papers
cs.PL2026
PyFlow: An Inter-procedural Static Analysis Framework for Python
Zinan Gu, Haoxiang Yan, Peisen Yao
Static program analysis infers program properties automatically. Yet precise interprocedural analysis remains challenging, and dynamically typed languages amplify the difficulty. P…
cs.PL2026
Accelerating C/C++ Pointer Analysis via Compiler-Based Offline Simplifications
Zinan Gu, Peisen Yao, Kui Ren
Pointer analysis is a cornerstone of numerous static analysis applications, including compiler optimizations, slicing, bug detection, and verification. While offline simplification…
cs.PL2026
Phoenix: A Modular and Versatile Framework for C/C++ Pointer Analysis
Peisen Yao, Zinan Gu, Qingkai Shi
We present Phoenix, a modular pointer analysis framework for C/C++ that unifies multiple alias analysis algorithms behind a single, stable interface. Phoenix addresses the fragment…