December 14, 2009

GrammaTech Awarded Two DHS Phase I Contracts

GrammaTech, Inc. today announced that it has been awarded two new SBIR Phase I contracts by the Department of Homeland Security. For these contracts, GrammaTech will develop technology for software testing and vulnerability analysis.

The CodeSonar® with Metronome project will develop a system that will explore all executions for many different platforms simultaneously. This represents a quantum leap in capability from the current generation of tools, which find vulnerabilities by exploring all possible executions of a program as configured for a single platform.

The Concolic Testing with Metronome project will build a system that combines novel automatic test generation techniques with state-of-the-art multi-platform continuous integration technology.

About GrammaTech
GrammaTech's static-analysis tools are used worldwide by startups, Fortune 500 companies, educational institutions, and government agencies. The staff includes thirteen researchers with PhDs in programming languages and program analysis. More information about GrammaTech can be found at www.grammatech.com.

GrammaTech, Inc.
531 Esty Street
Ithaca, NY 14850 USA
phone: 607-273-7340
fax: 607-273-8752
e-mail: info@grammatech.com


Areas | Products | Sponsors | Publications | News | About Us © 2007-2012, GrammaTech, Inc. All rights reserved.
The Synthesizer Generator, Ada-ASSURED, Ada-Utilities, and SmashProof are trademarks of GrammaTech, Inc. CodeSurfer and CodeSonar are registered trademarks of GrammaTech, Inc.