E-resources
-
Jingbo Zhang; Rongcai Zhao; Jianmin Pang; Wen Fu
2009 Second International Conference on Future Information Technology and Management Engineering, 2009-Dec.Conference Proceeding
This paper presents a method to recovery high-level control structures from binary executables, which is based on propositional calculus. Firstly, this method formalizes the control dependence relation between low-level instructions to propositional variables. Then these variables can be propagated and calculated follow the execution path of the object code, and high-level control structures can be identified by some specified results of propositional invariants finally. Experimental results show that our method can recognize and recovery loops and conditionals effectively.
