A Program Slicing Method Based On Information-flow Analysis

In this day and age, computer technology develops rapidly, People’s production and lifecannot do without many of the software systems, the quantity and scale of the softwaresystem is continuously growing and is becoming more and more complicated with theprogress of software system. Many traditional program analysis methods can’t meet ourrequirement, and we need more technology and tools to help us to finish the work ofprogram analysis. Therefore, program analysis has become an important part in thesoftware field; we need more people to join the research work on program analysis.The program slicing technique is one of the very important components among numerousprogram analysis technologies. Program slicing is a program decomposition technique,proposed by Mark Weiser and is one of the important methods for program analysis andunderstanding. Program slicing has been very widely used and researched in the actualproduction. Program slicing techniques in the analysis of program understanding,debugging and testing all have been widely used; what’s more, program slicingtechnologies in such aspects as software system maintenance and measurement alsoprovide support on the technic.Program slicing methods are mainly based on accessibility of dependency graph drawingalgorithm at present; I choose the method which is based on information-flow analysistechnique. Information-flow analysis technique plays an important role in the programoptimization, the static program analysis, program testing and many other parts. Indifferent application field, the analysis of data has different properties. This article isbased on the analysis of the access and the spread of values of variables in the program,then to describe the relations between the variable and the expression, the expression andthe variable, and the relation between the variable and the variable, using this analysis method to do the program slicing.Program slicing technique can help developers and maintainers understand the programbetter, learn the structure and function of the program more clearly, simplify the program,create more high-quality programs and improve the work efficiency, and so on in theactual development and maintenance process. Today’s programming language tends to besimple and user-friendly, more and more powerful in function, but also become morecomplex, in order to adapt to the programming language of this change, program slicingtechnology is also exploited by evolution. This paper introduces some knowledge ofprogram slicing technology and different types of the program slicing methods, as well ashow to slice for source program and making an example.There are many shortages in traditional slicing methods, so this paper puts forward a kindof program slicing method based on the information-flow analysis. It is tracked onvariables, focused on the relations among the variables, the variables and the expressions,and this method can slice the program more accurately according to the behavior of thevariables. This method greatly optimizes the traditional slicing and reduces the errorscaused by many uncertainties.