Semantic-Equivalence Checking to Determine Decompilation Fidelity at the Function Level

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Jan 01, 2021
Accession Number
AD1138220

Entities

People

  • David Svoboda
  • William Klieber

Organizations

  • Carnegie Mellon University

Tags

DTIC Thesaurus Topics

  • Compilers
  • Computer Programs
  • Debugging
  • Department Of Defense
  • Engineering
  • Machine Languages
  • Materials
  • Recursive Functions
  • Reliability
  • Reverse Engineering
  • Simulations
  • Software Assurance
  • Software Development
  • Software Testing
  • Test And Evaluation
  • Universities