Rocq-prover vulnerabilities
Products
- Rocq 5
Newest
- rocq-prover rocq Rocq Prover through 9.2.0 Universe Checking State Desynchronised After Module Close 6.8 Medium
- rocq-prover rocq Rocq Prover before 9.2.0 Guard Checker Accepts Fixpoint Passed as a Higher-Order Argument 6.8 Medium
- rocq-prover rocq Rocq Prover through 9.2.0 Guard Checker Trusts Corrupted Recursive Tree After Transport 6.8 Medium
- rocq-prover rocq Rocq Prover 8.20 before 9.2.0 Guard Checker Accepts Non-Terminating Fixpoint via Unchecked Cross-Calls 6.8 Medium
- rocq-prover rocq Coq and Rocq Prover Print Assumptions Omits Unsafe Universe Checking Inlined Through Parameter Inline 6.8 Medium