基于符号执行的智能合约漏洞检测方案

基于符号执行的智能合约漏洞检测方案

赵伟, 张问银, 王九如, 王海峰, 武传坤

Smart contract vulnerability detection scheme based on symbol execution

ZHAO Wei, ZHANG Wenyin, WANG Jiuru, WANG Haifeng, WU Chuankun

计算机应用 . 2020, (4): 947 -953 . DOI: 10.11772/j.issn.1001-9081.2019111919