|
Technologies:
- CodeSonar
Automated static analysis tool for source code and binary code
- CodeSurfer
Program understanding tool for source code and binary code
- DARE
Software protection tool for Intel x86 executables
- GRACE
Automatic generator of test cases for executables
- gtSDT
GrammaTech's software dynamic translator
- KATE
A software dynamic translator that operates at the kernel level.
- McVeto
Tool that conducts a rigorous analysis of machine code
- PEASOUP
Employs multi-level protection enabling safe execution of executables
- PETE
Standalone debugging tool
- Re-Writer
Tools for performing radical program transformation.
- TSL
A tool for specifying processor instruction sets
- Visualization
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.
- Anti-Tamper
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.
|
Publications
See the publications list for papers published by GrammaTech researchers, and by other researchers who use GrammaTech's tools.
|
|
Sponsors
|
