Using information obtained in the course of program execution for improving the quality of data type reconstruction in decompilation

Authors:
E. N. Troshina;A. V. Chernov
Affiliations:
Institute for System Programming, Russian Academy of Sciences, Moscow, Russia 109004;Department of Computational Mathematics and Cybernetics, Moscow State University, Moscow, Russia 119992
Venue:
Programming and Computing Software
Year:
2010

Citing 10
Cited 0

The predictability of data values

MICRO 30 Proceedings of the 30th annual ACM/IEEE international symposium on Microarchitecture
Type-Based Decompilation (or Program Reconstruction via Type Reconstruction)

ESOP '99 Proceedings of the 8th European Symposium on Programming Languages and Systems
Assembly to High-Level Language Translation

ICSM '98 Proceedings of the International Conference on Software Maintenance
Valgrind: a framework for heavyweight dynamic binary instrumentation

Proceedings of the 2007 ACM SIGPLAN conference on Programming language design and implementation
PED: Proof-Guided Error Diagnosis by Triangulation of Program Error Causes

SEFM '08 Proceedings of the 2008 Sixth IEEE International Conference on Software Engineering and Formal Methods
Automatic reconstruction of data types in the decompilation problem

Programming and Computing Software
Experience in the design, implementation and use of a retargetable static binary translation framework

Experience in the design, implementation and use of a retargetable static binary translation framework
DIVINE: discovering variables in executables

VMCAI'07 Proceedings of the 8th international conference on Verification, model checking, and abstract interpretation
Run-time type checking for binary programs

CC'03 Proceedings of the 12th international conference on Compiler construction
Improved memory-access analysis for x86 executables

CC'08/ETAPS'08 Proceedings of the Joint European Conferences on Theory and Practice of Software 17th international conference on Compiler construction

Quantified Score

Hi-index	0.01

Visualization

Abstract

Methods of improving the decompilation quality, that is, the reconstruction of a program in a high-level language from a given program in a low-level language, are considered. Decompilation is considered as a reverse engineering problem; problems of decompilation quality are examined, and metrics for assessing this quality are proposed.