Authors

Type reconstruction for C decompilation

Decompilation is a difficult problem in reverse engineering. Data type reconstruction (reconstruction of data types basic types like int, unsigned short and composite types like structures, array, array of structures, etc) is an important part of decompilation. The current paper presents several methods for data type reconstruction. One of the presented methods was im¬plemented in the TyDec decompiler being developed by the authors.

Reconstruction of C++ high-level control-flow structures used for exception handling

Decompilation is a means used in reverse engineering for raising of analyzed system’s abstraction level. Obtaining understandable reconstructed program is an important goal in this case. The most comprehensive restoration of high-level control flow structures is relevant to achieving this goal. This article is devoted to certain methods for decompilation of C++ programs, notably methods for reconstruction of C++ try-catch constructs used for exception handling and throw statement used for raising exceptional situations.

Software tool for program reconstructing — decompiler TyDec

Decompiler is a tool for reconstructing programs from low-level representation to high-level one. The most known decompilers have correct decompila¬tion as their only goal. However, the correctness of a decompiled program is not enough for reaching higher level of program representation. We present a quality of decompilation as an additional require¬ment for decompilation. Decompiler TyDec recon¬structs low-level programs and traces correctly and with high quality.