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

龙图腾网获悉浙江大学申请的专利一种基于指针解引用插桩的C/C++释放后重引用动态检测方法获国家发明授权专利权，本发明授权专利权由国家知识产权局授予，授权公告号为：CN119046135B 。

龙图腾网通过国家知识产权局官网在2025-10-21发布的发明授权授权公告中获悉：该发明授权的专利申请号/专利号为：202410996856.2，技术领域涉及：G06F11/362；该发明授权一种基于指针解引用插桩的C/C++释放后重引用动态检测方法是由张浩然;陶逸铭;吴春明;汪昌兴;魏之千;边振昆;刘智扬;买买江·克然木设计研发完成，并于2024-07-24向国家知识产权局提交的专利申请。

本一种基于指针解引用插桩的C/C++释放后重引用动态检测方法在说明书摘要公布了：本发明公开了一种基于指针解引用插桩的CC++释放后重引用动态检测方法，在执行软件测试时，传统的AddressSanitizer无法检测到地址合法的逻辑错误，本发明通过数据流分析和对GetElementPtr指令进行插桩，实现对指针重使用内存错误的动态检测。

本发明授权一种基于指针解引用插桩的C/C++释放后重引用动态检测方法在权利要求书中公布了：1.一种基于指针解引用插桩的CC++释放后重引用动态检测方法，其特征在于，包括以下步骤： 1在编译阶段收集所有内存分配与释放、指针解引用指令信息，将所有内存分配的调用点记为集合，将所有内存释放的调用点记为集合，将所有指针解引用的指令点记为集合； 2在编译阶段对上一步收集的集合、集合和集合的参数与返回值进行指针分析，所述指针分析包括依赖分析和值传递链分析，提取得到集合和集合的参数的依赖集和，并提取得到集合的内存分配返回值的传递集； 步骤2中，所述提取得到集合和集合的参数的依赖集和，具体包括以下子步骤： a.1在LLVM框架下提取集合中每一个调用点的参数，得到参数集合：，其中，表示集合中任意一个调用点的参数，，表示参数集合中总共有个参数；并在LLVM框架下提取集合中每一个指令点的参数，得到参数集合：，其中，表示集合中任意一个指令点的参数，，表示参数集合中总共有个参数； a.2针对参数集合中任意一个参数的类型进行检查： a若参数的类型为LoadInst类型，则更新参数：对参数调用LoadInst.PointerOperand方法得到返回值作为更新后的参数，并重复步骤a.2检查更新后的参数的类型； b若参数的类型为StoreInst类型，则更新参数：对参数调用StoreInst.ValueOperand方法得到返回值作为更新后的参数，并重复步骤a.2检查更新后的参数的类型； c若参数的类型为GetElementPtr类型，则更新参数：对参数对应的指令调用PointerOperand方法得到返回值为更新后的参数，并重复步骤a.2检查更新后的参数的类型； d若参数的类型为AllocaInst类型：若参数对应的指令具有唯一StoreInst引用，则更新参数：对唯一引用参数的StoreInst指令调用ValueOperand方法得到返回值作为更新后的参数，并重复步骤a.2检查更新后的参数的类型；反之则将参数作为调用点对应的依赖地址加入到集合，结束检查； e若参数的类型为GlobalVariable类型或Argument类型则将参数作为调用点对应的依赖地址加入到集合，结束检查； a.3针对参数集合中每一个参数重复步骤a.2，得到集合的依赖集：； a.4针对参数集合中每一个参数重复步骤a.2，得到集合的依赖集：； 3在中间代码阶段对集合、集合和集合进行插桩，验证并更新与其对应的和地址所映射的影子内存的可用状态，并在函数返回时解除临时变量的不可用状态。

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

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