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 fourteen researchers with PhDs in programming languages and program analysis.