Buchumschlag

Execution-State-Aware LLM Reasoning for Automated Proof-of-Vulnerability Generation

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Li, Haoyu, Che, Xijia, Wang, Yanhao, Liao, Xiaojing, Xing, Luyi
Format:	Preprint
Veröffentlicht:	2026
Schlagworte:	Software Engineering Cryptography and Security
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

LLM Agents for Automated Web Vulnerability Reproduction: Are We There Yet?
von: Liu, Bin, et al.
Veröffentlicht: (2025)

KVerus: Scalable and Resilient Formal Verification Proof Generation for Rust Code
von: Liu, Yuwei, et al.
Veröffentlicht: (2026)

KernJC: Automated Vulnerable Environment Generation for Linux Kernel Vulnerabilities
von: Ruan, Bonan, et al.
Veröffentlicht: (2024)

Generating Proof-of-Vulnerability Tests to Help Enhance the Security of Complex Software
von: Kanchi, Shravya, et al.
Veröffentlicht: (2026)

PoCGen: Generating Proof-of-Concept Exploits for Vulnerabilities in Npm Packages
von: Simsek, Deniz, et al.
Veröffentlicht: (2025)

ContractTinker: LLM-Empowered Vulnerability Repair for Real-World Smart Contracts
von: Wang, Che, et al.
Veröffentlicht: (2024)

AutoVulnPHP: LLM-Powered Two-Stage PHP Vulnerability Detection and Automated Localization
von: Wang, Zhiqiang, et al.
Veröffentlicht: (2026)

An Empirical Study of Vulnerable Package Dependencies in LLM Repositories
von: Liu, Shuhan, et al.
Veröffentlicht: (2025)

Real-World Usability of Vulnerability Proof-of-Concepts: A Comprehensive Study
von: Dang, Wenjing, et al.
Veröffentlicht: (2025)

Beyond Function-Level Analysis: Context-Aware Reasoning for Inter-Procedural Vulnerability Detection
von: Li, Yikun, et al.
Veröffentlicht: (2026)

HarnessAgent: Scaling Automatic Fuzzing Harness Construction with Tool-Augmented LLM Pipelines
von: Yang, Kang, et al.
Veröffentlicht: (2025)

Guiding Symbolic Execution with Static Analysis and LLMs for Vulnerability Discovery
von: Shafiuzzaman, Md, et al.
Veröffentlicht: (2026)

LLM4CVE: Enabling Iterative Automated Vulnerability Repair with Large Language Models
von: Fakih, Mohamad, et al.
Veröffentlicht: (2025)

Root-Cause-Driven Automated Vulnerability Repair
von: Wang, Hulin, et al.
Veröffentlicht: (2026)

FuzzingBrain V2: A Multi-Agent LLM System for Automated Vulnerability Discovery and Reproduction
von: Sheng, Ze, et al.
Veröffentlicht: (2026)

Game Rewards Vulnerabilities: Software Vulnerability Detection with Zero-Sum Game and Prototype Learning
von: Wen, Xin-Cheng, et al.
Veröffentlicht: (2024)

Does the Vulnerability Threaten Our Projects? Automated Vulnerable API Detection for Third-Party Libraries
von: Zhang, Fangyuan, et al.
Veröffentlicht: (2024)

SeeWasm: An Efficient and Fully-Functional Symbolic Execution Engine for WebAssembly Binaries
von: He, Ningyu, et al.
Veröffentlicht: (2024)

VULPO: Context-Aware Vulnerability Detection via On-Policy LLM Optimization
von: Li, Youpeng, et al.
Veröffentlicht: (2025)

VulKey: Automated Vulnerability Repair Guided by Domain-Specific Repair Patterns
von: Li, Jia, et al.
Veröffentlicht: (2026)

PatchSeeker: Mapping NVD Records to their Vulnerability-fixing Commits with LLM Generated Commits and Embeddings
von: Nguyen, Huu Hung, et al.
Veröffentlicht: (2025)

VulInstruct: Teaching LLMs Root-Cause Reasoning for Vulnerability Detection via Security Specifications
von: Zhu, Hao, et al.
Veröffentlicht: (2025)

CodableLLM: Automating Decompiled and Source Code Mapping for LLM Dataset Generation
von: Manuel, Dylan, et al.
Veröffentlicht: (2025)

OpDiffer: LLM-Assisted Opcode-Level Differential Testing of Ethereum Virtual Machine
von: Ma, Jie, et al.
Veröffentlicht: (2025)

All Your Tokens are Belong to Us: Demystifying Address Verification Vulnerabilities in Solidity Smart Contracts
von: Sun, Tianle, et al.
Veröffentlicht: (2024)

Synergistic Directed Execution and LLM-Driven Analysis for Zero-Day AI-Generated Malware Detection
von: Edwards, George, et al.
Veröffentlicht: (2026)

Towards Demystifying and Repairing LLM-in-the-Loop Vulnerabilities
von: Ma, Yujie, et al.
Veröffentlicht: (2026)

MiniScope: Automated UI Exploration and Privacy Inconsistency Detection of MiniApps via Two-phase Iterative Hybrid Analysis
von: Wang, Shenao, et al.
Veröffentlicht: (2024)

Automated Testing of Broken Authentication Vulnerabilities in Web APIs with AuthREST
von: Corradini, Davide, et al.
Veröffentlicht: (2025)

Semantics-Aligned, Curriculum-Driven, and Reasoning-Enhanced Vulnerability Repair Framework
von: Yang, Chengran, et al.
Veröffentlicht: (2025)

Vital: Vulnerability-Oriented Symbolic Execution via Type-Unsafe Pointer-Guided Monte Carlo Tree Search
von: Tu, Haoxin, et al.
Veröffentlicht: (2024)

On the Effectiveness of Function-Level Vulnerability Detectors for Inter-Procedural Vulnerabilities
von: Li, Zhen, et al.
Veröffentlicht: (2024)

To Err is Machine: Vulnerability Detection Challenges LLM Reasoning
von: Steenhoek, Benjamin, et al.
Veröffentlicht: (2024)

CKGFuzzer: LLM-Based Fuzz Driver Generation Enhanced By Code Knowledge Graph
von: Xu, Hanxiang, et al.
Veröffentlicht: (2024)

Exposing and Defending Membership Leakage in Vulnerability Prediction Models
von: Liao, Yihan, et al.
Veröffentlicht: (2025)

ReposVul: A Repository-Level High-Quality Vulnerability Dataset
von: Wang, Xinchen, et al.
Veröffentlicht: (2024)

How Code Representation Shapes False-Positive Dynamics in Cross-Language LLM Vulnerability Detection
von: Chen, Maofei, et al.
Veröffentlicht: (2026)

Triggering and Detecting Exploitable Library Vulnerability from the Client by Directed Greybox Fuzzing
von: Zhao, Yukai, et al.
Veröffentlicht: (2026)

LineBreaker: Finding Token-Inconsistency Bugs with Large Language Models
von: Chen, Hongbo, et al.
Veröffentlicht: (2024)

Symbolic Execution Meets Multi-LLM Orchestration: Detecting Memory Vulnerabilities in Incomplete Rust CVE Snippets
von: Abdelrazek, Zeyad, et al.
Veröffentlicht: (2026)