Buffer Overflow in Lean_io_prim_handle_read(github.com)2 points·by gopiandcode·قبل 3 أشهر·1 commentsgithub.comBuffer Overflow in Lean_io_prim_handle_readhttps://github.com/leanprover/lean4/issues/133881 commentsPost comment[–]rvz·قبل 3 أشهرreplyThat's nasty.