[发明专利]一种基于信息流分析的LLVM中间表示程序切片方法

摘要

本发明公开了一种基于信息流分析的LLVM中间表示程序切片方法。首先，根据调用图CG判断某程序是过程内程序还是过程间程序。所述的过程间程序采用以下步骤：(1)分析程序间的调用关系、实参与形参之间的对应关系；(2)根据公式计算每条调用语句的DS、PS、λS、μS、ρS；(3)再根据CG调用图的逆拓扑序关系来依次分析各个程序，得到过程间程序的DS、PS、λS、μS、ρS；(4)对所有程序的DS、PS、λS、μS、ρS进行复合，得到过程间切片。本发明方法，可对LLVM IR程序类中间语言程序进行切片，通用性强，切片精度高。

主权项

一种基于信息流分析的LLVM中间表示程序切片方法，其特征在于，包括以下过程：(1)根据调用图CG判断预切片程序是过程内程序还是过程间程序；(2)所述预切片程序为过程内程序，其步骤包括：(2‑1)根据公式计算每条语句的定义集DS、保护集PS、变量与表达式的关系λS、表达式与变量的关系μS、变量与变量的关系ρS；(2‑2)然后根据程序中语句执行的先后关系，对语句进行复合，直到得到程序整体的DS、PS、λS、μS、ρS，其中DS、PS的表示形式是集合，而λS、μS、ρS分别是一个矩阵；(2‑3)根据λS和μS，分别可以得到单个程序中任一变量的前向切片和后向切片；(3)所述预切片程序为过程间程序，其步骤包括：(3‑1)初始化所有语句的DS、PS、λS、μS、ρS；(3‑2)更新所有调用语句的DS、PS、λS、μS、ρS；(3‑3)对每个子程序的语句进行复合，得到各个程序出口处的DS、PS、λS、μS、ρS；(3‑4)对所有程序的DS、PS、λS、μS、ρS进行复合，得到过程间切片。