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

mythril

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

  • MaintainedMaintained
  • MaintainedMulti-Language
  • Maintainedcli
  • Maintainedlinter
  • 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.

  • MaintainedMaintained
  • MaintainedMulti-Language
  • MaintainedcliMaintainedserviceMaintainedide-plugin
  • Maintainedlinter
  • 100% upvoted

solium

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

  • MaintainedMaintained
  • MaintainedMulti-Language
  • Maintainedcli
  • Maintainedlinter
  • 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.

  • MaintainedMaintained
  • MaintainedMulti-Language
  • Maintainedcli
  • Maintainedformatter
  • 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.

  • MaintainedMaintained
  • MaintainedMulti-Language
  • Maintainedcli
  • Maintainedlinter
  • 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.

  • MaintainedMaintained
  • MaintainedMulti-Language
  • Maintainedservice
  • Maintainedlinter
  • 77% upvoted

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.

Our Sponsors

This website is completely open source. To fund our work, we fully rely on sponsors. Thanks to them, we can keep the site free for everybody. Please check out their offers below.

  • Bearer
  • BugProve
  • CodeScene
  • semgrep
  • Offensive 360