- 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, genetic improvement, SBSE",
- ISBN = "1-891562-50-9",
-
URL = "
https://www.ndss-symposium.org/ndss2018/bar-workshop-programme/",
-
URL = "
https://www.ndss-symposium.org/wp-content/uploads/2018/07/bar2018_8_Schulte_paper.pdf",
-
URL = "http://www.cs.unm.edu/~eschulte/data/bed.pdf",
-
code_url = "https://github.com/nforest/awesome-decompilation",
- 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 decompilation.",
-
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 (broken Dec 2020) http://corpus.museprogram.org/
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 (broken Dec 2020) http://dx.doi.org/10.14722/ndss.2018.23xxx www.ndss-symposium.org Impact of clang code optimisation (-OX)
GrammaTech, Inc.
https://github.com/nforest/awesome-decompilation",
