Automatic reconstruction of data types in the decompilation problem

DOI10.1134/S0361768809020066MaRDI QIDQ840093zbMATH OpenFDO

Authors N. E. Zubov

Publication date 4 September 2009

Published in Programming and Computer Software (Search for Journal in Brave)

zbMATH Keywords

C compiler

Mathematics Subject Classification ID

Theory of compilers and interpreters (68N20)

Recommendations

• From MinX to MinC: semantics-driven decompilation of recursive datatypes
• scientific article; zbMATH DE number 3907745
• Type Reconstruction for General Refinement Types
• Type reconstruction with recursive types and atomic subtyping
• scientific article; zbMATH DE number 1692950

Cites work

• Compiler Construction

Cited in

(2)

• A Modular Type Reconstruction Algorithm
• From MinX to MinC: semantics-driven decompilation of recursive datatypes

Describes a project that uses

Uses Software

• CodeSurfer

This page was built for publication: Automatic reconstruction of data types in the decompilation problem

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q840093)