works on
benchmark dataset 1causal reasoning 1code property graph 1interprocedural analysis 1LLM agents 1vulnerability trigger localization 1

From the 1 of 1 linked paper with an AI index.

collaborators

1 paper

cs.SE2026

AutoTrace: From Patches to Triggers via Agentic Interprocedural Exploration

Arastoo Zibaeirad, Marco Vieira, Thomas Zimmermann

AutoTrace is an agentic pipeline that uses LLM‑driven exploration of code property graphs to locate vulnerability triggers across interprocedural call chains, achieving state‑of‑th…