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

龙图腾网获悉山东浪潮科学研究院有限公司申请的专利基于LLVM的程序静态分析方法及系统获国家发明授权专利权，本发明授权专利权由国家知识产权局授予，授权公告号为：CN119883861B 。

龙图腾网通过国家知识产权局官网在2025-07-08发布的发明授权授权公告中获悉：该发明授权的专利申请号/专利号为：202510352877.5，技术领域涉及：G06F11/3604；该发明授权基于LLVM的程序静态分析方法及系统是由张永昊;陈其宾;姜凯;赵鑫鑫设计研发完成，并于2025-03-25向国家知识产权局提交的专利申请。

本基于LLVM的程序静态分析方法及系统在说明书摘要公布了：本发明公开了基于LLVM的程序静态分析方法及系统，属于计算机程序分析技术领域，要解决的技术问题为：现有程序分析技术在估计程序性能特征和内存重用距离分布方面存在的准确性低、效率低以及适用范围有限。包括：将源文件转换为带有源级调试信息的LLVMIR文件；遍历LLVMIR文件中模块、函数、基本块和指令，得到目标函数的静态跟踪信息；构建LLVMIR文件的基本块级控制流图，并标注相关信息；遍历路径时识别并标注循环信息，得到循环注释的执行路径，将执行路径中的基本块替换为相应内存访问信息、生成循环注释的静态内存跟踪；基于循环注释的静态内存跟踪、通过递归算法计算内存访问重用距离分布。

本发明授权基于LLVM的程序静态分析方法及系统在权利要求书中公布了：1.一种基于LLVM的程序静态分析方法，其特征在于，包括如下步骤： IR文件生成：通过程序指令对目标程序进行处理，将源文件转换为带有源级调试信息的LLVMIR文件； IR文件读取：以LLVMIR文件以及目标函数的函数名为输入，通过文件读取器对LLVMIR文件进行解析，遍历LLVMIR文件中模块、函数、基本块和指令，得到目标函数的静态跟踪信息； 控制流图生成：基于目标函数的静态跟踪信息，计算基本块执行的指令类型，确定基本块的后继和前驱关系，以目标函数的基本块为节点、节点之间的控制流方向为边构建LLVMIR文件的基本块级控制流图，并标注相关信息，相关信息包括基本块之间的转移概率、基本块执行次数以及内存访问信息； 基本块计算：通过分析基本块执行的指令确定基本块之间的转移概率，并基于基本块之间的转移概率计算每个基本块被执行的先验概率； 静态内存跟踪：对控制流图进行分析，基于基本块之间的转移概率遍历路径并找到具有最大概率的路径，遍历路径时识别并标注循环信息，得到循环注释的执行路径，将执行路径中的基本块替换为相应内存访问信息、生成循环注释的静态内存跟踪； 重用距离分布计算：基于循环注释的静态内存跟踪、通过递归算法计算内存访问重用距离分布。

如需购买、转让、实施、许可或投资类似专利技术，可联系本专利的申请人或专利权人山东浪潮科学研究院有限公司，其通讯地址为：250000 山东省济南市高新区浪潮路1036号S02号楼；或者联系龙图腾网官方客服，联系龙图腾网可拨打电话0551-65771310或微信搜索“龙图腾网”。