POVGEN generates proof-of-vulnerability inputs for roughly three quarters of real-world C/C++ memory-safety CVEs using fine-tuned open-weight LLMs guided by symbolic path analysis.
On the effectiveness of function-level vulnerability detectors for inter- procedural vulnerabilities,
1 Pith paper cite this work. Polarity classification is still indexing.
1
Pith paper citing it
fields
cs.SE 1years
2026 1verdicts
CONDITIONAL 1representative citing papers
citing papers explorer
-
Neuro-Symbolic Proof-of-Vulnerability Generation with Open-Weight Models
POVGEN generates proof-of-vulnerability inputs for roughly three quarters of real-world C/C++ memory-safety CVEs using fine-tuned open-weight LLMs guided by symbolic path analysis.