Accession Number:

AD1053283

Title:

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

Descriptive Note:

Technical Report,15 Aug 2009,14 Aug 2012

Corporate Author:

University of Wisconsin - Madison Madison United States

Personal Author(s):

Report Date:

2015-11-16

Pagination or Media Count:

13.0

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 concretesymbolic program-exploration algorithm for performing goal-directed white-box fuzzing of source-code programs.

Subject Categories:

  • Computer Programming and Software

Distribution Statement:

APPROVED FOR PUBLIC RELEASE