Buffer Overflow in Lean_io_prim_handle_read(github.com)2 points·by gopiandcode·vor 3 Monaten·1 commentsgithub.comBuffer Overflow in Lean_io_prim_handle_readhttps://github.com/leanprover/lean4/issues/133881 commentsPost comment[–]rvz·vor 3 MonatenreplyThat's nasty.