信息安全研究2022，Vol.8Issue(7)：P.632-642,11.DOI:10.12379/j.issn.2096-1057.2022.07.01
基于符号执行的代币买卖漏洞和权限转移漏洞的检测验证方法
摘要
关键词
智能合约/漏洞检测/符号执行/程序分析/区块链安全分类
信息技术与安全科学引用本文复制引用
刘宇航,刘军杰,文伟平..基于符号执行的代币买卖漏洞和权限转移漏洞的检测验证方法[J].信息安全研究,2022,8(7):P.632-642,11.基金项目
国家重点研发计划项目(2020YFB1005802)。 （2020YFB1005802）
