Document
拖动滑块完成拼图
个人中心

预订订单
商城订单
发布专利 发布成果 人才入驻 发布商标 发布需求

请提出您的宝贵建议,有机会获取IP积分或其他奖励

投诉建议

在线咨询

联系我们

龙图腾公众号
专利交易 商标交易 积分商城 国际服务 IP管家助手 科技果 科技人才 会员权益 需求市场 关于龙图腾 更多
 /  免费注册
到顶部 到底部
清空 搜索
当前位置 : 首页 > 专利喜报 > 中国人民解放军国防科技大学李宇薇获国家专利权

中国人民解放军国防科技大学李宇薇获国家专利权

买专利卖专利找龙图腾,真高效! 查专利查商标用IPTOP,全免费!专利年费监控用IP管家,真方便!

龙图腾网获悉中国人民解放军国防科技大学申请的专利一种基于LLM辅助系统调用推断的操作系统内核定向模糊测试方法获国家发明授权专利权,本发明授权专利权由国家知识产权局授予,授权公告号为:CN121234377B

龙图腾网通过国家知识产权局官网在2026-03-27发布的发明授权授权公告中获悉:该发明授权的专利申请号/专利号为:202511794124.6,技术领域涉及:G06F21/57;该发明授权一种基于LLM辅助系统调用推断的操作系统内核定向模糊测试方法是由李宇薇;张露;潘祖烈;胡淼;马慧敏;陈强普;沈毅;李阳;李立设计研发完成,并于2025-12-02向国家知识产权局提交的专利申请。

一种基于LLM辅助系统调用推断的操作系统内核定向模糊测试方法在说明书摘要公布了:本发明公开了一种基于LLM辅助系统调用推断的操作系统内核定向模糊测试方法,属于网络安全技术领域。所述方法包括:触发条件分析子模块基于第一输入触发LLM生成调用链的分析结果;系统调用序列推断子模块基于第二输入触发LLM生成调用目标的系统调用及系统调用的变体构成的序列;系统调用依赖项推断子模块基于第三输入触发LLM生成系统调用依赖项,为每个系统调用对构建模板;定向模糊测试模块使用模糊器生成若干种子;基于种子构建多轮用于测试操作系统内核的测试用例。本发明可以加快内核定向模糊测试的效率,从而促进漏洞复现过程。

本发明授权一种基于LLM辅助系统调用推断的操作系统内核定向模糊测试方法在权利要求书中公布了:1.一种基于LLM辅助系统调用推断的操作系统内核定向模糊测试方法,其特征在于,包括: 步骤S1:使用静态分析从操作系统内核源码中提取目标信息; 其中,目标信息包括目标位置、目标所在的函数代码、目标行、目标所在的函数名称以及调用跟踪记录,调用跟踪记录指内核崩溃时的函数调用跟踪记录; 步骤S2:构建基于LLM的系统调用推断模块,包括触发条件分析子模块、系统调用序列推断子模块和系统调用依赖项推断子模块; 步骤S3:调用触发条件分析子模块,基于用户的第一输入触发LLM生成由直接或间接调用目标的操作系统内核对象组成的调用链的分析结果; 其中,第一输入是基于与目标信息相关的第一提示词生成的; 步骤S4:构建关于系统调用的知识库;调用系统调用序列推断子模块,基于用户的第二输入触发LLM生成调用目标的系统调用及系统调用的变体构成的序列; 其中,第二输入是基于第二提示词生成的,第二提示词包括第一检索器从知识库查询得到的与调用链的分析结果相关的上下文、第二样例及调用链的分析结果,第二样例为触发LLM的第一句式; 步骤S5:调用系统调用依赖项推断子模块,基于用户根据第三提示词生成的第三输入触发LLM生成系统调用依赖项,构建系统调用对,并为每个系统调用对构建模板; 其中,每个系统调用对包括一个系统调用依赖项和一个序列中的项,第三提示词包括第二检索器从知识库查询得到的与序列相关的上下文、第三样例及序列,第三样例包括触发LLM的第二句式; 步骤S6:调用定向模糊测试模块,使用模糊器生成若干种子,基于种子构建用于测试操作系统内核的测试用例; 其中,种子是随机选择若干模板组合生成的; 所述步骤S6中,基于种子构建用于测试操作系统内容的测试用例,还包括: 步骤S621:在未获得预期测试结果时,执行步骤S622;否则,方法结束; 步骤S622:计算各种子与目标所在的基本块之间的种子距离,将种子距离最小的种子存储到种子库中,增大种子库中的各种子对应的模板的权重; 其中,种子距离是种子对应的测试用例的执行路径中覆盖的各基本块与目标所在的基本块的距离的最小值; 其中,基本块与目标所在的基本块的距离的确定方式为: 对操作系统内核源码进行编译与插桩生成用于引导的内核镜像文件,确定操作系统内核源码对应的程序控制流图,基于内核镜像文件和程序控制流图计算基本块与目标所在的基本块的距离; 步骤S623:确定全部种子对应的全部模板组成的第一模板集合,计算第一模板集合中的各个模板对应的模板距离,并计算种子距离的平均值,根据各个模板对应的模板距离调整模板的权重; 其中,模板距离是从该模板对应的全部种子中选取k个种子距离最小的种子;种子距离的平均值等于选取的k个种子的种子距离和除以k;模板距离越小的模板权重越大; 步骤S624:从种子库中选择种子,根据选中的种子变异生成新的种子;基于种子构建测试用例,执行测试用例得到操作系统内核的测试结果。

如需购买、转让、实施、许可或投资类似专利技术,可联系本专利的申请人或专利权人中国人民解放军国防科技大学,其通讯地址为:410073 湖南省长沙市开福区德雅路109号;或者联系龙图腾网官方客服,联系龙图腾网可拨打电话0551-65771310或微信搜索“龙图腾网”。

以上内容由龙图腾AI智能生成。

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