基于语义信息引导模糊测试的智能合约漏洞检测方法

文档序号:37725593发布日期:2024-04-23 12:05阅读:来源:国知局

技术特征:

1.一种基于语义信息引导模糊测试的智能合约漏洞检测方法,其特征在于,包括如下操作:

2.根据权利要求1所述的基于语义信息引导模糊测试的智能合约漏洞检测方法,其特征在于,所述s3.5中降维子空间的测试用例分配量,是基于对应降维子空间的复杂度得到的,具体为:

3.根据权利要求2所述的基于语义信息引导模糊测试的智能合约漏洞检测方法,其特征在于,所述复杂度由降维子空间的降维输入变量复杂度和降维约束组复杂度组成;

4.根据权利要求1所述的基于语义信息引导模糊测试的智能合约漏洞检测方法,其特征在于,所述s3.1中数据类型包括:地址和字节组;

5.根据权利要求1所述的基于语义信息引导模糊测试的智能合约漏洞检测方法,其特征在于,所述s2中空间压缩的操作具体为:

6.根据权利要求1所述的基于语义信息引导模糊测试的智能合约漏洞检测方法,其特征在于,所述s2中空间分裂的操作为:

7.根据权利要求1所述的基于语义信息引导模糊测试的智能合约漏洞检测方法,其特征在于,所述s2中空间降维的操作为:

8.一种基于语义信息引导模糊测试的智能合约漏洞检测系统,其特征在于,包括:

9.一种基于语义信息引导模糊测试的智能合约漏洞检测设备,其特征在于,包括处理器和存储器,其中,所述处理器执行所述存储器中保存的计算机程序时实现如权利要求1-7任一项所述的基于语义信息引导模糊测试的智能合约漏洞检测方法。

10.一种计算机可读存储介质,其特征在于,用于存储计算机程序,其中,所述计算机程序被处理器执行时实现如权利要求1-7中任一项所述的基于语义信息引导模糊测试的智能合约漏洞检测方法。


技术总结
本发明涉及网络安全技术领域,具体为基于语义信息引导模糊测试的智能合约漏洞检测方法,该检测方法根据待检智能合约中函数之间的关系确定目标函数;然后,对目标函数进行空间压缩、空间分裂和空间降维,得到多个降维子空间;接着,对每个降维子空间中的每个未赋值输入变量进行赋值,将赋值后的输入变量与历史已赋值变量组结合后,进行判断,仅生成高质量的测试用例;最后,将所有高质量的测试用例去攻击待检智能合约,得到漏洞检测结果;该检测方法生成的测试用例的质量,优于现有基于模糊测试的检测方法,在低路径覆盖率的基础上,具有较高的检测准确率,说明该检测方法具有高检测准确率和高检测效率。

技术研发人员:赵相福,王奕辰,何龙
受保护的技术使用者:烟台大学
技术研发日:
技术公布日:2024/4/22
当前第2页1 2 
网友询问留言 已有0条留言
  • 还没有人留言评论。精彩留言会获得点赞!
1