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

龙图腾网获悉中国人民解放军国防科技大学申请的专利一种污点路径搜索方法、系统、设备及存储介质获国家发明授权专利权，本发明授权专利权由国家知识产权局授予，授权公告号为：CN121580409B 。

龙图腾网通过国家知识产权局官网在2026-03-31发布的发明授权授权公告中获悉：该发明授权的专利申请号/专利号为：202610108591.7，技术领域涉及：G06F21/57；该发明授权一种污点路径搜索方法、系统、设备及存储介质是由刘强;李佳雯;张唯贞;付绍静;王怡琦;刘天瑞;姚欣;章润芃;王宇飞设计研发完成，并于2026-01-27向国家知识产权局提交的专利申请。

本一种污点路径搜索方法、系统、设备及存储介质在说明书摘要公布了：本发明属于污点路径搜索领域，具体涉及一种污点路径搜索方法、系统、设备及存储介质，其方法包括：根据标注规则，标记出所有的Source基本块和Sink基本块，生成Source点列表；创建搜索实例，将Source点变量标记为预设状态，将其哈希值添加到路径哈希链中，分析基本块内指令提取变量标识符进行污染状态分析，根据更新动态哈希表以及全局变量污染摘要表进行路径分裂；根据全局变量污染摘要表以及路径哈希链，对搜索实例和分裂实例进行搜索优化，得到优化实例；对优化实例进行验证，得到污点路径搜索结果。本申请具有在保障核心漏洞路径覆盖的前提下，有效降低路径空间的时空复杂度，为静态污点分析提供可行的优化路径的效果。

本发明授权一种污点路径搜索方法、系统、设备及存储介质在权利要求书中公布了：1.一种污点路径搜索方法，其特征是，包括： 获取CPG文件，根据CPG文件生成基本块； 设置Source点与Sink点的标注规则； 根据所述标注规则，标记出所有的Source基本块和Sink基本块，记录所有Source基本块的位置信息到Source点列表； 初始化动态哈希表、路径哈希链以及全局变量污染摘要表； 根据所述Source点列表，为每个Source点创建搜索实例，将Source点变量标记为预设状态，将Source点对应的Source基本块的哈希值添加到路径哈希链中； 分析Source基本块内的指令，根据指令和预设状态提取变量标识符，根据所述变量标识符进行污染状态分析以对初始化动态哈希表进行更新，得到更新动态哈希表； 根据所述更新动态哈希表以及全局变量污染摘要表进行路径分裂，得到分裂实例以及全局变量污染摘要表； 根据全局变量污染摘要表以及路径哈希链，对搜索实例和分裂实例进行搜索优化，得到优化实例； 对所述优化实例进行验证，得到有效的污点传播路径，将所有的有效的污点传播路径作为污点路径搜索结果； 所述根据所述更新动态哈希表以及全局变量污染摘要表进行路径分裂，得到分裂实例以及全局变量污染摘要表，包括： 根据更新动态哈希表、CPG结构体中的后继基本块信息以及全局变量污染摘要表，进行分支重要性评估和污染状态依赖分析； 根据污染状态依赖分析结果，执行当前搜索实例的路径状态更新操作，并通过实例复制机制生成对应的子搜索实例集合，同时同步更新全局变量污染摘要表； 根据路径状态更新、实例复制机制和全局状态同步操作，输出包含状态更新后的当前实例、新生成的分裂实例以及更新后的全局变量污染摘要表，将当前实例、新生成的分裂实例作为搜索实例集合。

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

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