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

龙图腾网获悉浙江大学申请的专利基于静态分析的操作系统设备清理后使用漏洞检测系统获国家发明授权专利权，本发明授权专利权由国家知识产权局授予，授权公告号为：CN116028935B 。

龙图腾网通过国家知识产权局官网在2025-11-21发布的发明授权授权公告中获悉：该发明授权的专利申请号/专利号为：202310142971.9，技术领域涉及：G06F21/56；该发明授权基于静态分析的操作系统设备清理后使用漏洞检测系统是由周亚金;马麟设计研发完成，并于2023-02-21向国家知识产权局提交的专利申请。

本基于静态分析的操作系统设备清理后使用漏洞检测系统在说明书摘要公布了：本发明公开一种基于静态分析的操作系统设备清理后使用漏洞检测系统，包括预处理、可疑对定位模块和漏洞检测三个模块。预处理模块通过标准的接口抽象和启发式经验方法，对操作系统中的设备移除过程和系统调用处理过程进行模型化，并借助建立的模型将系统中的代码进行分层，得到各个层代码的边界函数；可疑对定位模块通过主流的静态分析来定位目标层代码中的可疑对,并求解达到可疑对的代码路径；漏洞检测模块通过例程切换点算法，从给定的可疑对中检测出设备清理后使用漏洞，输出算法运行时的中间结果。本发明可以高效地、准确地检测出操作系统中的设备清理后使用漏洞，增强目标系统对于该类型漏洞的鲁棒性。

本发明授权基于静态分析的操作系统设备清理后使用漏洞检测系统在权利要求书中公布了：1.一种基于静态分析的操作系统设备清理后使用漏洞检测系统，其特征在于，该系统包含预处理模块、可疑对定位模块、以及漏洞检测模块； 所述的预处理模块通过标准的接口抽象和启发式经验方法，通过对操作系统中的设备移除过程和系统调用处理过程进行模型化，并借助建立的模型将系统中的代码进行分层，从而得到各个层代码的边界函数，具体为： 1通过设备移除的标准接口抽象分析，得到驱动层代码的清理入口函数集合；同时通过启发式经验方法分析得到上层代码的清理入口函数集合； 2通过已得到的清理入口函数进行交叉引用分析，构建各层之间的依赖关系； 3自底向上通过启发式经验方法分析得到各层的系统调用承载入口函数； 所述清理入口函数和系统调用承载入口函数组成一个层的边界函数； 所述的可疑对定位模块基于预处理模块提供的各层之间的依赖关系和边界函数进行静态分析，具体为： 通过对目标层的边界函数进行路径探索，构建函数调用图和控制流图；通过构建的函数调用图和控制流图，从清理入口函数开始进行上下文敏感的、路径敏感的过程间分析，进而准确定位被分析层级代码中的资源释放位置；而后，该模块通过指向分析来找到与定位到的资源释放位置相关的资源使用位置，并将定位到的资源释放位置相关的资源使用位置构成可疑对数据结构；通过构建的函数调用图和控制流图，求解出从边界函数达到可疑对的代码路径； 所述的漏洞检测模块以可疑对和相关代码路径作为输入，执行例程切换点算法进行漏洞检测；模块输出检测出的设备清理后使用漏洞，同时输出漏洞检测算法运行时的中间结果，用于指导使用者发现有威胁、可利用的设备清理后使用漏洞。

如需购买、转让、实施、许可或投资类似专利技术，可联系本专利的申请人或专利权人浙江大学，其通讯地址为：310058 浙江省杭州市西湖区余杭塘路866号；或者联系龙图腾网官方客服，联系龙图腾网可拨打电话0551-65771310或微信搜索“龙图腾网”。

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