Skip to search formSkip to main contentSkip to account menu

Decompiler

Known as: Decompilation, Decompilers, Decompile 
A decompiler is a computer program that takes an executable file as input, and attempts to create a high level source file which can be recompiled… 
Wikipedia (opens in a new tab)

Related topics

Related topics

38 relations
.NET Framework.NET ReflectorAbstract interpretationApplication programming interface

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2012
2012
Repackaging Android Applications for Auditing Access to Private Data
One of the most important threats for Android users is the collection of private data by malware put on the market. Most of the… 
2012
2012
Wire -- A Formal Intermediate Language for Binary Analysis
Wire is a intermediate language to enable static program analysis on low level objects such as native executables. It has… 
2007
2007
Simple Types in Type Theory: Deep and Shallow Encodings
We present a formal treatment of normalization by evaluation in type theory. The involved semantics of simply-typed λ-calculus is… 
2005
2005
Control flow graph reconstruction for assembly language programs with delayed instructions
Most software for embedded systems, including digital signal processing systems, is coded in assembly language. For both… 
2005
2005
Techniques for synthesizing binaries to an advanced register/memory structure
Recent works demonstrate several benefits of synthesizing software binaries onto FPGA hardware, including incorporating hardware… 
2003
2003
Securing Java through software watermarking
An important advantage of Java is its portability due to its use of bytecode. However the use of bytecode allows decompilation of… 
2001
2001
Comparing type-based and proof-directed decompilation
In the past couple of years interest in decompilation has widened from its initial concentration on reconstruction of control… 
Review
1998
Review
1998
The Manifold Presence of Christ in the Liturgy
The doctrine of Christ's manifold presence in the liturgy, found in Vatican II's Sacrosanctum concilium no. 7, has a complex… 
1994
1994
Signatures for Library Functions in Executable Files
A method for efficiently generating signatures for detecting library functions in executable files is described. The signatures… 
1977
1977
A Unified Approach to Program and Data Conversion
This paper addresses the problem of program conversion in the context of converting to a database management system. This… 
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy (opens in a new tab), Terms of Service (opens in a new tab), and Dataset License (opens in a new tab)