计算机应用研究

作者：李宗鸿,胡大裟,蒋玉明,

单位：四川大学a.计算机学院;b.四川省大数据分析与融合应用技术工程实验室,成都610065；

关键词：区块链,智能合约,合约漏洞,符号执行,

基金：国家重点研发计划资助项目(2020YFB1707900)；四川省科技计划资助项目(2019YFG0400)；；

由于区块链不可窜改的特性，部署到区块链上的智能合约不可更改。为了提高合约的安全性，防止智能合约出现整数溢出、短地址攻击、伪随机等问题，在合约部署之前需对合约进行漏洞检测。针对智能合约的整数溢出漏洞利用符号执行进行分析研究，对现有符号执行方法进行调查发现检测速度较慢，从而提出一种自底向上求解约束的改进符号执行方法，并结合深度优先与广度优先进行路径选择从而提高符号执行的代码覆盖率。实验结果表明，改进符号执行在选取的100份含溢出漏洞的智能合约中检测正确率达84%，平均检测效率提高了20%，在中等规模智能合约中检测效率提升显著，检测结果正确率较高。

来源：2021年第7期

《计算机应用研究》期刊编辑部

查看计算机应用研究杂志2021年第7期