Linking pages
- Static Analyzer Rudra Found over 200 Memory Safety Issues in Rust Crates https://www.infoq.com/news/2021/11/rudra-rust-safety/ 104 comments
- Rudra: Finding Memory Safety Bugs in Rust at the Ecosystem Scale https://www.micahlerner.com/2021/10/31/rudra-finding-memory-safety-bugs-in-rust-at-the-ecosystem-scale.html 44 comments
- On the Dual Nature of Necessity in Use of Rust Unsafe Code | Proceedings of the 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering https://dl.acm.org/doi/10.1145/3611643.3613878 33 comments
Linked pages
Related searches:
Search whole site: site:dl.acm.org
Search title: Rudra | Proceedings of the ACM SIGOPS 28th Symposium on Operating Systems Principles
See how to search.