GrammaTech
 | This article has multiple issues. Please help improve it or discuss these issues on the talk page. (Learn how and when to remove these messages)
No issues specified. Please specify issues, or remove this template. |
 | |
| Company type | Private |
|---|---|
| Industry | Software Quality |
| Headquarters | Ithaca, New York |
Key people | Founders: Tim Teitelbaum of Cornell University, Tom Reps of the University of Wisconsin |
| Products | CodeSonar, CodeSurfer, Ada-ASSURED, Ada-Utilities |
| Website | http://www.GrammaTech.com |
GrammaTech is a software-development tools vendor based in Ithaca, NY. The technology offered is based on research performed at Cornell University and University of Wisconsin.
Products
CodeSonar is a source code analysis tool that performs a whole-program, interprocedural analysis on C, C++ and identifies programming bugs at compile time.
CodeSonar is used by the FDA, The Center for Devices and Radiological Health who uses it to detect defects in fielded medical devices.[1]
CodeSurfer is a program-understanding tool. Program constructs—including preprocessor directives, macros, and C++ templates—are analyzed. CodeSurfer calculates a variety of representations that can be explored through the graphical user interface or accessed through the optional programming
Ada-ASSURED is a tool that ensures consistent coding style, prevents syntax errors, and provides features for writing and reviewing Ada code. It can be used with any Ada compiler.
Ada-Utilities provides batch-mode processing for formatting and analyzing coding standards violations for Ada code all at once.
References
- Quinnell, Richard A. (2008-03-06). "Static analysis stomps on bugs". EETimes. Retrieved 2009-01-23.