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 Better Code Hub, mythril, 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
A symbolic execution framework with batteries included, can be used to find and exploit vulnerabilities in smart contracts automatically.
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.
Solium is a linter to identify and fix style and security issues in Solidity smart contracts.
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.
Solhint is an open source project created by https://protofire.io. Its goal is to provide a linting utility for Solidity code.
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.
Help make this list better
Frequently Asked Questions
What are Smart-contracts tools?
What are the best Smart-contracts static analysis tools and linters?
The most popular Smart-contracts tools ranked by user votes are: Better Code Hub, mythril, MythX, solium, slither.
Which Smart-contracts tools are free to use?
Tools with a free plan include Better Code Hub. On top of that, there are also a number of open source like mythril, solium, slither, solhint.