Efficient smart contract security audits with machine learning and slither-similblog.trailofbits.com56 pointsgalapago6 years ago