Automated static analysis tool for source code and binary code
Program understanding tool for source code and binary code
Software protection tool for Intel x86 executables
Automatic generator of test cases for executables
GrammaTech's software dynamic translator
A software dynamic translator that operates at the kernel level.
Tool that conducts a rigorous analysis of machine code
Employs multi-level protection enabling safe execution of executables
Standalone debugging tool
Tools for performing radical program transformation.
A tool for specifying processor instruction sets
A tool for visualizing software architecture
Research at GrammaTech
GrammaTech participates in the full life-cycle of new ideas — from academic and industrial sponsored research, through advanced, technology-ready prototypes, into widely adopted COTS products.
Our research program focuses on automatic program analysis, and our projects can all be classified into one or more of the following categories.
- Cyber Security and Reliability
Uncovering bugs and vulnerabilities in software and protecting running software from an attack, which involves developing support for mixed analysis of source code and machine code.
- Reverse Engineering
Understanding a piece of software, including both source and raw machine code.
Protecting a piece of software against reverse engineering (obfuscation).
- Software Engineering
Producing tools and techniques that aid in efficiently creating robust, correct software, including tools for enforcing coding standards, modernizing legacy code, and detecting problems during development.
See the publications list for papers published by GrammaTech researchers, and by other researchers who use GrammaTech's tools.