CVE-2026-72703 Blast Radius

MEDIUM • CVSS 6.3The guard checker in Rocq Prover treats a parameter of a nested mutual fixpoint as uniform without examining calls between the different bodies of tha…

Is Your Infrastructure Using These Packages?

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

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