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.
展开▼