CLEAR: Causal Context-Based Agentic Reasoning for Vulnerability Detection

arXiv:2608.03134 · cs.CR, cs.SE · Submitted 2026-08-04 · Read on arXiv

cs.CR, cs.SE

Submitted: 2026-08-04

Updated: 2026-10-06

Code: https://github.com/langchain-ai/langchain

License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/

Terminology

• Knowledge Graph — 25× in this paper · explained in 8 episodes
• Root Cause — 15× in this paper
• Fix Intent — 13× in this paper
• Large Language Model — 12× in this paper
• Agentic Reasoning — 11× in this paper · explained in 2 episodes
• RAG — 9× in this paper · explained in 3 episodes
• Ablation — 7× in this paper · explained in 1 episode
• Core — 7× in this paper · explained in 2 episodes
• Verification — 7× in this paper · explained in 2 episodes
• Vulnerability Causal Knowledge Graph — 7× in this paper
• Benchmark — 6× in this paper · explained in 2 episodes
• Consistency — 6× in this paper · explained in 3 episodes
• Multi-Agent Framework — 6× in this paper · explained in 3 episodes
• Semantic Similarity — 6× in this paper · explained in 2 episodes
• Grounding — 5× in this paper · explained in 3 episodes
• International Conference on Software Engineering — 5× in this paper
• Graph Construction — 4× in this paper · explained in 3 episodes
• Hallucination — 4× in this paper · explained in 4 episodes
• Ablation Study — 3× in this paper · explained in 3 episodes
• Abstraction — 3× in this paper · explained in 1 episode
• Causal Reasoning — 3× in this paper · explained in 2 episodes
• Embeddings — 3× in this paper · explained in 2 episodes
• Fidelity — 3× in this paper · explained in 2 episodes
• Language Models (LLMs) — 3× in this paper · explained in 2 episodes
• Large Language Models (LLMs) — 3× in this paper · explained in 9 episodes
• Multi-Agent Debate — 3× in this paper · explained in 2 episodes
• Papers — 3× in this paper · explained in 3 episodes
• Robustness — 3× in this paper · explained in 6 episodes
• Accuracy — 2× in this paper · explained in 1 episode
• Benchmarking — 2× in this paper · explained in 4 episodes
• Coherence — 2× in this paper · explained in 2 episodes
• Cosine Similarity — 2× in this paper · explained in 3 episodes
• F1 Score — 2× in this paper · explained in 4 episodes
• Generalization — 2× in this paper · explained in 14 episodes
• Multi-agent Coordination — 2× in this paper · explained in 2 episodes
• Abstract Syntax Tree — 1× in this paper
• Adam — 1× in this paper · explained in 3 episodes
• Chain-of-Thought (CoT) — 1× in this paper · explained in 5 episodes
• Class Imbalance — 1× in this paper · explained in 3 episodes
• Clustering — 1× in this paper · explained in 2 episodes
• Data Leakage — 1× in this paper · explained in 2 episodes
• Elias — 1× in this paper · explained in 2 episodes
• Evaluation Protocol — 1× in this paper · explained in 2 episodes
• Faithfulness — 1× in this paper · explained in 2 episodes
• Foundation Model — 1× in this paper · explained in 3 episodes
• Foundation Models — 1× in this paper · explained in 8 episodes
• Large Language Model (LLM) — 1× in this paper · explained in 3 episodes
• Performance Gap — 1× in this paper · explained in 2 episodes
• Representation Learning — 1× in this paper · explained in 3 episodes
• Semantic Alignment — 1× in this paper · explained in 6 episodes
• Semantic Understanding — 1× in this paper · explained in 3 episodes
• Structural Fidelity — 1× in this paper · explained in 2 episodes
• Trace — 1× in this paper · explained in 2 episodes
• Transformer — 1× in this paper · explained in 2 episodes
• Vulnerability Pair Score — 1× in this paper

Sources

• Retrieval-Augmented Generation for Large Language Models: A Survey
• Large Language Models Cannot Self-Correct Reasoning Yet
• CleanVul: Automatic Function-Level Vulnerability Detection in Code Commits Using LLM Heuristics
• Let the Trial Begin: A Mock-Court Approach to Vulnerability Detection using LLM-Based Agents
• A Survey of Large Language Models for Code: Evolution, Benchmarking, and Future Trends

Related papers

• SoK: AI-Augmented Binary Reversing
• Relaxed Sender Anonymity for CBDC Interbank Settlement: A Zero-Knowledge Approach on Permissioned EVM
• Calibration-Family Overfit: Why Trusted Sabotage Monitors Don't Transfer Across Lineages
• Estimating the Social Cost of Corporate Data Breaches
• Efficient Fuzzy PSI under One-Sided Assumptions
• Sealing the Audit-Runtime Gap for LLM Skills