sslab-gatech/Rudra
View on GitHub ↗ ★ 1,364 Rust archived
Rust Memory Safety & Undefined Behavior Detection
7 mentions on Hacker News by 7 people: 5 stories, 2 comments · first 2021-08-21 · latest 2025-05-08
20082026
-
▲ 1
Rudra – static analyzer to detect common undefined behaviors in Rust programsstory by pabs3 · 2023-02-01 · 0 comments
-
▲ 1
Rudra: Finding Memory Safety Bugs in Rust at the Ecosystem Scale [pdf]story by todsacerdoti · 2022-10-25 · 0 comments
-
▲ 2
Rudra: Rust Memory Safety and Undefined Behavior Detectionstory by homarp · 2021-08-26 · 0 comments
-
▲ 4
Rudra, Rust Memory Safety and Undefined Behavior Detectionstory by pjmlp · 2021-08-23 · 0 comments
-
▲ 4
Rudra: Rust Memory Safety and Undefined Behavior Detectionstory by brson · 2021-08-21 · 1 comment