Vulnerabilities in rocq-prover
5 resultsCVE-2026-72704MEDIUMRocq Prover through 9.2.0 Guard Checker Trusts Corrupted Recursive Tree After TransportEPSS 0.2%CVE-2026-72714MEDIUMRocq Prover through 9.2.0 Universe Checking State Desynchronised After Module CloseEPSS 0.2%CVE-2020-37268MEDIUMCoq and Rocq Prover Print Assumptions Omits Unsafe Universe Checking Inlined Through Parameter InlineEPSS 0.2%CVE-2026-72705MEDIUMRocq Prover before 9.2.0 Guard Checker Accepts Fixpoint Passed as a Higher-Order ArgumentEPSS 0.2%CVE-2026-72703MEDIUMRocq Prover 8.20 before 9.2.0 Guard Checker Accepts Non-Terminating Fixpoint via Unchecked Cross-CallsEPSS 0.2%