The Community for Technology Leaders
2013 IEEE 37th Annual Computer Software and Applications Conference (2007)
Beijing, China
July 24, 2007 to July 27, 2007
ISSN: 0730-3157
ISBN: 0-7695-2870-8
pp: 501-508
Jianmin Pang , National Digital Switching System Engineering & Technological Research Center of China
Jingbo Zhang , National Digital Switching System Engineering & Technological Research Center of China
Rongcai Zhao , National Digital Switching System Engineering & Technological Research Center of China
ABSTRACT
The recovery of parameter and return-value plays an important role in decompilation, reverse engineering, binary translation and software maintenance etc. Furthermore, related approaches are very useful to interprocedural analyzing and slicing of binary executable. However, the operations on parameters and returnvalues always appear obscure after the optimizing phases of a compiler, which will make the recovery hard to realize. In this paper, we present a flow-insensitive but context-sensitive algorithm based on data dependence analysis to get back parameters and returnvalues. In addition, we discuss our experimental results obtained by applying our techniques to a static binary translation framework. Evidence shows that our method performs well in analyzing the parameters and return-values of executables. We use an IA-64 executable for demonstration, but our techniques are not limited to any particular architecture.
INDEX TERMS
null
CITATION
Jianmin Pang, Jingbo Zhang, Rongcai Zhao, "Parameter and Return-value Analysis of Binary Executables", 2013 IEEE 37th Annual Computer Software and Applications Conference, vol. 01, no. , pp. 501-508, 2007, doi:10.1109/COMPSAC.2007.163
107 ms
(Ver )