In the standard library in Rust prior to 1.50.0, read_to_end() does not validate the return value from Read in an unsafe context. This bug could lead to a buffer overflow.
In the standard library in Rust before 1500, read_to_end() does not validate the return value from Read in an unsafe context This bug could lead to a buffer overflow ...
Artifact Evaluation Submission for RUDRA [SOSP '21]
Paper: RUDRA: Finding Memory Safety Bugs in Rust at the Ecosystem Scale
Note: This document was written when Rudra was using nightly-2020-08-26 version of the Rust compiler Most of the parts should work with the latest version of Rudra, but some parts (eg, stdlib analysis) are tied to that version and you might need ru