Smart Contract Analysis Tools
The following contains a list of tools that can be used to analyze the security of smart contracts. Although these tools are very useful, it is still recommended to do a manual security audit by specialized firms.
Static Analysis
- Ethlint: Analyzes solidity code for style and security issues and fixes them.
- Securify: Is a security scanner for smart contracts supported by the Ethereum Foundation and ChainSecurity.
- Slither: Is a Solidity static analysis framework which helps developers to find vulnerabilities and secure their smart contracts.