Statically detect memory, concurrency bugs and possible panic locations for Rust. - View it on GitHub