ARQ: Agentic CodeQL Query Refinement for C/C++ Vulnerability Detection
DGX agentarXiv:2608.20637v1 Announce Type: cross Abstract: Static analyzers have been widely adopted for vulnerability detection in C/C++ programs. Query-based static analyzers (e.g., CodeQL) encode vulnerable