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

Best 16 Rust static analysis tools

22

clippy

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

9

cargo-audit

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

3

Rust Language Server

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

2

cargo-inspect

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

1

C2Rust

C2Rust helps you migrate C99-compliant code to Rust. The translator (or transpiler) produces unsafe Rust code that closely mirrors the input C code.

1

electrolysis

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

1

MIRAI

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

1

rust-analyzer

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

1

rustfix

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

1

ShiftLeft Scan

Scan is a free open-source DevSecOps platform for detecting security issues in source code and dependencies. It supports a broad range of languages and CI/CD pipelines.

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

Prusti

A static verifier for Rust, based on the Viper verification infrastructure. By default Prusti verifies absence of panics by proving that statements such as unreachable!() and panic!() are unreachable.

0

rust-audit

Audit Rust binaries for known bugs or security vulnerabilities. This works by embedding data about the dependency tree (Cargo.lock) in JSON format into a dedicated linker section of the compiled executable.

Deprecated/unmaintained tools

0

Corrode

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

0

pfff

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

❤️ Sponsor this project

We are currently looking for partners who want to sponsor hosting and development of the project.

Check out our Github Sponsors page here

Missing an entry? Please let us know.

Beautiful icons provided by icons8 · Hero vector illustration created by pch.vector - www.freepik.com