UNKNOWN OSS-Security

CVE-2026-72711

CVE-2026-72711: Lean 4 kernel soundness bug — inference cache poisoning via opaque declarations (0 = 1 demonstrated)

Affected Products

CVE-2026-72711

References

https://www.openwall.com/lists/oss-security/2026/10/26/3

Published: 2026-10-26 · Source: OSS-Security · Feed updated: 2026-10-26

This unknown severity vulnerability was published on 2026-10-26 via OSS-Security. Affected: CVE-2026-72711.

vulnfeed aggregates 17053 vulnerabilities from NVD, CISA KEV, Ubuntu, Debian, Red Hat, Kubernetes, Exploit-DB, OSS-Security, GitHub and OpenStack — updated every 4 hours.