CVE-2026-72705 Blast Radius

MEDIUM • CVSS 6.3The guard checker in Rocq Prover does not follow recursive calls made through a fixpoint's own arguments. A fixpoint may pass itself as a higher-order…

Is Your Infrastructure Using These Packages?

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

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