TY  - RPRT
TI  - A Comparative Evaluation of Automated Analysis Tools for Solidity Smart Contracts
AU  - Zhiyuan Wei
AU  - Xianhao Zhang
AU  - Jing Sun
AU  - Zijian Zhang
AU  - Liehuang Zhu
PY  - 2024
UR  - https://arxiv.org/abs/2310.20212
ID  - 2310.20212
ER  -