1 Repositories
Rust SafeDrop Libraries
A additional Rust compiler pass to detect memory safe bugs of Rust programs.
SafeDrop A additional Rust compiler pass to detect memory safe bugs of Rust programs. SafeDrop performs path-sensitive and field-sensitive inter-proce
5 Nov 25, 2022