会议专题

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

国际会议

2011 3rd International Conference on Computer Technology and Development(2011第三届计算机技术与发展国际会议 ICCTD2011)

成都

英文

1296-1300

2011-11-25(万方平台首次上网日期,不代表论文的发表时间)