Lean 4.28.1 (2026-04-14)
For this release, 2 changes landed. In addition to the 0 feature additions, and 1 fix listed below, there were 0 refactoring changes, 0 documentation improvements, 0 performance improvements, 0 improvements to the test suite, and 1 other change.
Compiler
-
#13392 fixes a heap buffer overflow in
lean_io_prim_handle_readthat was triggered through an integer overflow in the size computation of an allocation. In addition it places several checked arithmetic operations on all relevant allocation paths to have potential future overflows be turned into crashes instead. The offending code now throws an out of memory error instead.