Ithaca, NY — GrammaTech, Inc., an Ithaca-based software company specializing in software-assurance tools and cybersecurity solutions, announced today that the company has been selected for award on more than eight and a quarter million dollars in research contracts.
GrammaTech performs sponsored research for many branches of the U.S. Government. Over its twenty-five year history, government customers have included the Department of Defense (DOD), Department of Homeland Security (DHS), National Aeronautics and Space Administration (NASA), National Institute of Standards and Technology (NIST), and National Science Foundation (NSF). In the past four months, the company submitted eight proposals, six of which have been selected for funding. The remaining two are still pending.
“These awards underscore the company’s continued success and the strength of our research team, which includes world-class experts in automated program analysis,” said Tim Teitelbaum, GrammaTech’s CEO and Professor Emeritus in Cornell’s Computer Science Department. “We recently expanded our offices to include a branch in Madison, WI, and are aggressively growing our teams of talented computer scientists and software engineers in Ithaca, Madison, and New York City.”
GrammaTech’s research department undertakes the full life cycle of new ideas – from government-sponsored research, through advanced, technology-ready prototypes, into widely-adopted COTS (commercial-off-the-shelf) products. The department focuses on automatic program analysis, including both static and dynamic analysis on source code and binary machine code.
The results of this research are tools used by software developers around the world to find critical bugs and security vulnerabilities in their code. For example, NASA used GrammaTech’s CodeSonar® to harden their Mars Rover software, and Sypris Electronics uses CodeSonar to bullet-proof the cryptographic products they develop. In addition to being used for development testing, CodeSonar is also used by investigators who are attempting to track down causes of device malfunction. For instance, NASA used CodeSonar to inspect suspect Toyota automotive control codeafter reported incidents of uncontrolled vehicle acceleration, and the FDA used CodeSonar to inspect the software of a malfunctioning medical device.
About GrammaTech and CodeSonar:
GrammaTech’s static analysis tools are used worldwide by Fortune 500 companies, educational institutions, startups and government agencies. The staff includes 16 PhD experts in static analysis and a superb engineering team, all focused on creating the most innovative and in-depth analysis algorithms. The company’s flagship product, CodeSonar, is a sophisticated static analysis tool that performs a whole-program, interprocedural analysis on C/C++, Java, and binary code, identifying complex programming bugs that can result in serious reliability or security problems. More information about CodeSonar can be found here.