A novel algorithm for construction Control Dependence Subgraph
Program slicing is used to program analysis and reverse engineering. It can give the programmer the statements only relevant to the computation of a given function. Traversal across the Program dependence graph is a basic way to compute the program slice. In this paper, we present a new algorithm to produce Control Dependence Subgraph (CDS) which is the component of Program dependence graph. The algorithm uses an input called F(p) which models each program in the form of an algebraic expression. We do the deeply study on issues called follow region resulted by structured transfers statements and develop a tool to draw the CDS automatically.
Program slicing Control dependence subgraph Algebraic expression follow region
Zhe Han Shihong Chen
School of computer Wuhan University Wuhan, China National Engineering Research Center of Multimedia Softerware Wuhan University Wuhan, China
国际会议
武汉
英文
158-162
2009-11-18（万方平台首次上网日期，不代表论文的发表时间）