I stayed late at the office to explain how security testing for smart contract works. Read our summary here:https://forum.zeppelin.solutions/t/using-automatic-analysis-tools-with-makerdao-contracts/1021/2 …
-
I think I don't follow your argument, we were trying to catch a business logic error
we all agree manual code review is necessary but if automated tools report the boring issues we can have more time to review the business logic
Automated tools tighten the constraints on issues you need to discover by hand. If you know their limitations, they help you extend your reach into a codebase within a limited time window.
