恭喜中南大学施鹤远获国家专利权
买专利卖专利找龙图腾,真高效! 查专利查商标用IPTOP,全免费!专利年费监控用IP管家,真方便!
龙图腾网恭喜中南大学申请的专利一种基于特性统一的模糊测试输入生成方法及相关设备获国家发明授权专利权,本发明授权专利权由国家知识产权局授予,授权公告号为:CN119989370B 。
龙图腾网通过国家知识产权局官网在2025-06-17发布的发明授权授权公告中获悉:该发明授权的专利申请号/专利号为:202510458965.3,技术领域涉及:G06F21/57;该发明授权一种基于特性统一的模糊测试输入生成方法及相关设备是由施鹤远;张伟波;沈煜恒;陈禹函;尹国宇;陈世俊;胡超;施荣华;姜宇设计研发完成,并于2025-04-14向国家知识产权局提交的专利申请。
本一种基于特性统一的模糊测试输入生成方法及相关设备在说明书摘要公布了:本申请涉及内核模糊测试技术领域,提供了一种基于特性统一的模糊测试输入生成方法及相关设备,该方法包括:生成目标系统的函数调用图和多个控制流图,并将函数调用图和所有控制流图进行整合,得到程序间控制流图;基于程序间控制流图构建内核代码调用链;基于目标系统的内核配置文件与内核代码调用链进行特性统一表征建模,生成配置代码关系映射表;根据内核代码调用链抽取特性相关接口函数的相关信息,并基于相关信息进行语法转换,生成特性相关接口函数的系统调用测试规约模板;基于系统调用测试规约模板和配置代码关系映射表生成目标系统的模糊测试输入。本申请的方法能够提高内核特性配置与模糊测试输入之间的相关性。
本发明授权一种基于特性统一的模糊测试输入生成方法及相关设备在权利要求书中公布了:1.一种基于特性统一的模糊测试输入生成方法,其特征在于,包括: 生成目标系统的函数调用图和多个控制流图,并将所述函数调用图和所有控制流图进行整合,得到程序间控制流图;所述函数调用图中的多个节点与所述目标系统的多个内核源代码函数一一对应,节点间的边为对应的两个内核源代码函数之间的调用关系,多个控制流图与多个内核源代码函数一一对应,所述控制流图中的多个节点与对应的内核源代码函数中多个基本块一一对应,节点之间的边为对应的两个基本块之间的控制关系; 基于所述程序间控制流图构建内核代码调用链;所述内核代码调用链用于描述内核源代码函数之间的调用关系以及基本块之间的控制关系; 基于所述目标系统的内核配置文件与所述内核代码调用链进行特性统一表征建模,生成配置代码关系映射表;所述配置代码关系映射表用于描述所述内核配置文件中所有内核特性配置之间的依赖关系以及每个内核特性配置对应的内核源码,所述内核源码对应内核源代码函数或基本块; 根据所述内核代码调用链抽取特性相关接口函数的相关信息,并基于所述相关信息进行语法转换,生成特性相关接口函数的系统调用测试规约模板;所述相关信息用于描述特性相关接口函数的输入参数与返回参数的数据类型以及约束条件,所述特性相关接口函数为内核源代码函数; 基于所述系统调用测试规约模板和所述配置代码关系映射表生成所述目标系统的模糊测试输入;所述模糊测试输入为用于对内核特性配置进行测试的测试用例。
如需购买、转让、实施、许可或投资类似专利技术,可联系本专利的申请人或专利权人中南大学,其通讯地址为:410083 湖南省长沙市岳麓区麓山南路932号;或者联系龙图腾网官方客服,联系龙图腾网可拨打电话0551-65771310或微信搜索“龙图腾网”。
1、本报告根据公开、合法渠道获得相关数据和信息,力求客观、公正,但并不保证数据的最终完整性和准确性。
2、报告中的分析和结论仅反映本公司于发布本报告当日的职业理解,仅供参考使用,不能作为本公司承担任何法律责任的依据或者凭证。