Threats Tagged 'cve-2026-72704'
View all threats tagged with 'cve-2026-72704'. Filter and sort to focus on specific types of threats.
Stop chasing alerts. Route them.
Start free, then upgrade once to turn Radar into an automated delivery engine for your security stack.
Custom feeds / Automations: email, Slack, webhooks, SIEM/MISP / API access (baseline limits)
API access activates after upgrading in Console -> Billing.
Check if your credentials are on the dark web
Instant breach scanning across billions of leaked records. Free tier available.
Filter Threats
Narrow down the results by type, severity, or affected countries
Threats Tagged 'cve-2026-72704'
Click on any threat for detailed analysis and mitigation recommendations
CVE-2026-72704: Always-Incorrect Control Flow Implementation in rocq-prover rocqCVE-2026-72704 0 CVE-2026-72704 is a medium severity vulnerability in rocq-prover's rocq component affecting versions up to and including 9.2.0. The flaw involves the guard checker failing to revalidate the recursive tree representation of an inductive type parameter after it is modified by transport. This allows non-terminating definitions to be accepted as terminating, leading to logical contradictions within the system. A fix has been proposed but not yet merged, and no official patch is currently available. Join the discussion | CVE Database V5 | 08/24/2026, 20:08:31 UTC Added: 08/24/2026, 20:22:44 UTC |
Showing 1 to 1 of 1 result