CodeSonar with Metronome

Award Information
Agency:
Department of Homeland Security
Amount:
$99,999.00
Program:
SBIR
Contract:
N10PC20004
Solitcitation Year:
N/A
Solicitation Number:
N/A
Branch:
N/A
Award Year:
2009
Phase:
Phase I
Agency Tracking Number:
0921091
Solicitation Topic Code:
N/A
Small Business Information
GrammaTech, Inc.
317 N. Aurora Street, Ithaca, NY, 14850
Hubzone Owned:
N
Woman Owned:
N
Socially and Economically Disadvantaged:
N
Duns:
N/A
Principal Investigator
 Alexey Loginov
 (607) 273-7340
 alexey@grammatech.com
Business Contact
 Ray Teitelbaum
Phone: (607) 273-7340
Email: tt@grammatech.com
Research Institution
N/A
Abstract
The current generation of advanced static-analysis tools find vulnerabilities by exploring all possible executions of a program as configured for a single platform. The next quantum leap in capability will be a system that will explore all executions for many different platforms simultaneously. We propose to develop such a system by combining a number of state-of-the-art techniques. Novel continuous integration technology will allow distribution of concurrent analyses across a farm of heterogeneous machines. Advances in our static-analysis engine will exploit machine-code analysis to ferret out subtle platform-specific differences in behavior. The results of these analyses will be collated, filtered, ranked, and presented to the analyst in a single combined report.

* information listed above is at the time of submission.

Agency Micro-sites

US Flag An Official Website of the United States Government