一种基于路径依赖分析的多路径循环总结方法及系统

本发明提供一种基于路径依赖分析的多路径循环总结方法及系统，获取目标循环程序；构建所述目标循环程序的程序流图，并对所述程序流图进行切片处理，得到切片后的程序流图；基于所述切片后的程序流图，构建路径依赖自动机模型；基于预设的广度优先算法和所述路径依赖自动机模型进行循环总结，得到循环总结结果。在本方案中，通过构建路径依赖自动机，基于路径依赖自动机进行循环总结，自动推导目标循环程序的输入与输出结果，得到用于优化目标循环程序的循环总结结果，避免逐步执行目标循环程序的每一循环，从而实现对循环结构的优化，节省目标循环程序执行时间的目的。