Ensuring the security of deployed Ethereum contracts is one of the most important challenges facing Ethereum…