loading...
Parameter and Return-value Analysis of Binary Executables
Beijing, China July 24-July 27
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/COMPSAC.2007.1632007 31st Annual International Comput ...
 This Article 
 
PDF
HTML
 
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
Jingbo Zhang, National Digital Switching System Engineering & Technological Research Center of China
Rongcai Zhao, National Digital Switching System Engineering & Technological Research Center of China
Jianmin Pang, National Digital Switching System Engineering & Technological Research Center of China
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
Usage of this product signifies your acceptance of the Terms of Use.