【作者单位】烟台大学计算机控制与工程学院;浙江师范大学计算机系;
【摘要】要：Smartcheck是以太坊智能合约的一个典型的静态分析工具，其将基于Solidity语言的智能合约源代码转换为基于XML的中间表示，并依据XPath模式进行检查。虽然Smartcheck能够有效地分析许多安全漏洞，但部分漏洞的分析并不完善且收录的漏洞也不够完整。针对该问题，本文通过对漏洞原理的深入分析，在时间戳依赖、整数溢出和delegatecall等典型漏洞方面进一步完善了Smartcheck，并实现了一个新的检测工具SmartETH。通过真实大数据集和5份具体合约验证表明，SmartETH能够更好地检测出相关的漏洞，同时减少了大量漏洞的误报和漏报问题。
【关键词】智能合约;;安全漏洞;;Smartcheck;;以太坊;;区块链
评论