Evolving Exact Decompilation

Created by W.Langdon from gp-bibliography.bib Revision:1.4504

  author =       "Eric Schulte and Jason Ruchti and Matt Noonan and 
                 David Ciarletta and Alexey Loginov",
  title =        "Evolving Exact Decompilation",
  booktitle =    "Workshop on Binary Analysis Research",
  year =         "2018",
  editor =       "Yan Shoshitaishvili and Ruoyu (Fish) Wang",
  address =      "San Diego, CA, USA",
  month =        feb # " 18-21",
  keywords =     "genetic algorithms, genetic programming, SBSE",
  URL =          "http://www.cs.unm.edu/~eschulte/data/bed.pdf",
  size =         "11 pages",
  abstract =     "We introduce a novel technique for C decompilation
                 that provides the correctness guarantees and
                 readability properties essential for accurate and
                 efficient binary analysis. Given a binary executable,
                 an evolutionary search seeks a combination of source
                 code excerpts from a big code database that can be
                 recompiled to an executable that is byte-equivalent to
                 the original binary. Byte-equivalence ensures that a
                 successful decompilation fully reproduces the
                 behaviour, both intended and unintended, of the
                 original binary. Moreover, the decompiled source is
                 typically more readable than source obtained with
                 existing decompilers, since it is generated from
                 human-written source code excerpts. We present
                 experimental results demonstrating the promise of this
                 novel, general, and powerful approach to
  notes =        "Byte-Equivalent Decompilation (BED) tool.
                 clang-mutate, Pliny Database. Seed with results of
                 HEX-RAYS Decompiler. lexicase selection. CodeSurfer.
                 Software Evolution Library
                 https://github.com/GrammaTech/sel Learn C The Hard Way
                 (LCTHW) benchmark programs. DARPA MUSE

                 Network and Distributed Systems Security (NDSS)
                 Symposium 2018 18-21 February 2018, San Diego, CA, USA
                 Copyright 2018 Internet Society, ISBN 1-1891562-49-5
                 www.ndss-symposium.org Impact of clang code
                 optimisation (-OX)

                 GrammaTech, Inc.


Genetic Programming entries for Eric Schulte Jason Ruchti Matt Noonan David Ciarletta Alexey Loginov