Rudra: Finding Memory Safety Bugs in Rust at the Ecosystem Scale
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.
The paper review is best enjoyed on the blog, here.
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