Mastering Blockchain Programming with Solidity

Security analysis tools

There are some static and dynamic security analysis tools available online that you can also use to find the security-related issues in your contract. It is recommended that you should use these tools during the development and testing processes as well. These tools are as follows:

• Securify: An open source, online, and fully automated static analyzer tool for Solidity smart contracts. It scans the contract code for vulnerability patterns and generates a report. You just need to upload your contract code into the online tool and get the report generated in a few minutes. You can use this tool at https://securify.chainsecurity.com/.
• Slither: An open source Solidity static analyzer that detects many common Solidity issues. ...