Analysis tools logo
No results for 'undefined'
Search powered by Algolia

Best 11 Rust static analysis tools

0

cargo-audit

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

0

cargo-inspect

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

0

clippy

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

0

Corrode

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

0

electrolysis

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

0

herbie

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

0

linter-rust

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

0

MIRAI

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

0

pfff

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

0

Rust Language Server

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

0

rustfix

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

About Us
© analysis-tools.dev