GT

GrammaTech Research

GrammaTech Research

GrammaTech

Research

Cyber Security Solutions Research Areas Open Source Software Publications

Cyber Security Solutions

Bindle
Bindle enables automatic fuzzing harness generation and seed-input collection. This makes dynamic testing of software binaries more accessible, by reducing the need for reverse engineering and domain knowledge.
Proteus
Proteus automatically finds and fixes vulnerabilities in software binaries. It uses exploitability analysis to prioritize software weaknesses for remediation.
REAFFIRM
REAFFIRM (Reverse Engineer, Analyze, and Fuzz Firmware) is a platform for firmware analysis, component identification and extraction, and testing in emulation.

Research Areas

Application Security and Reverse Engineering
Use state-of-the-art program analysis techniques to build an understanding of the functionality, strengths, and weaknesses of executable software and firmware. Apply that understanding to improve security and performance.
Automated Software Engineering
Automate aspects of software development through source code transformation and synthesis. Build tools that integrate into modern workflows to support collaborative, human/automated software development.
Binary Rewriting
Based on high-fidelity binary ingestion and analysis, automatically transform binary software executables and libraries to improve functionality, security, maintainability, and performance.
Machine Learning and Big Code
Combine machine-learning techniques with program analysis to increase software security, reliability, and maintainability. Mine the collective wisdom in massive code repositories to speed up, automate, and enhance developer processes.
Platform Security
Ensure trust in the computing platform, including hardware, from design through deployment. Assess risk due to use of untrusted supply chains of FPGA and ASIC devices.

Open Source Software

DDisasm
A fast and accurate disassembler. DDisasm can disassemble real-world stripped binaries with accuracy sufficient to enable modification and reassembly.
GTIRB
An intermediate representation for binary analysis and rewriting. GTIRB seeks to be an LLVM-IR for reverse engineering.
Mnemosyne
Mnemosyne seamlessly brings cutting-edge advances in software development automation into modern IDEs, supporting collaborative human/automated software development.
SEL
The Software Evolution Library (SEL) provides a programmatic interface for the parsing, analysis, and rewriting of software source code in many programming languages through a single generic API.

Find more of our open-source repositories on GitHub/GrammaTech and GitLab/GrammaTech.

About Contact Careers About Contact Careers GrammaTech Homepage