关键路径预搜索的符号执行智能合约漏洞检测

王泽旭, 文斌

Smart Contract Vulnerability Detection of Symbol Execution with Critical Path Pre-searching

WANG Zexu, WEN Bin

应用科学学报 . 2024, (2): 364 -374 . DOI: 10.3969/j.issn.0255-8297.2024.02.016