B blog.trailofbits.com Efficient smart contract security audits with machine learning and slither-simil 56 points galapago 6 years ago 27 comments