"Bad auditors miss obvious bugs." Zellic Introducing V12: the only autonomous Solidity auditor that actually finds Highs and Criticals.