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.