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