sslab-gatech/Rudra

Rust Memory Safety & Undefined Behavior Detection

4 best points · 1 comments · 5 Hacker News posts · 1,364 GitHub stars · View on GitHub

Hacker News discussions

• Rudra: Rust Memory Safety and Undefined Behavior Detection (4 points, 1 comments, by brson, 2021-08-21)
• Rudra, Rust Memory Safety and Undefined Behavior Detection (4 points, 0 comments, by pjmlp, 2021-08-23)
• Rudra: Rust Memory Safety and Undefined Behavior Detection (2 points, 0 comments, by homarp, 2021-08-26)
• Rudra: Finding Memory Safety Bugs in Rust at the Ecosystem Scale [pdf] (1 points, 0 comments, by todsacerdoti, 2022-10-25)
• Rudra – static analyzer to detect common undefined behaviors in Rust programs (1 points, 0 comments, by pabs3, 2023-02-01)