Final Report: [5.5 Information and Software Assurance:] Automated Vulnerability Detection in Executables
Technical Report,15 Aug 2009,14 Aug 2012
University of Wisconsin - Madison Madison United States
Pagination or Media Count:
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.
- Computer Programming and Software