The C function then fills the buffer (partly) with string data. ... If rust can prove that the write never happens, we could end up reading ...
確定! 回上一頁