Back to feed

rocq-prover vulnerabilities

Every rocq-prover vulnerability Vulnocalypse is tracking, newest first: whether it’s being exploited, which CERTs have warned about it and how widely it’s covered. Subscribe with the RSS feed for rocq-prover alerts.

rocq-prover RSS feed

  1. 19Track

    Coq and Rocq Prover Print Assumptions Omits Unsafe Universe Checking Inlined Through Parameter…

    rocq-prover rocq CVE-2020-37268
    Exploit code published0 news outlets0 CERTs1 research labsCVSS 6.3
  2. 19Track

    Rocq Prover through 9.2.0 Universe Checking State Desynchronised After Module Close

    rocq-prover rocq CVE-2026-72714
    Exploit code published0 news outlets0 CERTs1 research labsCVSS 6.3
  3. 19Track

    Rocq Prover before 9.2.0 Guard Checker Accepts Fixpoint Passed as a Higher-Order Argument

    rocq-prover rocq CVE-2026-72705
    Exploit code published0 news outlets0 CERTs1 research labsCVSS 6.3
  4. 19Track

    Rocq Prover through 9.2.0 Guard Checker Trusts Corrupted Recursive Tree After Transport

    rocq-prover rocq CVE-2026-72704
    Exploit code published0 news outlets0 CERTs1 research labsCVSS 6.3
  5. 19Track

    Rocq Prover 8.20 before 9.2.0 Guard Checker Accepts Non-Terminating Fixpoint via Unchecked…

    rocq-prover rocq CVE-2026-72703
    Exploit code published0 news outlets0 CERTs1 research labsCVSS 6.3