Combined Analysis for Source Code and Binary Code for Software Assurance

Abstract

Goal: Increase assurance of binary components. - Decompile and perform static analysis. - Perform localized repairs.- Increase trustworthiness of software fielded by DoD.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Nov 01, 2021
Accession Number
AD1150257

Entities

People

  • William Klieber

Organizations

  • Carnegie Mellon University

Tags

DTIC Thesaurus Topics

  • Algorithms
  • Application Software
  • Computer Programs
  • Copyrights
  • Department Of Defense
  • Engineering
  • Errors
  • Governments
  • Guarantees
  • Materials
  • Patents
  • Recursive Functions
  • Reverse Engineering
  • Software Assurance
  • Software Development
  • Software Testing
  • Universities

Fields of Study

  • Computer science

Readers

  • Astronomy/Astrophysics
  • Software Engineering.