Book
Open access
Oct 2026
SAF: An AI-Agent-Ready and Browser-Accessible Static Analysis Framework for LLVM IR
Static program analysis finds bugs before software ships, and modern checkers for C/C++ depend on whole-program infrastructure: pointer analysis, value-flow tracking, taint analysis, and IFDS-based data flow on top of LLVM. Today’s LLVM-IR frameworks fall short. SVF, Phasar, and Lotus expose their analyses through C++...
Yue-Kang Li, Wei Li, Wei Song et al.
· Proceedings of the 41st IEEE... · 0 citations