Efficient smart contract security audits with machine learning and slither-similblog.trailofbits.com·56 pts·galapago·27
Manticore: A Symbolic Execution Framework for Binaries and Smart Contractsarxiv.org·53 pts·galapago·17