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

龙图腾网获悉软安科技有限公司申请的专利代码分析路径剪枝方法、装置、设备及存储介质获国家发明授权专利权，本发明授权专利权由国家知识产权局授予，授权公告号为：CN120803462B 。

龙图腾网通过国家知识产权局官网在2025-12-05发布的发明授权授权公告中获悉：该发明授权的专利申请号/专利号为：202511277963.0，技术领域涉及：G06F8/41；该发明授权代码分析路径剪枝方法、装置、设备及存储介质是由杨瑞;马志楠;李凯设计研发完成，并于2025-09-09向国家知识产权局提交的专利申请。

本代码分析路径剪枝方法、装置、设备及存储介质在说明书摘要公布了：本申请提供了一种代码分析路径剪枝方法、装置、设备及存储介质，其中，方法包括：提取待分析代码控制流信息并拆分复合条件语句，生成待分析代码对应的控制流图，控制流图的节点块表示执行单元或条件判断单元，边表示控制流的路径方向；将需要追踪的条件判断单元标记为记录单元；采用多分支并行方式遍历控制流图，遍历过程中对语句进行归一化处理，在单分支中如果遍历到某记录单元的条件语句为首次出现，则维持所有可能的条件状态，否则从动态维护列表中查询该条件语句对应条件状态的值，剪枝记录单元与条件状态不符的出度边；对于条件语句首次出现及查询后未剪枝情况，生成动态维护列表的副本，用于后续各分支条件状态下的独立更新与查询。

本发明授权代码分析路径剪枝方法、装置、设备及存储介质在权利要求书中公布了：1.一种代码分析路径剪枝方法，其特征在于，包括： 提取待分析代码控制流信息并拆分复合条件语句，生成所述待分析代码对应的控制流图，其中，所述控制流图的节点块表示执行单元或条件判断单元，边表示控制流的路径方向； 将需要追踪的条件判断单元标记为记录单元； 采用多分支并行方式遍历所述控制流图，在遍历过程中对条件语句进行归一化处理，在单分支中如果遍历到某记录单元的条件语句为首次出现，则维持所有可能的条件状态，其中，所述所有可能的条件状态包括真和假，否则从动态维护列表中查询该条件语句对应条件状态的值，剪枝记录单元与条件状态不符的出度边；具体包括： 将节点块中操作符为大于、大于等于=及小于等于=的条件语句归一化为操作符为小于的条件语句，其中，原始操作符为大于等于=及小于等于=的条件语句需将条件状态极性取反；将节点块中操作符为不等于!=的条件语句归一化为操作符为等于==的条件语句，并且将该条件状态极性取反；使用归一化处理后的条件语句用于遍历过程中的更新与查询; 对于条件语句首次出现及查询后未剪枝的情况，生成所述动态维护列表的副本，将所述副本用于后续各分支条件状态下的独立更新与查询。

如需购买、转让、实施、许可或投资类似专利技术，可联系本专利的申请人或专利权人软安科技有限公司，其通讯地址为：610041 四川省成都市中国(四川)自由贸易试验区成都高新区天府大道北段869号1栋1单元20楼2004-2007；或者联系龙图腾网官方客服，联系龙图腾网可拨打电话0551-65771310或微信搜索“龙图腾网”。

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