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
-
…stfoundation.org/media/unsafe-rust-in-the-wild-not... https://thenewstack.io/unsafe-rust-in-the-wild/ https://github.com/sslab-gatech/Rudra/blob/master/rudra-sosp... https://internals.rust-lang.org/t/canvas-unsafe-code-in-the-... Again,…
comment by spyrja · 2025-05-08 · in Matt Godbolt sold me on Rust by showing me C++ -
▲ 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
-
…over correctness. Two things that I saw in the last couple weeks that might start to sway you. https://github.com/sslab-gatech/Rudra#readme GhostCell: Separating Permissions from Data in Rust https://www.youtube.com/watch?v=jIbubw86p0M…
comment by nerpderp82 · 2021-08-25 · in Scylla – Real-Time Big Data Database -
▲ 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