DATAFLOW-BASED TYPE RECOVERY ALGORITHM FOR BINARY CODE
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 CBTRs 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.
Program analysis data flow based type recovery type inference binary analysis
YAN HU HE JIANG
School of Software,Dalian University of Technology
国际会议
成都
英文
1296-1300
2011-11-25(万方平台首次上网日期,不代表论文的发表时间)