CVE2AP Automates PDDL-Encoded Attack Path Generation from CVE Descriptions
October 5, 2026
CVE2AP uses LLMs and structured prompting to transform natural language CVE descriptions into formal, machine-verifiable PDDL-encoded attack paths. This automates the modeling of vulnerability exploitation and attack progression which previously required manual expert construction.
HOW THIS AFFECTS YOU
●
builderYou can automate the generation of formal cybersecurity models using existing CVE text data.
●
policyThis tool may accelerate the formal verification of threat landscapes and vulnerability impacts.