# 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