点击次数：

论文类型：会议论文

发表时间：2012-01-01

收录刊物：CPCI-S

页面范围：481-485

关键字：Program analysis; data flow based type recovery; type inference; binary analysis

摘要：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.