Rust Static-analysis Resources