How to Hack Smart Contracts With Slither & Echinda