CVE-2026-72844 Blast Radius

MEDIUM • CVSS 6.3The Lean 4 kernel does not verify that the structure named in a projection expression matches the type of the value being projected, and environment::…

Is Your Infrastructure Using These Packages?

EchelonGraph automatically scans your cloud infrastructure and SBOMs to map your exposure to vulnerabilities like CVE-2026-72844.

Start Free Scan →← Back to CVE-2026-72844