Authors

Structural analysis for decompilation

Decompilation is a difficult problem in reverse engi¬neering. Structural analysis (reconstruction of structural constructs like while, if-then-else, switch, etc.) is an im¬portant part of decompilation. The current paper presents several methods for structural analysis. One of the presented methods was implemented in the TyDec decompiler being developed by the authors. The paper also presents a method for reconstruction C++ exception handling constructs.

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.