3 papers
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…
cs.SE2025
Isolating Compiler Faults via Multiple Pairs of Adversarial Compilation Configurations
Qingyang Li, Yibiao Yang, Maolin Sun +3
Compilers are fundamental to modern software development, making the effective identification and resolution of compiler faults essential. However, localizing these faults to speci…
cs.PL2025
An Empirical Study of Rust-Specific Bugs in the rustc Compiler
Zixi Liu, Yang Feng, Yunbo Ni +5
Rust is gaining popularity for its well-known memory safety guarantees and high performance, distinguishing it from C/C++ and JVM-based languages. Its compiler, rustc, enforces the…