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

Haoyu Li, Xijia Che, Yanhao Wang +2

Proof-of-Vulnerability (PoV) generation is a critical task in software security, serving as a cornerstone for vulnerability validation, false positive reduction, and patch verifica…