基于LLVM的程序静态分析方法及系统

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