Name squatting. Contact cramertj@google.com for usage.
A Rust-based static analyzer that applies Rust's ownership and borrowing rules to C++ code