Efficient audits with machine learning and Slither-simil