Ze-Xin Zhong

APG: Agentic Static-Analysis Infrastructure on LLVM-IR Graph Databases

LLM-based coding agents increasingly rely on external program knowledge, yet access to static-analysis graphs alone does not ensure appropriate operation selection or evidence interpretation. We present APG, an infrastructure for semantics-grounded static program analysis. Built on SVF and LLVM, it decomposes compiler-...