计算机应用研究2021，Vol.38Issue(7)：1943-1946,4.DOI:10.19734/j.issn.1001-3695.2020.10.0353
面向智能合约漏洞检测的改进符号执行研究
Research on improved symbolic execution for smart contract vulnerability detection
摘要
关键词
区块链/智能合约/合约漏洞/符号执行分类
信息技术与安全科学引用本文复制引用
李宗鸿,胡大裟,蒋玉明..面向智能合约漏洞检测的改进符号执行研究[J].计算机应用研究,2021,38(7):1943-1946,4.基金项目
国家重点研发计划资助项目(2020YFB1707900) （2020YFB1707900）
四川省科技计划资助项目(2019YFG0400) （2019YFG0400）
