Program Reachability for Vulnerability and Malware Analysis

Abstract

Highly skilled Department of Defense (DoD) malware and vulnerability analysts currently spend significant amounts of time manually coercing specific portions of executable code to run. Automate the analysis of binary code, choosing program inputs that will trigger specific behavior to reduce the time that DoD cyber personnel spend performing complex software analysis. Use model checking techniques to identify these inputs and generate a simplified executable free of complex and convoluted dependencies that can be analyzed by existing code analysis tools.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Jan 01, 2020
Accession Number
AD1110251

Entities

Organizations

  • Carnegie Mellon University

Tags

Communities of Interest

  • Human Systems

DTIC Thesaurus Topics

  • Copyrights
  • Department Of Defense
  • Engineering
  • Governments
  • Guarantees
  • Materials
  • Patents
  • Software Development
  • Students
  • Trademarks
  • Universities

Fields of Study

  • Computer science
  • Engineering

Readers

  • Control Systems Engineering.
  • Distributed Systems and Data Platform Development
  • Enterprise Information Systems Architecture and Joint Command Capability Interoperability Support.

Technology Areas

  • Cyber