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

龙图腾网获悉哈尔滨工业大学;上海浦东发展银行股份有限公司申请的专利一种面向操作系统的跨控制流内核漏洞挖掘方法获国家发明授权专利权，本发明授权专利权由国家知识产权局授予，授权公告号为：CN118940271B 。

龙图腾网通过国家知识产权局官网在2025-09-30发布的发明授权授权公告中获悉：该发明授权的专利申请号/专利号为：202410914017.1，技术领域涉及：G06F21/57；该发明授权一种面向操作系统的跨控制流内核漏洞挖掘方法是由詹东阳;陈杰;巫祺炜;严晟;崔宁;俞兆丰设计研发完成，并于2024-07-09向国家知识产权局提交的专利申请。

本一种面向操作系统的跨控制流内核漏洞挖掘方法在说明书摘要公布了：本发明提出一种面向操作系统的跨控制流内核漏洞挖掘方法，属于漏洞检测技术领域。包括：S1、编译Linux内核代码并生成LLVMIR，调用LLVM的API读取LLVMIR字节码文件的内容并解析，获取内存对象形式的LLVMIR；S2、构建各个函数的控制流图，识别错误代码；S3、识别返回错误代码函数、目标函数和代码错误变量；S4、遍历各个函数的控制流图，识别内存指针；S5、构建关键变量控制流图；S6、识别安全检查和内存释放；S7、进行漏洞报告。解决难以应用到整个操作系统内核、没有考虑跨控制流数据传播的情况和无法识别一些具有复杂特征的漏洞的问题。

本发明授权一种面向操作系统的跨控制流内核漏洞挖掘方法在权利要求书中公布了：1.一种面向操作系统的跨控制流内核漏洞挖掘方法，其特征在于，包括： S1、编译Linux内核代码并生成LLVM IR，调用LLVM的API读取LLVM IR字节码文件的内容并解析，获取内存对象形式的LLVM IR； S2、构建各个函数的控制流图，识别错误代码； S3、识别返回错误代码函数、目标函数和代码错误变量； S4、遍历各个函数的控制流图，识别内存指针； S5、构建关键变量控制流图； S6、识别安全检查和内存释放； S7、进行漏洞报告； 识别安全检查和内存释放的步骤包括： 对于每一个KeyVar中的关键变量，从关键变量所在的函数f的变量控制流图KGf开始，跟踪其传播过程； 如果Var中有访问了关键变量的点，则其被标记；如果Var中其他点访问了被标记的点，则也被标记；如果被标记的点是函数调用指令，就进入被调用函数对应的关键变量控制流图，标记对应的参数，继续跟踪参数的传播； 对于Ind中的函数调用指令，要分别进入每一个潜在调用对象对应的关键变量控制流图继续跟踪；如果被标记的点是返回指令，且是从上一个函数进入到当前函数的，就返回上一个函数并标记其返回值变量；如果发现存储指令将被标记的值保存到函数参数，且是从上一个函数进入到当前函数的，就返回上一个函数并标记其对应参数变量；如果发现存储指令将被标记的值保存到全局变量某个字段，标记全局变量和字段，并找到所有使用该全局变量和字段的地方，继续跟踪其传播；在跟踪过程中，如果发现被标记的点是比较指令，且比较对象是Err中整数值的负数，则停止跟踪并记录跟踪路径为成功；如果比较对象是空指针，加一个已验证指针标记并继续跟踪；如果发现被标记的点是函数调用指令，且被调用者名称中包含“release”、“free”、“put”和“destroy”，或者函数名称是kfree、kmem_cache_free、kvfree和vfree，则停止跟踪并记录跟踪路径为成功；如果发现存储指令将一个未被标记的值保存到被标记的变量，则停止跟踪并记录该路径为失败；如果在跟踪过程中发现没有被其他点访问，则停止跟踪并记录路径为失败；对于内存指针类型的关键变量，跟踪过程中发现被用于计算相关指令或者加载指令，但是跟踪路径没有已验证指针标记，则停止跟踪并记录该路径为失败。

如需购买、转让、实施、许可或投资类似专利技术，可联系本专利的申请人或专利权人哈尔滨工业大学;上海浦东发展银行股份有限公司，其通讯地址为：150001 黑龙江省哈尔滨市南岗区西大直街92号；或者联系龙图腾网官方客服，联系龙图腾网可拨打电话0551-65771310或微信搜索“龙图腾网”。

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