A list of smart contract tools that aid in the discovery of vulnerabilities in EVM-based programs.
This list was adapted from tools listings maintained by Trail of Bits as well as the ConsenSys Best Practices wiki.
- Code Visualization
- Linting and Style Guides
- Static Analysis
- Symbolic Execution
- Fuzzers and Property Checkers
- Coverage
- Disassembly
Feel free to submit a PR to add more tools. Tools should note whether they are in progress or are production ready. Please follow the category guides to classify the added tools, or propose new categories with helpful background on what type of tool it is.