Graph Is the Verifier: Agentic Reinforcement Learning for Interprocedural Vulnerability Detection
arXiv:2607.26656v1 Announce Type: cross Abstract: Real-world vulnerabilities often span multiple functions, yet most learning-based detectors classify each function in isolation: on a sample of real C