买专利,只认龙图腾
首页 专利交易 科技果 科技人才 科技服务 商标交易 会员权益 IP管家助手 需求市场 关于龙图腾
 /  免费注册
到顶部 到底部
清空 搜索

【发明公布】一种基于自适应遗传算法的以太坊智能合约整数溢出漏洞检测装置及检测方法_河南大学_202311734881.5 

申请/专利权人:河南大学

申请日:2023-12-16

公开(公告)日:2024-03-22

公开(公告)号:CN117743157A

主分类号:G06F11/36

分类号:G06F11/36;G06N3/126;G06N7/02

优先权:

专利状态码:在审-实质审查的生效

法律状态:2024.04.09#实质审查的生效;2024.03.22#公开

摘要:本发明公开一种基于自适应遗传算法的以太坊智能合约整数溢出漏洞检测装置及检测方法,该装置包括:模糊引擎模块、交易执行模块、跟踪分析模块及反馈模块;所述模糊引擎模块采用自适应遗传算法为智能合约的所有函数和参数生成多个测试用例个体,并发送到交易执行模块;所述交易执行模块在虚拟的以太坊执行环境中通过智能合约执行生成的测试用例个体;所述跟踪分析模块监测智能合约的执行过程,对执行过程进行分析;包括:整数溢出漏洞分析;所述反馈模块将跟踪分析模块生成的分析信息反馈给模糊引擎模块。本发明采用自适应遗传算法生成模糊测试用例个体,提高检测过程中的代码覆盖度,提高工具对漏洞的检出率,且降低了漏报率。

主权项:1.一种基于自适应遗传算法的以太坊智能合约整数溢出漏洞检测装置,其特征在于,包括:模糊引擎模块、交易执行模块、跟踪分析模块及反馈模块;所述模糊引擎模块用于采用自适应遗传算法为智能合约的所有函数和参数生成多个测试用例个体,并将生成的测试用例个体发送到交易执行模块;所述交易执行模块用于在虚拟的以太坊执行环境中通过智能合约执行生成的测试用例个体;所述跟踪分析模块用于监测智能合约的执行过程,对执行过程进行分析;包括:整数溢出漏洞分析;所述反馈模块用于将跟踪分析模块生成的分析信息反馈给模糊引擎模块。

全文数据:

权利要求:

百度查询: 河南大学 一种基于自适应遗传算法的以太坊智能合约整数溢出漏洞检测装置及检测方法

免责声明
1、本报告根据公开、合法渠道获得相关数据和信息,力求客观、公正,但并不保证数据的最终完整性和准确性。
2、报告中的分析和结论仅反映本公司于发布本报告当日的职业理解,仅供参考使用,不能作为本公司承担任何法律责任的依据或者凭证。