公开(公告)号：CN113486357A

公开(公告)日：2021-10-08

申请号：CN202110766768.X

申请日：2021-07-07

Applicant: 东北大学

Inventor： 周福才 ,  罗熙霖 ,  焦梓 ,  孙劲桐

IPC: G06F21/57 ,  G06F8/41 ,  G06F21/56

Abstract: 本发明公开了一种基于静态分析和深度学习的智能合约安全检测方法，涉及区块链智能合约安全技术领域。包括对智能合约solidity源程序进行静态分析得到智能合约solidity源程序的图结构；从图结构中提取出抽象事实；根据solidity源程序的抽象事实，搭建用于对solidity源程序进行漏洞分类的深度学习模型，包括：输入模块，注意力模块，残差连接模块和输出模块；构建训练数据集；利用所述训练数据集对所述深度学习模型进行训练；利用训练好的深度学习模型对输入的智能合约进行漏洞检测，输出智能合约solidity源程序的安全检测结果。该方法可较为全面地分析智能合约solidity源程序的行为，提高了智能合约solidity源程序安全检测的准确率。

公开(公告)号：CN113486357B

公开(公告)日：2024-02-13

申请号：CN202110766768.X

申请日：2021-07-07

Applicant: 东北大学

Inventor： 周福才 ,  罗熙霖 ,  焦梓 ,  孙劲桐

IPC: G06F21/57 ,  G06F8/41 ,  G06F21/56

Abstract: 方法可较为全面地分析智能合约solidity源程本发明公开了一种基于静态分析和深度学 序的行为，提高了智能合约solidity源程序安全习的智能合约安全检测方法，涉及区块链智能合 检测的准确率。约安全技术领域。包括对智能合约solidity源程序进行静态分析得到智能合约solidity源程序的图结构；从图结构中提取出抽象事实；根据solidity源程序的抽象事实，搭建用于对solidity源程序进行漏洞分类的深度学习模型，包括：输入模块，注意力模块，残差连接模块和输出模块；构建训练数据集；利用所述训练数据集(56)对比文件赵淦森;谢智健;王欣明;何嘉浩;张成志;林成创;Ziheng Zhou；陈冰川;ChunmingRong.ContractGuard：面向以太坊区块链智能合约的入侵检测系统.网络与信息安全学报.2020,(第02期),第39-59页.倪远东;张超;殷婷婷.智能合约安全漏洞研究综述.信息安全学报.2020,(第03期),第83-104页.陆申明;左志强;王林章.静态程序分析并行化研究进展.软件学报.2020,(第05期),第7-18页.韩松明;梁彬;黄建军;石文昌.DC-Hunter:一种基于字节码匹配的危险智能合约检测方案.信息安全学报.2020,(第03期),第105-117页.