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.
A large-scale empirical study of security patches,
1 Pith paper cite this work. Polarity classification is still indexing.
1
Pith paper citing it
citation-role summary
background 1
citation-polarity summary
fields
cs.SE 1years
2026 1verdicts
CONDITIONAL 1roles
background 1polarities
unclear 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.