Semantic Fidelity of Decompilers

Abstract

Increase software assurance of binary components.- Detect and/or repair vulnerabilities

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Nov 14, 2022
Accession Number
AD1180832

Entities

People

  • William Klieber

Organizations

  • Carnegie Mellon University

Tags

Communities of Interest

  • Cyber

DTIC Thesaurus Topics

  • Accuracy
  • Computer Programs
  • Department Of Defense
  • Engineering
  • Engineers
  • Guarantees
  • Machine Languages
  • Materials
  • Reliability
  • Reverse Engineering
  • Security
  • Side Effects
  • Software Assurance
  • Software Development
  • Software Testing
  • Test And Evaluation
  • Universities