1 code implementation • 1 Nov 2019 • William Zhang, Sebastian Banescu, Leodardo Pasos, Steven Stewart, Vijay Ganesh
We have implemented our technique in a tool called MPro, a scalable and automated smart contract analyzer based on the existing symbolic analysis tool Mythril-Classic and the static analysis tool Slither.
Cryptography and Security