The best Static Analysis Tools

Amarna is a static analysis tool and linter for the Cairo programming language.

Solidity static analysis tool and vulnerability reporting for Solidity smart contracts.

Ethlint (Formerly Solium) analyzes your Solidity code for style & security issues and fixes them.

Glider analyzes smart contract codes on EVM chains rapidly.

Rattle is a EVM static analysis framework designed to work on deployed smart contracts.

Solidity static analysis framework and vulnerability detectors for auditing smart contracts.

A platform for Solidity smart contract state analysis, storage extraction, and activity exploration.

Solhint for IntelliJ is a Solhint plugin for the IntelliJ javascript IDE.

Lint your files according to the Solidity plugin for Prettier, a code formatter.

Open-source, configurable Solidity linter for syntax-related vulnerabilities built by Protofire.