# rocq.

Every CVE that names rocq among its affected products, newest first. Vendors and products are as the CNA wrote them.

## Records, newest first

- [Rocq Prover through 9.2.0 Universe Checking State Desynchronised After Module Close](https://agentprime.io/advisories/CVE-2026-72714.md)
  `CVE-2026-72714` · CVE record: rocq-prover rocq · CVSS 6.8 Medium · Not analysed yet · Published 24 Aug 2026 · Tags: CWE-459
- [Rocq Prover before 9.2.0 Guard Checker Accepts Fixpoint Passed as a Higher-Order Argument](https://agentprime.io/advisories/CVE-2026-72705.md)
  `CVE-2026-72705` · CVE record: rocq-prover rocq · CVSS 6.8 Medium · Not analysed yet · Published 24 Aug 2026 · Tags: CWE-670
- [Rocq Prover through 9.2.0 Guard Checker Trusts Corrupted Recursive Tree After Transport](https://agentprime.io/advisories/CVE-2026-72704.md)
  `CVE-2026-72704` · CVE record: rocq-prover rocq · CVSS 6.8 Medium · Not analysed yet · Published 24 Aug 2026 · Tags: CWE-670
- [Rocq Prover 8.20 before 9.2.0 Guard Checker Accepts Non-Terminating Fixpoint via Unchecked Cross-Calls](https://agentprime.io/advisories/CVE-2026-72703.md)
  `CVE-2026-72703` · CVE record: rocq-prover rocq · CVSS 6.8 Medium · Not analysed yet · Published 24 Aug 2026 · Tags: CWE-670
- [Coq and Rocq Prover Print Assumptions Omits Unsafe Universe Checking Inlined Through Parameter Inline](https://agentprime.io/advisories/CVE-2020-37268.md)
  `CVE-2020-37268` · CVE record: rocq-prover rocq · CVSS 6.8 Medium · Not analysed yet · Published 24 Aug 2026 · Tags: CWE-778

## Filters and formats

Filters are query parameters on this URL: `q` (words, as in a web search engine: `"a phrase"`, `OR`, `-word`; an id; a package or product name), `severity` (low, medium, high or critical), `critical=1`, `kev=1`, `ecosystem` (npm, pypi, packagist, go, maven, rubygems, crates, nuget, hex), `kind=package`, `assigner` (a CNA’s short name), `min_score` and `state`. Each record’s title links to its Markdown page.

- The same list as JSON: <https://api.agentprime.io/v1/advisories?technology=rocq>
- Every list: <https://agentprime.io/advisories.md>, critical: <https://agentprime.io/advisories/critical.md>; by weakness: <https://agentprime.io/advisories/tag/sql-injection.md> and the other tags in <https://agentprime.io/llms.txt>; by technology: `/advisories/technology/<slug>.md` (`fortinet-fortimail`)

---

The web page: <https://agentprime.io/advisories/technology/rocq/>. Everything for agents: <https://agentprime.io/llms.txt>.