2007 31st Annual International Computer Software and Applications Conference
Parameter and Return-value Analysis of Binary Executables
Beijing, China
July 24-July 27
ISBN: 0-7695-2870-8
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.
Citation:
Jingbo Zhang, Rongcai Zhao, Jianmin Pang, "Parameter and Return-value Analysis of Binary Executables," compsac, vol. 1, pp.501-508, 2007 31st Annual International Computer Software and Applications Conference, 2007