Hits:

Indexed by:会议论文

Date of Publication:2012-01-01

Included Journals:CPCI-S

Page Number:481-485

Key Words:Program analysis; data flow based type recovery; type inference; binary analysis

Abstract:Data type recovery is required for in-depth analysis of binary code. In this paper, a constraint-based type recovery algorithm(CBTR) was studied first. The CBTR algorithm does not make use of control flow information in the type recovery process. To make up for CBTR's deficiency, an enhanced data flow based type recovery algorithm(DBTR) is proposed. DBTR builds control flow graph and data flow graph upon the disassembly of binary code. Empirical study shows that with dataflow information, DBTR is superior to CBTR in the precision of type recovery.