【技术实现步骤摘要】
本专利技术涉及合约漏洞检测,具体涉及一种基于代码切片和神经网络的智能合约漏洞检测方法。
技术介绍
1、区块链具有去中心化、数据不可篡改等特性,最初用于实现加密货币。以太坊的出现推动了区块链技术的发展,以太坊平台支持智能合约,其编程语言solidity使开发者能在区块链上执行复杂程序逻辑,扩展了区块链的应用场景。基于区块链的不可篡改特性,智能合约可作为分布式账本,且其数据不可篡改的特性使其在金融、物联网、法律等多个领域得到应用。
2、智能合约存在一些安全问题。首先,智能合约编写和运行耦合性强,不同合约代码间存在依赖关系,增加了开发难度,容易导致逻辑漏洞和意料之外的代码执行。其次,solidity智能合约底层代码采用c++编写,运行在计算机平台上,采用二进制格式存储数据,因此c++语言的传统漏洞和计算机语言通用漏洞会在智能合约中复现,如整数溢出漏洞。再者,区块链数据不可篡改,智能合约部署后若存在漏洞,无法通过传统打补丁方式修复,只能通过停止交易或分叉来减少损失。最后,智能合约源码透明,大部分主流区块链和公链上的项目源码公开,且基
...【技术保护点】
1.一种基于代码切片和神经网络的智能合约漏洞检测方法,其特征在于,具体包括如下步骤:
2.根据权利要求1所述的一种基于代码切片和神经网络的智能合约漏洞检测方法,其特征在于,步骤S1具体包括如下步骤:
3.根据权利要求1所述的一种基于代码切片和神经网络的智能合约漏洞检测方法,其特征在于,步骤S2具体包括如下步骤:
4.根据权利要求3所述的一种基于代码切片和神经网络的智能合约漏洞检测方法,其特征在于,步骤S2.2中,对于时间戳依赖漏洞,检测两种情况:
5.根据权利要求1所述的一种基于代码切片和神经网络的智能合约漏洞检测方法,
...【技术特征摘要】
1.一种基于代码切片和神经网络的智能合约漏洞检测方法,其特征在于,具体包括如下步骤:
2.根据权利要求1所述的一种基于代码切片和神经网络的智能合约漏洞检测方法,其特征在于,步骤s1具体包括如下步骤:
3.根据权利要求1所述的一种基于代码切片和神经网络的智能合约漏洞检测方法,其特征在于,步骤s2具体包括如下步骤:
4.根据权利要求3所...
还没有人留言评论。发表了对其他浏览者有用的留言会获得科技券。