Rust Static Code Analysis