Vulnerabilities

Search by TI id or any alias (CVE, GHSA), vendor, product or CWE.

Filters

Reset all

Threatist priority CRITICAL 0 HIGH 0 MEDIUM 2 LOW 0

Signals Exploited in the wild (KEV) 0 Patch available 2 No fix listed 0 Has CVE 2

Fix status Fixed 2 Partial 0 Will not fix 0 Deferred 0 No fix listed 0

Attack vector Network 0 Adjacent network 0 Local 2 Physical 0

Requirements No authentication 2 No user interaction 0

Product

Products as named in CPE, with their records.

Published Last 7 days Last 30 days Last 12 months Any time

Weakness (CWE) CWE-670 Always-Incorrect Control Flow Implementation 2

1 selected

2 records

Sort

Release: rocq-prover rocq 9.2.0 × Clear all filters

TI-2026-50943 CVE-2026-72705 · GHSA-f4rc-7978-q94g

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

Priority MEDIUM 63

The guard checker in Rocq Prover does not follow recursive calls made through a fixpoint's own arguments.

CVSS 4.0MEDIUM 6.8· Local · No auth · User interaction · EPSS 0.00176 · Published 2026-08-24 · Fixed in 9.2.0 CWE-670

TI-2026-50941 CVE-2026-72703 · GHSA-q4cf-fp8g-gjg9

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

Priority MEDIUM 63

The guard checker in Rocq Prover treats a parameter of a nested mutual fixpoint as uniform without examining calls between the different bodies of that fixpoint.

CVSS 4.0MEDIUM 6.8· Local · No auth · User interaction · EPSS 0.00176 · Published 2026-08-24 · Fixed in 9.2.0 CWE-670

THREATIST.IO

Vulnerability intelligence for security teams and AI agents.

Vulnerabilities Vendors Exploited (KEV) API & MCP Newsletter Privacy policy Terms of use

Newsletter Vulnerability intelligence in your inbox Subscribe

© 2026 Threatist.io · X (@threatist)Data: CVE Program, NVD, CISA KEV, FIRST EPSS, GitHub Advisory Database and Red Hat security data (both CC BY 4.0), Microsoft Security Response Center. This product uses the NVD API but is not endorsed or certified by the NVD. Sources and licences

We would like to use Google Analytics cookies to see how the site is used. They are set only if you accept. Privacy policy