恭喜北京航空航天大学姜博获国家专利权
买专利卖专利找龙图腾,真高效! 查专利查商标用IPTOP,全免费!专利年费监控用IP管家,真方便!
龙图腾网恭喜北京航空航天大学申请的专利一种面向WebAssembly虚拟机的模糊测试方法获国家发明授权专利权,本发明授权专利权由国家知识产权局授予,授权公告号为:CN114924961B 。
龙图腾网通过国家知识产权局官网在2025-05-27发布的发明授权授权公告中获悉:该发明授权的专利申请号/专利号为:202210537594.4,技术领域涉及:G06F11/3668;该发明授权一种面向WebAssembly虚拟机的模糊测试方法是由姜博;黄雨鹤;薛冰清;李梓超设计研发完成,并于2022-05-16向国家知识产权局提交的专利申请。
本一种面向WebAssembly虚拟机的模糊测试方法在说明书摘要公布了:本发明公开了一种面向WebAssembly虚拟机的模糊测试方法,属于软件测试领域;具体为:首先,初始化将各种不同的变异操作依次加入自适应变异表中;然后,利用合法的WebAssembly代码文件,对应生成WebAssembly模块,并逐个进行初始测试,将符合要求的模块存储到队列中;从队首的WebAssembly模块开始,对其应用自适应变异表当中的变异操作,并输入WebAssembly虚拟机进行测试;当测试的执行过程中存在新的路径或崩溃,对自适应变异表进行修改;直至当前WebAssembly模块的变异次数达到预设的上限,舍弃当前WebAssembly模块,继续从队列中选择新的WebAssembly模块进行变异,直至队列为空,将之前舍弃的所有变异后的WebAssembly模块重新加入至队列中,周而复始地进行模糊测试,直到用户手动停止;本发明提高了WebAssembly虚拟机的模糊测试工具的性能。
本发明授权一种面向WebAssembly虚拟机的模糊测试方法在权利要求书中公布了:1.一种面向WebAssembly虚拟机的模糊测试方法,其特征在于,具体步骤如下:首先、初始化将针对WebAssembly模块的各种不同的变异操作,依次加入自适应变异表中;自适应变异表是一个长度为256的函数指针数组,每个指针元素都对应存放一种变异操作;前16个指针元素用于固定存放16种变异操作,且在整个模糊测试过程中不予变更;将剩余的240个元素中初始每15个元素对应存放同一种变异操作,且位置随机存放,用于后续模糊测试过程中取出修改;然后、读取初始各WebAssembly代码文件并反序列化,将不合法的WebAssembly代码文件舍弃;针对各合法的WebAssembly代码文件,对应生成各自的WebAssembly模块,并逐个输入WebAssembly虚拟机进行初始测试,将符合测试要求的模块存储到模糊测试的队列中;最后、从队列中取出队首WebAssembly模块,从自适应变异表当中随机选择一种变异操作应用后,输入WebAssembly虚拟机进行测试;判断测试的执行过程中是否存在新的路径或崩溃,如果是,对自适应变异表进行修改后判断变异次数;否则,直接判断当前WebAssembly模块的变异次数是否达到预设的上限,如果是,舍弃当前WebAssembly模块,继续从队伍选择队首WebAssembly模块重复进行变异操作;否则,继续对当前WebAssembly模块进行下一次的变异操作,直至达到设定的变异次数上限;直至当前的队列为空,将之前舍弃的所有变异后的WebAssembly模块重新加入至队列中,周而复始地进行模糊测试,直到用户手动停止;所述对自适应变异表进行修改的过程为:当测试过程找到了新的路径,则从自适应变异表中后240个位置随机选出2-5个元素,修改为触发新路径的变异操作;当测试过程找到了新的崩溃,则从自适应变异表中后240个位置随机选出4-8个元素,修改为触发新崩溃的变异操作。
如需购买、转让、实施、许可或投资类似专利技术,可联系本专利的申请人或专利权人北京航空航天大学,其通讯地址为:100191 北京市海淀区学院路37号;或者联系龙图腾网官方客服,联系龙图腾网可拨打电话0551-65771310或微信搜索“龙图腾网”。
1、本报告根据公开、合法渠道获得相关数据和信息,力求客观、公正,但并不保证数据的最终完整性和准确性。
2、报告中的分析和结论仅反映本公司于发布本报告当日的职业理解,仅供参考使用,不能作为本公司承担任何法律责任的依据或者凭证。