Automating the Smart Contract Auditing Process

Here we have Dravee sharing his experience with automating the smart contract auditing process. He discusses the practical application of open-sourced gas optimization Powershell tool.

Watch the full Interview here: https://www.youtube.com/watch?v=Zf1tWIQ2vh8

Become a certified smart contract hacker: https://johnnytime.xyz/smart-contract-hacker

He explains how he extended Powershell for auditing purposes, using it to identify storage variables and external calls within functions. Dravee emphasizes the importance of flagging all external calls, regardless of their nature, to identify potential risks.

Dravee showcases the power of automation in the auditing process, providing an audit companion and generating specific reports for unchecked statements and certain code patterns. He highlights the usefulness of automated tools in understanding and identifying sensitive areas within the codebase. Dravee even shares an interesting bug that was discovered thanks to one of these tools:

https://github.com/Picodes/4naly3er

Join us as we talk more about automated auditing and how it can be a valuable asset in ensuring the security and reliability of smart contracts. ... https://www.youtube.com/watch?v=oPkRCkBDwws