March 2018
Beginner to intermediate
656 pages
20h 9m
English
Content preview from Mastering Blockchain - Second Edition
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,
Start your free trial
Formal verification and analysis
Security analysis of Solidity code is now available as a feature in the solidity online IDE called Remix. The code is analyzed for vulnerabilities and reported in the Analysis tab of the remix IDE:
Remix IDE analysis options
A sample output of the same contract with reentrancy bug is shown in the bottom of the preceding screenshot.
This tool analyzes several categories of vulnerabilities including, security, gas, and economy. As shown in the preceding screenshot the analysis tool has successfully detected the reentrancy bug, details of which are shown at the bottom of the screen.
Why3 can also be used for formally ...