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	10583	March 25, 2019
Next steps for unsafe code guidelines Unsafe Code Guidelines	13	5300	March 25, 2019
Proposal: Security Working Group	143	11380	March 25, 2019
Pre-RFC: making unsafe more safe to use language design	12	3366	March 25, 2019
RustBelt: Securing the Foundations of the Rust Programming Language	4	3089	March 25, 2019