Xianhao Zhang

A Comparative Evaluation of Automated Analysis Tools for Solidity Smart Contracts

2023 · arXiv (Cornell University)

Blockchain smart contracts have emerged as a transformative force in the digital realm, spawning a diverse range of compelling applications. Since solidity smart contracts across various domains manage trillions of dollars in virtual coins, they …