agent/papers/items/2026-2606-18619-code-augur-agentic-vulnerability-detection-via-specification-inference.md

Paper: Code-Augur: Agentic Vulnerability Detection via Specification Inference

---

type: paper title: "Code-Augur: Agentic Vulnerability Detection via Specification Inference" authors: Zhengxiong Luo, Mehtab Zafar, Dylan Wolff, Abhik Roychoudhury year: 2026 venue: arXiv url: https://arxiv.org/abs/2606.18619 code_url: source: arxiv collected_at: 2026-07-08 published_at: 2026-06-17 updated_at: 2026-06-17 status: queued relevance: high topics:

• agent-safety
• computer-use
• rag
• reasoning methods:

benchmarks:

models:

datasets:

• cs.CR
• cs.AI
• cs.SE related_concepts:

related_jobs:

related_experiments:

related_projects:

collection_score: 16 collection_queries: ai-agent

One-line Takeaway

Auto-collected from arXiv because it matched the Agent collection queries. Needs human skim.

Why Collected

• matched queries: ai-agent
• inferred topics: agent-safety, computer-use, rag, reasoning
• arXiv categories: cs.CR, cs.AI, cs.SE
• collection score: 16

Review Checklist

• Does this paper directly inform Agent architecture, evaluation, memory, tools, safety, coding agents, GUI/browser agents, or multi-agent workflows?
• Does it include a benchmark, dataset, code, or reproducible experimental setup?
• Should it be promoted from queued to skimmed or summarized?

Links

• arXiv: https://arxiv.org/abs/2606.18619