Threats Tagged 'cve-2026-72844'
View all threats tagged with 'cve-2026-72844'. 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-72844'
Click on any threat for detailed analysis and mitigation recommendations
0 CVE-2026-72844 is a type confusion vulnerability in the Lean 4 kernel where the system fails to verify that the structure named in a projection expression matches the type of the value being projected. This allows a metaprogram running within the Lean process to register an ill-typed nested inductive type, leading to a type confusion that yields a proof of False without axioms, enabling derivation of any proposition. Exploitation requires running a metaprogram in-process, such as building a project or importing a malicious dependency. The vulnerability affects Lean 4 versions from initial releases up to but excluding 4.32.2, and version 4.33.0-rc1. The CVSS score is 6.3 (medium severity). Join the discussion | CVE Database V5 | 08/20/2026, 17:19:34 UTC Added: 08/20/2026, 17:38:51 UTC |
Showing 1 to 1 of 1 result