• DocumentCode
    2155884
  • Title

    Profile-based type reconstruction for decompilation

  • Author

    Troshina, K. ; Chernov, A. ; Fokin, A.

  • Author_Institution
    Inst. for Syst. Programming RAS, Moscow
  • fYear
    2009
  • fDate
    17-19 May 2009
  • Firstpage
    263
  • Lastpage
    267
  • 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;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Program Comprehension, 2009. ICPC '09. IEEE 17th International Conference on
  • Conference_Location
    Vancouver, BC
  • ISSN
    1092-8138
  • Print_ISBN
    978-1-4244-3998-0
  • Electronic_ISBN
    1092-8138
  • Type

    conf

  • DOI
    10.1109/ICPC.2009.5090054
  • Filename
    5090054