Survey of Vulnerability Detection Tools for Smart Contracts
TU Liang-qiong, SUN Xiao-bing, ZHANG Jia-le, CAI Jie, LI Bin, BO Li-li
Computer Science . 2021, (11): 79 -88 .  DOI: 10.11896/jsjkx.210600117