Title :
A High-Level Control Structure Recovery Method Based on Propositional Calculus
Author :
Zhang, Jingbo ; Zhao, Rongcai ; Pang, Jianmin ; Fu, Wen
Author_Institution :
Nat. Digital Switching Syst. Eng. & Technol. Res. Center, Zhengzhou, China
Abstract :
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.
Keywords :
process algebra; program compilers; program control structures; binary executables; high-level control structure recovery method; low-level instructions; object code execution path; propositional calculus; propositional variables; recovery loops; Application software; Binary codes; Calculus; Conference management; Control systems; Engineering management; Information management; Information technology; Logic; Technology management; control flow structuring; decompilation; proposition calculus;
Conference_Titel :
Future Information Technology and Management Engineering, 2009. FITME '09. Second International Conference on
Conference_Location :
Sanya
Print_ISBN :
978-1-4244-5339-9
DOI :
10.1109/FITME.2009.44
