A additional Rust compiler pass to detect memory safe bugs of Rust programs.
Primary LanguageRustApache License 2.0Apache-2.0