Tag #decompiler
24 papers:
- ICSE-2019-GrechBSS #contract #declarative #named
- Gigahorse: thorough, declarative decompilation of smart contracts (NG, LB, BS, YS), pp. 1176–1186.
SANER-2018-KatzRS #network #using- Using recurrent neural networks for decompilation (DSK, JR, ES), pp. 346–356.
POPL-2016-RobbinsKS #data type #recursion #semantics- From MinX to MinC: semantics-driven decompilation of recursive datatypes (ER, AK, TS), pp. 191–203.
WCRE-2013-DurfinaKZ #case study- PsybOt malware: A step-by-step decompilation case study (LD, JK, PZ), pp. 449–456.
- WCRE-2012-DurfinaKZK #detection
- Detection and Recovery of Functions and their Arguments in a Retargetable Decompiler (LD, JK, PZ, BK), pp. 51–60.
- WCRE-2011-FokinDCT #c++ #named
- SmartDec: Approaching C++ Decompilation (AF, ED, AC, KT), pp. 347–356.
CSMR-2010-FokinTC #c++ #re-engineering #source code- Reconstruction of Class Hierarchies for Decompilation of C++ Programs (AF, KT, AC), pp. 240–243.
SCAM-2010-TroshinaDC #re-engineering- Reconstruction of Composite Types for Decompilation (KT, YD, AC), pp. 179–188.
- WCRE-2010-ChenWZZHNQCG #c #readability
- A Refined Decompiler to Generate C Code with High Readability (GC, ZW, RZ, KZ, SH, KN, ZQ, KC, HG), pp. 150–154.
FLOPS-2010-BerardiT #compilation #normalisation- Internal Normalization, Compilation and Decompilation for System Fbh (SB, MT), pp. 207–223.
ICPC-2009-TroshinaCF #re-engineering- Profile-based type reconstruction for decompilation (KT, AC, AF), pp. 263–267.
- SCAM-2008-Gomez-ZamalloaAP #composition #low level #partial evaluation
- Modular Decompilation of Low-Level Code by Partial Evaluation (MGZ, EA, GP), pp. 239–248.
SAS-2007-WeiMZC #algorithm #identification- A New Algorithm for Identifying Loops in Decompilation (TW, JM, WZ, YC), pp. 170–183.
- WCRE-2006-Ribic #concept #embedded #equivalence #execution #implementation #programming language
- Concept and implementation of the programming language and translator, for embedded systems, based on machine code decompilation and equivalence between source and executable code (SR), pp. 307–308.
DATE-2005-StittV #approach #clustering #platform- A Decompilation Approach to Partitioning Software for Microprocessor/FPGA Platforms (GS, FV), pp. 396–397.
- WCRE-2004-EmmerikW #using
- Using a Decompiler for Real-World Source Recovery (MVE, TW), pp. 27–36.
- WCRE-2003-VinciguerraWKMV #c++ #framework #java #tool support
- An Experimentation Framework for Evaluating Disassembly and Decompilation Tools for C++ and Java (LV, LMW, NK, PM, RLV), pp. 14–23.
- WCRE-2001-CifuentesWE #analysis #debugging #security
- Computer Security Analysis through Decompilation and High-Level Debugging (CC, TW, MVE), pp. 375–380.
- WCRE-2001-MycroftOK #type system
- Comparing Type-Based and Proof-Directed Decompilation (AM, AO, SyK), pp. 362–367.
ESOP-2001-KatsumataO #low level- Proof-Directed De-compilation of Low-Level Code (SyK, AO), pp. 352–366.
- ESOP-1999-Mycroft #re-engineering #type system
- Type-Based Decompilation (or Program Reconstruction via Type Reconstruction) (AM), pp. 208–223.
- WSA-1992-BreuerB #performance
- Decompilation is the Efficient Enumeration of Types (PTB, JPB), pp. 255–273.
ICLP-1986-Buettner86 #performance #prolog- Fast Decompilation of Compiled Prolog Clauses (KAB), pp. 663–670.
CAAP-1985-Lichtblau #graph transformation- Decompilation of Control Structures by Means of Graph Transformations (UL), pp. 284–297.
