Vulnerability detection using data-flow graphs and SMT solvers

Abstract

Automated vulnerability detection in reverse engineered code.

Document Details

• Document Type: DoD Grant Award
• Publication Date: Oct 30, 2018
• Source ID: W911NF1510419

Entities

People

• John Cavazos

Organizations

• Army Contracting Command
• United States Army
• University of Delaware