SBIR/STTR Research Award
Discover: Critical Vulnerability Discovery Using Big Code
Award amount
$150,000Program and phase
SBIR · Phase IAward year
2016Award details
- Awarding agency
- Department of Defense
- Branch
- Defense Advanced Research Projects Agency
- Recipient company
- GRAMMATECH INC
- Proposal award date
- 2016-06-09
- Contract end date
- 2017-07-19
- UEI
- CBXRSPNRF8F9
- Solicitation number
- 2016.1
- Topic code
- SB161-004
Research abstract
Software is riddled with critical vulnerabilities, many of which are exploited to pave way for malware payloads, leading to serious repercussions. Modern software is often a complexcombination of components, typically including third-party code, providing a vast attack surface that is becoming increasing difficult to defend.We propose a project called X-Discover which aims to find known critical bugs in a software ecosystem utilizing big code. We aim to leverage knowledge from known exploits and vulnerabilities, and apply a combination of programming language and statistical techniques to efficiently find whether a given code base has any known exploitable vulnerability. To do this, we will curate a database of critical vulnerabilities,and extract relevant parts of the binary for each vulnerability. Then, for each vulnerability, a variety of relevant semantic code features that bring out identifying characteristics are extracted; a large code corpus is employed to learn parameters and thresholds necessary to effectively search binary code for the curated bugs. The search results are validated and fed back into the curated database to improve search parameters. This infrastructure is evolved into a tool capable of scanning semantic patterns in software ecosystems to quickly find known high-risk bugs.
Technology keywords
Not reported
Other awards by this recipient
Verified by the same UEI. These are other public SBIR/STTR award pages, not a merged company record.
- REAFFIRM: Reverse Engineer, Analyze, and Fix Firmware
- Scalpel-Debloat
- FPGA Hardening Against Vulnerabilities and Radiation Effects
- CRAM: C++ to Rust Assisted Migration PH2
- Automated Malware Generation for Avionics Cyber Resiliency
Awards with the same topic code
Verified by an exact topic code match. This is not a text-similarity match.
- Building Trustworthy Software Systems using Big Code
- Building Trustworthy Software Systems using Big Code
- CodeTrust: Predicting Vulnerabilities using Big Code
- Building Trustworthy Software Systems using Big Code
- Eunomia - A Process and Toolset to Implement Big Code Approaches for Vulnerability Detection