Here is an automated (instant) report from a code4rena bot racer (they offer this as a service now).
This is crazy good IMO, 100% automated and finds some issues that might actually be of higher severity. I expect this will be a staple in audits soon.
The Gasbot contract was run through static analysis software provided by Auditbase. They provided both a rule-based report and also a report trained on AI. I'm very impressed by what the AI was able to speculate regarding specific function interactions. Very impressive software 👏
Got a sneak peek of the new
product. Really cool what they are doing.
Using automated/AI tools to help bootstrap testing, provide static analysis, and even audit reports will be incredibly helpful for web3 developers!