Index
This section is about tools that can detect vulnerabilities or help developers maintain a high code quality to reduce the likelihood and impact of vulnerabilities.
| Category | Description |
|---|---|
| Visualization | These tools are aimed at visualizing, EVM bytecode, smart contracts, and their control flow graphs. |
| Static and Dynamic Analysis | Tools that employ various means of program analysis to find vulnabilities and weaknesses. |
| Classification | Resources attempting to classify vulnerabilities and weaknesses in smart contracts. |
| Testing | Tools for running, measuring, and managing smart contract related tests. |
| Linters and Formatters | Any tools that highlight code smells and make smart contract code adhere to format standards. |
| Disassemblers and Decompilers | Tools that translate smart contract bytecode into opcodes and solidity code. |
| Formal and Runtime Verification | Tools employing verification techniques to detect behaviour satisfying or vioating invariants. |
The Diligence Security Tooling Guide
Download a free copy of the Diligence Security Tooling Guide to discover the top tools in Web3 you can use at any phase of your smart contract development to test and improve security.
