Title :
Profile-based type reconstruction for decompilation
Author :
Troshina, K. ; Chernov, A. ; Fokin, A.
Author_Institution :
Inst. for Syst. Programming RAS, Moscow
Abstract :
Decompilation is reconstruction of a program in a high-level language from a program in a low-level language. In most cases static decompilation is unable to completely reconstruct high-level data types due to loss of typing information during compilation. We present several profile-based techniques that help to recover high-level types. The techniques include pointer/integer determination by value profiling and composite type identification by heap profiling.
Keywords :
abstract data types; program compilers; program diagnostics; composite type identification; heap profiling; pointer/integer determination; profile-based data type reconstruction; program decompilation; program reconstruction; static decompilation; value profiling; Application software; Assembly; Computer bugs; Computer languages; Cybernetics; Equations; Mathematical programming; Reconstruction algorithms; Registers; Reverse engineering;
Conference_Titel :
Program Comprehension, 2009. ICPC '09. IEEE 17th International Conference on
Conference_Location :
Vancouver, BC
Print_ISBN :
978-1-4244-3998-0
Electronic_ISBN :
1092-8138
DOI :
10.1109/ICPC.2009.5090054
