View profile

Rudra: Finding Memory Safety Bugs in Rust at the Ecosystem Scale

Micah Lerner
Micah Lerner
Rudra: Finding Memory Safety Bugs in Rust at the Ecosystem Scale
Hello new and old subscribers!
This week’s paper is Rudra: Finding Memory Safety Bugs in Rust at the Ecosystem Scale. Rudra is a system for finding memory safety bugs in code written with the Rust programming language. While the language is well known for its ability to eliminate memory safety bugs, Rudra focuses on one language feature, unsafe, where these issues are possible.
This week’s paper is the first of many from SOSP - as always feel free to reach out with feedback on Twitter or by responding to this email!
Until next time,
Micah
Did you enjoy this issue? Yes No
Micah Lerner
Micah Lerner @micahlerner

I write about papers from the worlds of distributed systems, operating systems, and computer security (among other technical topics!)

Previous issues available on www.micahlerner.com

In order to unsubscribe, click here.
If you were forwarded this newsletter and you like it, you can subscribe here.
Created with Revue by Twitter.