Abstract:

An improved static slicing algorithm based on reverse flow has been put porward, to solve the disadvantage of traditional slicing algorithm that spends too much time and space. The improved algorithm only by analyzing the control dependence, to obtain the overall framework of the program, then scanning from inside to outside in the way of expanding based on reverse flow of control starting from the slicing point, continually gaining data dependence associated only with the slices, followed by analysis of the program slicing. This makes the algorithm not only solve the shortcomings of the traditional slicing algorithms, but also reduce the workload of the calculation control flow, eliminating the need to calculate the predicate dependency set, to further improve the efficiency of the slices, to reduce the w
aste of resources.

Key words: program slicing, static slicing, control dependence, data dependence, reverse flow