The Design And Implementation Of Program Slicing Based On C-Similar Language

Program slicing is an important technique to analyze and understand programs. A program slice S is composed of a set of statements in program P which can influence the value of a variables named v at a special program point n , in which (n, v) is named as slicing criterion. Compute a slice sets can compute a program slice can get a set of program statements that directly or indirectly contributed to the value assumed by a variable v at some program point n (or the parts influenced by the variable).Since the concept of program slicing is proposed, it is widely concerned by software researchers and development staffs and is widely applied in the fields of software testing, debugging, measuring, maintenance, XML information extraction, reverse engineering and re-engineering, etc.. It is seen that program slicing technique has become an important research field of software researches.This paper mainly discusses the design and implementation of a Program Slicing system based on C-Similar Language (Later referred as CSL): a language defined by myself and has described the design and implementation of a complete static program slicing system. The following works have been done: (1) Define CSL language and complete the lexical analysis and syntactical analysis of it; (2) Obtain Control Flow Graph (later referred as CFG) from abstract syntax tree (AST); (3) Control dependence analysis of CSL; (4) system architecture of CSL slicing system.The first part: according to the treatment range of the slicing technique in the paper, applying compiling technique, define the grammar of CSL language and implement its lexical analysis and syntactical analysis manually, and obtain the AST of the source program of CSL.Regular grammar is adopted to define the grammar of the CSL; finite...