3 ms·Rudra: Finding Memory Safety Bugs in Rust at the Ecosystem Scale (2021) [pdf]4 points by eatonphil 4y ago