Rudra: Finding memory safety bugs in Rust at the Ecosystem scale
Not yet public[Google Scholar] [DBLP] [Citeseer] [url]
28th ACM Symposium on Operating System Principles (SOSP'21)
Association for Computing Machinery
2021
Note(s): Rust language
Association for Computing Machinery
2021
Note(s): Rust language