|
个人信息Personal Information
教授
博士生导师
硕士生导师
主要任职：未来技术学院/人工智能学院副院长
性别：男
毕业院校：中国科技大学
学位：博士
所在单位：软件学院、国际信息与软件学院
联系方式：jianghe@dlut.edu.cn
DATAFLOW-BASED TYPE RECOVERY ALGORITHM FOR BINARY CODE
点击次数：
论文类型：会议论文
发表时间：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.