-
公开(公告)号:CN115794625A
公开(公告)日:2023-03-14
申请号:CN202211444371.X
申请日:2022-11-18
Applicant: 哈尔滨工业大学(深圳)
Abstract: 本发明公开了一种智能合约模糊测试的方法及系统,方法包括利用基于遗传算法的模糊测试引擎根据ABI信息生成测试用例;利用合约执行监视器执行测试用例;模糊测试引擎不断重复对新的种群进行选择、交叉和变异的过程,合约执行监视器将不断执行测试用例,直到满足终止条件。本发明方法解决了现有智能合约模糊测试中存在的状态依赖和区块信息依赖两个问题。本发明方法还融合了符号执行智能合约漏洞检测方法,具体为一种融合符号执行和模糊测试特点的智能合约漏洞检测方法,通过学习符号执行引擎生成高覆盖率的交易序列,以达到能够快速、大批量生成相似序列的目的,在保证模糊测试用例生成速度快、效率高的同时,能够维持和符号执行相当的覆盖率。