RUDRA: Finding Memory Safety Bugs in Rust at the Ecosystem Scale (SOSP '21)

mark-i-m October 4, 2021, 11:14pm 4

They seem to have taken down the page sometime today...

Topic		Replies	Views
Disabling 'unsafe' by default Unsafe Code Guidelines	19	10012	March 25, 2019
Next steps for unsafe code guidelines Unsafe Code Guidelines	13	5173	March 25, 2019
Proposal: Security Working Group	143	10680	March 25, 2019
Pre-RFC: making unsafe more safe to use language design	12	3284	March 25, 2019
RustBelt: Securing the Foundations of the Rust Programming Language	4	3056	March 25, 2019