Static and Dynamic Analysis·Lesson 10 of 20·40 min
Manual Code Review Walkthrough of a Vulnerable Contract
This lesson is for enrolled learners
The concept Automated tools catch known patterns extremely well, but they can't catch a bug that is syntactically fine and only wrong relative to business logic the contract never states explicitly. A reward-distribution function that technically executes correctly every time but pays out the wrong amount under a specific sequence of calls will pass every Slither and Mythril scan —……
Enroll to continue Already enrolled? Sign in