GitHub repository: sslab-gatech/Rudra
Primary language: Rust
Description: Rust Memory Safety & Undefined Behavior Detection