Improved C Program Slicing Algorithm Based on Reverse Flow Analysis
LI Bing-y · Journal of Jilin University · 2014
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 waste of resources.