Analysis Of Control Flow Based On Binary Executable

In recent years, network security has become more and more important when information technology is promoted. Most of network security applications are based on software vulnalabilities.In the area of software security, lots of problems needed to be analyzed base on binary executable file.Control Flow Analysis is one important step of soft security analysis.Control Flow Analysis's goal is to restore the flow of program execution and lay a good basis to the following safety analysis of different paths,Data Flow Analysis,symbolic execution and test data generation.The process of Control Flow Analyze based on binary executable file is simply introduced in this paper. The concept of domain tree was brought in, and then the features of 2-way, switch and loop conditionals of binary in the flow graph and domain tree were introduced. Finally we present the domain-tree-base methods of condition, switch and loop recovery.