电子科技大学;成都交子区块链产业创新中心有限公司;电子科技大学(深圳)高等研究院牛伟纳获国家专利权
买专利卖专利找龙图腾,真高效! 查专利查商标用IPTOP,全免费!专利年费监控用IP管家,真方便!
龙图腾网获悉电子科技大学;成都交子区块链产业创新中心有限公司;电子科技大学(深圳)高等研究院申请的专利一种基于操作码程序依赖图的智能合约漏洞检测方法获国家发明授权专利权,本发明授权专利权由国家知识产权局授予,授权公告号为:CN116340952B 。
龙图腾网通过国家知识产权局官网在2026-02-06发布的发明授权授权公告中获悉:该发明授权的专利申请号/专利号为:202310264651.0,技术领域涉及:G06F21/57;该发明授权一种基于操作码程序依赖图的智能合约漏洞检测方法是由牛伟纳;张小松;黄世平;曹晟;李莹珠;杜翔;桂勋设计研发完成,并于2023-03-17向国家知识产权局提交的专利申请。
本一种基于操作码程序依赖图的智能合约漏洞检测方法在说明书摘要公布了:本发明涉及智能合约安全领域,公开了一种基于操作码程序依赖图的智能合约漏洞检测方法,目的在于从字节码层面获取有效的智能合约漏洞相关语义信息,提高智能合约漏洞自动化检测的准确性。所述方法包括:收集智能合约字节码数据集,对可能触发漏洞的操作码进行标记;模拟执行智能合约操作码序列,构建智能合约操作码控制流图和数据依赖图;构建智能合约操作码程序依赖图;以可能触发漏洞的操作码作为关键节点,提取漏洞相关程序依赖图切片,结合标记信息构建切片数据集;对程序依赖图切片进行编码;训练基于图神经网络的智能合约漏洞检测模型提取切片特征实现智能合约漏洞检测。
本发明授权一种基于操作码程序依赖图的智能合约漏洞检测方法在权利要求书中公布了:1.一种基于操作码程序依赖图的智能合约漏洞检测方法,其特征在于,所述方法包括: 收集智能合约字节码数据集,对存在触发漏洞的操作码进行标记; 模拟执行智能合约操作码序列,构建智能合约操作码控制流图和智能合约操作码数据依赖图; 构建智能合约操作码程序依赖图; 所述构建智能合约操作码程序依赖图,具体包括: 根据所述智能合约操作码控制流图,构建智能合约操作码前向支配树; 结合所述智能合约操作码控制流图和智能合约操作码前向支配树,构建智能合约操作码控制依赖图; 合并所述智能合约操作码控制依赖图和智能合约操作码数据依赖图,构建智能合约操作码程序依赖图; 以可能触发漏洞的操作码作为关键节点,提取漏洞相关的智能合约操作码程序依赖图切片,结合标记信息构建切片数据集; 对智能合约操作码程序依赖图切片进行编码; 训练图神经网络模型提取智能合约操作码程序依赖图切片特征实现智能合约漏洞检测; 所述训练基于图神经网络的智能合约漏洞检测模型提取切片特征实现智能合约漏洞检测,其中: 所述基于图神经网络的智能合约漏洞检测模型包括输入层、Embedding层、图神经网络层、全连接层和Sigmoid层; 所述输入层,用于接收智能合约操作码程序依赖图切片; 所述Embedding层,用于将所述智能合约操作码程序依赖图切片中的操作码节点转换为词向量,将每个操作码节点映射到高维空间向量中,作为图神经网络层的输入; 所述图神经网络层,利用消息传播网络机制学习程序依赖图切片的语义信息,提取智能合约语义特征; 所述全连接层,用于对所述智能合约语义特征进行降维,将智能合约语义特征映射到对应检测结果标签的一维特征上; 所述Sigmoid层,利用激活函数sigmoid将全连接层的输出映射到0和1之间,用于表示智能合约存在漏洞的概率。
如需购买、转让、实施、许可或投资类似专利技术,可联系本专利的申请人或专利权人电子科技大学;成都交子区块链产业创新中心有限公司;电子科技大学(深圳)高等研究院,其通讯地址为:611731 四川省成都市高新区(西区)西源大道2006号;或者联系龙图腾网官方客服,联系龙图腾网可拨打电话0551-65771310或微信搜索“龙图腾网”。
以上内容由龙图腾AI智能生成。
1、本报告根据公开、合法渠道获得相关数据和信息,力求客观、公正,但并不保证数据的最终完整性和准确性。
2、报告中的分析和结论仅反映本公司于发布本报告当日的职业理解,仅供参考使用,不能作为本公司承担任何法律责任的依据或者凭证。

皖公网安备 34010402703815号
请提出您的宝贵建议,有机会获取IP积分或其他奖励