Reproduce “APG: Agentic Static-Analysis Infrastructure on LLVM-IR Graph Databases” on OpenResearch
Turn your favorite coding agents into research agents that review literature, develop hypotheses, and run experiments.
Universal app for Apple silicon and Intel. Requires macOS 11 or later.
About this paper
Zexin Zhong, Yanjun Zhang, Yulei Sui, Xiao Cheng
APG connects LLVM-based static analysis to an agent through reusable semantic capabilities, checked graph queries, and inspectable evidence. It stores five SVF-derived graph types in TuGraph, letting the agent retrieve structural evidence on demand. On Multi-SWE-bench, first-iteration repair success was 32.8%, versus 15.2% for Passive Graph Push; LLM input tokens per defect fell 90.8%, limited to input-token accounting.
Summary by alphaXiv.
Tip: change arxiv.org to autoarxiv.org in any arXiv abstract link to open the paper here.