Mastering Blockchain Programming with Solidity

Using the Securify tool

The Securify tool is a static analyzer tool for Ethereum Solidity contracts. This tool scans the contract code and finds the security vulnerability patterns in the code. After scanning, it generates a report along with descriptions of each vulnerability it has found and provides an idea of how to solve each vulnerability.

It is a free online service that anyone can use; you just need to put in your Solidity code and click on the SCAN NOW button to scan your code for vulnerabilities. You can go to https://securify.chainsecurity.com/ and use the online version of the tool. You can also download its open source code and run the scanner in a Docker container. You can find the code on GitHub at https://github.com/eth-sri/securify ...