6 Smart-contracts Static Analysis Tools, Linters, And Code Formatters

The Best Smart-contracts Static Analysis Tools (Linters/Formatters)

We rank 6 Smart-contracts linters, code analyzers, formatters, and more. Find and compare tools like mythril, Better Code Hub, MythX, and more. Please rate and review tools that you've used. This helps others find the best tools for their projects.

5 Smart-contracts Tools

Sort by:

mythril

A symbolic execution framework with batteries included, can be used to find and exploit vulnerabilities in smart contracts automatically.

smart-contracts

Maintained
Multi-Language
cli
linter
100% upvoted

MythX

MythX is an easy to use analysis platform which integrates several analysis methods like fuzzing, symbolic execution and static analysis to find vulnerabilities with high precision. It can be integrated with toolchains like Remix or VSCode or called from the command-line.

smart-contracts

Maintained
Multi-Language
cliserviceide-plugin
linter
89% upvoted

solium

Solium is a linter to identify and fix style and security issues in Solidity smart contracts.

smart-contracts

Maintained
Multi-Language
cli
linter
100% upvoted

slither

Static analysis framework that runs a suite of vulnerability detectors, prints visual information about contract details, and provides an API to easily write custom analyses.

smart-contracts

Maintained
Multi-Language
cli
formatter
56% upvoted

solhint

Solhint is an open source project created by https://protofire.io. Its goal is to provide a linting utility for Solidity code.

smart-contracts

Maintained
Multi-Language
cli
linter
33% upvoted

1 Multi-Language Tools

Better Code Hub

Better Code Hub checks your GitHub codebase against 10 engineering guidelines devised by the authority in software quality, Software Improvement Group.