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

From the 1 of 2 linked papers with an AI index.

collaborators
Showing cs.SEShow all

1 paper · 1 filter

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…