Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 228,397,760 papers from all fields of science
Search
Sign In
Create Free Account
Decompiler
Known as:
Decompilation
, Decompilers
, Decompile
Expand
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…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
38 relations
.NET Framework
.NET Reflector
Abstract interpretation
Application programming interface
Expand
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2012
2012
Repackaging Android Applications for Auditing Access to Private Data
P. Berthomé
,
Thomas Fécherolle
,
N. Guilloteau
,
Jean-François Lalande
Seventh International Conference on Availability…
2012
Corpus ID: 12222085
One of the most important threats for Android users is the collection of private data by malware put on the market. Most of the…
Expand
2012
2012
Wire -- A Formal Intermediate Language for Binary Analysis
Silvio Cesare
,
Yang Xiang
IEEE 11th International Conference on Trust…
2012
Corpus ID: 3794627
Wire is a intermediate language to enable static program analysis on low level objects such as native executables. It has…
Expand
2007
2007
Simple Types in Type Theory: Deep and Shallow Encodings
François Garillot
,
Benjamin Werner
International Conference on Theorem Proving in…
2007
Corpus ID: 17205984
We present a formal treatment of normalization by evaluation in type theory. The involved semantics of simply-typed λ-calculus is…
Expand
2005
2005
Control flow graph reconstruction for assembly language programs with delayed instructions
N. Bermudo
,
A. Krall
,
N. Horspool
IEEE Working Conference on Source Code Analysis…
2005
Corpus ID: 6012022
Most software for embedded systems, including digital signal processing systems, is coded in assembly language. For both…
Expand
2005
2005
Techniques for synthesizing binaries to an advanced register/memory structure
G. Stitt
,
Zhi Guo
,
W. Najjar
,
F. Vahid
Symposium on Field Programmable Gate Arrays
2005
Corpus ID: 7520242
Recent works demonstrate several benefits of synthesizing software binaries onto FPGA hardware, including incorporating hardware…
Expand
2003
2003
Securing Java through software watermarking
D. Curran
,
N. Hurley
,
Mel Ó Cinnéide
Principles and Practice of Programming in Java
2003
Corpus ID: 7283049
An important advantage of Java is its portability due to its use of bytecode. However the use of bytecode allows decompilation of…
Expand
2001
2001
Comparing type-based and proof-directed decompilation
A. Mycroft
,
A. Ohori
,
Shin-ya Katsumata
Proceedings Eighth Working Conference on Reverse…
2001
Corpus ID: 12170301
In the past couple of years interest in decompilation has widened from its initial concentration on reconstruction of control…
Expand
Review
1998
Review
1998
The Manifold Presence of Christ in the Liturgy
Michael G. Witczak
1998
Corpus ID: 59026891
The doctrine of Christ's manifold presence in the liturgy, found in Vatican II's Sacrosanctum concilium no. 7, has a complex…
Expand
1994
1994
Signatures for Library Functions in Executable Files
M. Emmerik
1994
Corpus ID: 6568309
A method for efficiently generating signatures for detecting library functions in executable files is described. The signatures…
Expand
1977
1977
A Unified Approach to Program and Data Conversion
Barron C. Housel
Very Large Data Bases Conference
1977
Corpus ID: 31817737
This paper addresses the problem of program conversion in the context of converting to a database management system. This…
Expand
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)
ACCEPT & CONTINUE