Best 11 Rust static analysis tools

Audit Cargo.lock for crates with security vulnerabilities reported to the [RustSec Advisory Database](https://github.com/RustSec/advisory-db/).

Inspect Rust code without syntactic sugar to see what the compiler does behind the curtains.

A code linter to catch common mistakes and improve your Rust code.

Semi-automatic translation from C to Rust. Could reveal bugs in the original implementation by showing Rust compiler warnings and errors.

A tool for formally verifying Rust programs by transpiling them into definitions in the Lean theorem prover.

Adds warnings or errors to your crate when using a numerically unstable floating point expression.

Linting your Rust-files in Atom, using rustc and cargo.

And abstract interpreter operating on Rust's mid-level intermediate language, and providing warnings based on taint analysis.

Facebook's tools for code analysis, visualizations, or style-preserving source transformation for many languages.

Supports functionality such as 'goto definition', symbol search, reformatting, and code completion, and enables renaming and refactorings.

Read and apply the suggestions made by rustc (and third-party lints, like those offered by clippy).