Veritas: Grounding LLM Agents for Reliable Vulnerability Reasoning over Stripped Binaries

Xinran Zheng, Alfredo Pesoli, Marco Valleri +2

Frontier LLM agents are increasingly capable of localizing suspicious code, but vulnerability reasoning requires more than access to program artifacts. An agent must carry forward…