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++ -
…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