Final Report: [5.5 Information and Software Assurance:] Automated Vulnerability Detection in Executables

Abstract

The primary goal of this project is to create tools to automate detection of security vulnerabilities in machine-code executables. The aim is to generate a list of definite vulnerabilities and information about what is required to exploit them. The focus of the work is on creating a machine-code version of the DASH model checker, which is a hybrid concrete/symbolic program-exploration algorithm for performing goal-directed white-box ``fuzzing'' of source-code programs.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Nov 16, 2015
Accession Number
AD1053283

Entities

People

  • Thomas Reps

Organizations

  • University of Wisconsin–Madison

Tags

Communities of Interest

  • Cyber
  • Materials and Manufacturing Processes

DTIC Thesaurus Topics

  • Algorithms
  • Compilers
  • Computer Programming
  • Computer Programs
  • Computer Science
  • Computers
  • Contracts
  • Engineering
  • Instruction Set Architecture
  • Language
  • Machine Languages
  • Programming Languages
  • Security
  • Students
  • Technology Transfer
  • Theoretical Computer Science
  • Vulnerability

Fields of Study

  • Computer science
  • Engineering

Readers

  • Computer Programming and Software Development.
  • Cybersecurity.
  • Systems Analysis and Design