Automatic reconstruction of data types in the decompilation problem

DOI10.1134/S0361768809020066zbMATH Open1185.68212MaRDI QIDQ840093FDOQ840093

Authors: N. E. Zubov 

Publication date: 4 September 2009

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

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

zbMATH Keywords

C compiler

Mathematics Subject Classification ID

Theory of compilers and interpreters (68N20)

Cites Work

• Compiler Construction

Cited In (2)

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

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)