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.
