rocq-prover Exploited Vulnerabilities
Rocq-prover vulnerabilities known to be exploited. Over the past 365 days, sorted by exploit discovery date.
Vulnerability Published:
🗓️ Published
- Anytime
Sort By:
🗓️ Published Date
- Descending
State Desynchronization Vulnerability in Rocq Prover by Rocq
CVE-2026-72714Rocq-proverRocq👾🟡6.8MEDIUMRecursive Call Vulnerability in Rocq Prover by Endrazine
CVE-2026-72705Rocq-proverRocq👾🟡6.8MEDIUMGuard Checker Flaw in Rocq Prover Affects Recursive Type Parameter Validation
CVE-2026-72704Rocq-proverRocq👾🟡6.8MEDIUMGuard Checker Vulnerability in Rocq Prover by Rocq Technologies
CVE-2026-72703Rocq-proverRocq👾🟡6.8MEDIUMPrint Assumptions Vulnerability in Rocq Prover by Endrazine
CVE-2020-37268Rocq-proverRocq👾🟡6.8MEDIUM