rocq 产品相关 5 条漏洞，AI 中文标题与摘要、CVSS、POC 一站汇总。
厂商: rocq-prover
| CVE ID | 标题 | CVSS | 风险等级 | Published |
|---|---|---|---|---|
| CVE-2026-72714 | Rocq Prover 9.2.0 模块关闭后宇宙检查状态不同步漏洞 CWE-459 | 6.3 | Medium | 2026-08-24 |
| CVE-2026-72705 | Rocq Prover 9.2.0前版本高阶参数传递漏洞 CWE-670 | 6.3 | Medium | 2026-08-24 |
| CVE-2026-72704 | Rocq Prover 9.2.0 递归树损坏导致信任问题漏洞 CWE-670 | 6.3 | Medium | 2026-08-24 |
| CVE-2026-72703 | Rocq Prover 8.20至9.2.0 检查器接受非终止定点漏洞 CWE-670 | 6.3 | Medium | 2026-08-24 |
| CVE-2020-37268 | Coq 和 Rocq 证明器参数内联时省略不安全宇宙检查漏洞 CWE-778 | 6.3 | Medium | 2026-08-24 |
rocq 产品累计公开 5 条 CVE 漏洞，本页提供按时间倒序的完整列表，包含 CVSS、CWE、AI 中文摘要与可获取的 POC 链接。