CVE-2026-72711 | Leanprover Lean up to 4.32.1 Kernel environment::add_opaque input validation

August 24, 2026 Yanac

A vulnerability was found in Leanprover Lean up to 4.32.1 and classified as problematic. The affected element is the function environment::add_opaque of the component Kernel. The manipulation results in improper input validation.

This vulnerability was named CVE-2026-72711. The attack needs to be approached locally. There is no available exploit.

It is suggested to upgrade the affected component.VulDB Recent EntriesRead More