Title :
A Novel Algorithm for Construction Control Dependence Subgraph
Author :
Han, Zhe ; Chen, Shihong
Author_Institution :
Sch. of Comput., Wuhan Univ., Wuhan, China
Abstract :
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.
Keywords :
algebra; graph theory; program slicing; reverse engineering; algebraic expression; control dependence subgraph construction; follow region; program analysis; program dependence graph; program slicing; reverse engineering; Computer networks; Computer security; Data security; Debugging; Embedded computing; Information security; National security; Programming profession; Reverse engineering; Sociotechnical systems; Algebraic expression; Control dependence subgraph; Program slicing; follow region;
Conference_Titel :
Multimedia Information Networking and Security, 2009. MINES '09. International Conference on
Conference_Location :
Hubei
Print_ISBN :
978-0-7695-3843-3
Electronic_ISBN :
978-1-4244-5068-8
DOI :
10.1109/MINES.2009.156
