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

fYear

2009

fDate

13-14 Dec. 2009

Firstpage

155

Lastpage

158

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;

fLanguage

English

Publisher

ieee

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

Type

conf

DOI

10.1109/FITME.2009.44

Filename

5380906