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

Yechan Bae, Youngsuk Kim, Ammar Askar, Jungwon Lim, Taesoo Kim

Browse the full SOSP paper archive.