Threats Tagged 'cve-2026-72714'
View all threats tagged with 'cve-2026-72714'. 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-72714'
Click on any threat for detailed analysis and mitigation recommendations
CVE-2026-72714: Incomplete Cleanup in rocq-prover rocqCVE-2026-72714 0 CVE-2026-72714 is a vulnerability in rocq-prover where the universe graph's copy of the universe checking flag is not restored after a module that disables the check locally is closed. This causes a discrepancy between the test universe checking and the kernel state, allowing the kernel to accept universe-inconsistent terms. This flaw enables a proof of False without using axioms or unsafe features, potentially allowing any proposition to be proven. No fix is currently available. Join the discussion | CVE Database V5 | 08/24/2026, 20:08:33 UTC Added: 08/24/2026, 20:22:44 UTC |
Showing 1 to 1 of 1 result