Research Products

GrammaTech Research enhances existing products and develops new ones. We are currently working on the following products and prototypes:

CodeSurfer® for C An understanding tool for C and C++ source code that can be used either interactively or programmatically.
CodeSonar® for C A bug and security vulnerability detection tool for C and C++.
CodeSurfer for Intel x86 A reverse-engineering and code transformation tool for Intel x86 executables that can be used either interactively or programmatically, either with or without source-code assistance.
DARE (Defences Against Reverse Engineering) A software protection tool for Intel x86 executables.
CodeSonar for Intel x86 A bug and security vulnerability detection tool for Intel x86 executables.
TSL A tool for specifying processor instruction sets and abstract interpretations of programs written in them.
gtSDT A software dynamic translator.
PETE A debugger built using gtSDT.
Deobfuscator An automatic generator of test cases for executables.
3-D Software Visualization A tool for visualizing software in three dimensions.

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.