CVE-2026-72704 Blast Radius

MEDIUM • CVSS 6.3The guard checker in Rocq Prover does not recheck the recursive tree representation of an inductive type parameter after that parameter has been chang…

Is Your Infrastructure Using These Packages?

EchelonGraph automatically scans your cloud infrastructure and SBOMs to map your exposure to vulnerabilities like CVE-2026-72704.

Start Free Scan →← Back to CVE-2026-72704