Wake is a Python-based Solidity development and testing framework with built-in vulnerability...