10.3969/j.issn.1671-1122.2022.08.001
基于局部图匹配的智能合约重入漏洞检测方法
针对以太坊中智能合约遭受重入漏洞攻击的问题,文章提出一种基于局部图匹配的智能合约重入漏洞检测方法.该方法首先将智能合约源代码转化为包含基本结构信息的抽象语法树,并根据重入漏洞的特点裁剪抽象语法树;然后从抽象语法树中提取更加丰富的控制流和数据流,进而生成包含语法和语义信息的局部抽象语义图数据.文章利用图匹配神经网络对局部抽象语义图进行模型训练和测试,使用开源智能合约漏洞样本数据集生成测试数据并对方案进行评估.实验结果表明,该方法能够有效检测智能合约中的重入漏洞.
智能合约、图匹配神经网络、重入漏洞、抽象语义图
TP309(计算技术、计算机技术)
国家自然科学基金;江苏省自然科学基金
2022-09-19(万方平台首次上网日期,不代表论文的发表时间)
共7页
1-7