Fiscal Year:
2009
Title:
CodeSonar with Metronome
Agency:
DHS
Contract:
N10PC20004
Award Amount:
$99,999.00
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.
Small Business Information at Submission:
GrammaTech, Inc.
317 N. Aurora Street Ithaca, NY 14850
EIN/Tax ID:
161338879
DUNS:
N/A
Number of Employees:
Woman-Owned:
No
Minority-Owned:
No
HUBZone-Owned:
No