Print Print  
Award Information
Proposal Number: 0921091
Proposal Title: CodeSonar with Metronome
Topic Number: H-SB09.2-004
Phase: Phase I
Topic Title: Software Testing and Vulnerability Analysis
Organization: GrammaTech, Inc.
Address: 531 Esty Street
Ithaca, NY 14850-4201  
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.
Award/Contract Number: N10PC20004
Period of Performance: 11/01/2009 - 05/15/2010
Award/Contract Value: $99,999.99
Award/Obligated Amount: $99,999.99