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 ...
Become an O’Reilly member and get unlimited access to this title plus top books and audiobooks from O’Reilly and nearly 200 top publishers, thousands of courses curated by job role, 150+ live events each month,
and much more.
Read now
Unlock full access