Products: 1
Vulnerabilities: 5
Known Exploited: 0
0
Critical Level Threats
0
High Level Threats
5
Medium Level Threats
0
Low Level Threats
Vulnerabilities
100806040200
JanFebMarAprMayJunJulAugSepOctNovDec
Critical Level Threats
High Level Threats
Medium Level Threats
Low Level Threats
Products Security index
Actions
Items Per Page
Vulnerabilities
CVE-2026-72714
Rocq Prover through 9.2.0 Universe Checking State Desynchronised After Module Close
Last Modified: Aug 28, 2026
Published: Aug 24, 2026
CVE-2026-72705
Rocq Prover before 9.2.0 Guard Checker Accepts Fixpoint Passed as a Higher-Order Argument
Last Modified: Aug 28, 2026
Published: Aug 24, 2026
CVE-2026-72704
Rocq Prover through 9.2.0 Guard Checker Trusts Corrupted Recursive Tree After Transport
Last Modified: Aug 28, 2026
Published: Aug 24, 2026
CVE-2026-72703
Rocq Prover 8.20 before 9.2.0 Guard Checker Accepts Non-Terminating Fixpoint via Unchecked Cross-Calls
Last Modified: Aug 28, 2026
Published: Aug 24, 2026
CVE-2020-37268
Coq and Rocq Prover Print Assumptions Omits Unsafe Universe Checking Inlined Through Parameter Inline
Last Modified: Aug 28, 2026
Published: Aug 24, 2026
Items Per Page
