Semantic Fidelity of Decompilers

Abstract

Overview: We adapt an existing open-source decompiler (Ghidra): Existing decompilers were developed for aiding manual reverse engineering. They were not designed to produce recompilable code. Gap: Decompiled code often has semantic inaccuracies and syntactic errors.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Jul 11, 2022
Accession Number
AD1173815

Entities

People

  • David Svoboda
  • William Klieber

Organizations

  • Carnegie Mellon University

Tags

DTIC Thesaurus Topics

  • Compilers
  • Computer Programs
  • Copyrights
  • Debugging
  • Department Of Defense
  • Engineering
  • Governments
  • Guarantees
  • Machine Languages
  • Materials
  • Reliability
  • Reverse Engineering
  • Side Effects
  • Software Development
  • Software Testing
  • Test And Evaluation
  • Universities
  • Verification

Readers

  • Computational Linguistics
  • Computational Modeling and Simulation
  • Cybersecurity.