RT Lei Yang Σ: (@yangl1996)Our researcher @troublor and his collaborator built and just released the first modern smart contract debugger!! ...