3 ms·Buffer Overflow in Lean_io_prim_handle_read2 points by gopiandcode 6mo agorvz 6mo agoThat's nasty.