计算机科学与探索

作者：李雷孝, 郑岳, 高昊昱, 熊啸, 牛铁铭, 杜金泽, 高静

单位：1.内蒙古工业大学 数据科学与应用学院，呼和浩特 010080；2.内蒙古自治区基于大数据的软件服务工程技术研究中心，呼和浩特 010080；3.内蒙古工业大学 信息工程学院，呼和浩特 010080；4.内蒙古农业大学 计算机与信息工程学院，呼和浩特 010011

关键词：区块链,智能合约,漏洞检测,安全

智能合约作为区块链技术中的重要组成部分，通过其编写的去中心化应用被广泛用于各领域中，为区块链的发展与应用提供了重要的技术支持。但智能合约发展的同时也带来了安全问题，大量针对智能合约的漏洞攻击，让研究者不得不加强对智能合约安全漏洞的重视。如何快速准确地进行漏洞检测成为一个亟待解决的问题。首先，通过对重入攻击漏洞、整数溢出以及访问控制漏洞等常见漏洞的分析使研究者对常见漏洞得到充分的了解。其次，通过对形式化验证、符号执行、机器学习等漏洞检测方法及其对应工具的国内外现状进行调研并分析讨论工具的优缺点，同时通过复现部分工具进行实验，以检测速度、准确率以及支持检测的漏洞数量为标准，展示漏洞检测工具的性能。最后，根据对智能合约漏洞检测工具的分析结果对未来的研究方向给出建议。

来源：2022年第11期

《计算机科学与探索》期刊编辑部

查看计算机科学与探索杂志2022年第11期