GrammaTech

ddisasm

A fast and accurate disassembler

gtirb

Intermediate Representation for Binary analysis and transformation

sel

Programmatic modification and evaluation of software

retypd

gtirb-pprinter

Pretty printer from GTIRB to assembly code

resolve

Resolve software differencing and merging

gtirb-stack-stamp

Apply ROP protection to a binary using binary rewriting with GTIRB

retypd-ghidra-plugin

Retypd plugin for Ghidra reverse engineering framework from NSA

cl-smt-lib

Common Lisp package providing an SMT object supporting SMT-LIB communication over input and output streams

cl-utils

GrammaTech Common Lisp Utilities

cgc-cbs

Challenge binaries (CBs) and tools from DARPA's Cyber Grand Challenge (CGC)

gtirb-rewriting

Python API for rewriting GTIRB files

gtirb-ghidra-plugin

Ghidra plugin to handle GTIRB files

mc-asm

Assemble code to bytes using LLVM's MC layer

gtirb-ddisasm-retypd

trace-db

Writing, reading, storing, and searching of program traces (source and binary)

functional-trees

Tree data structure supporting functional manipulation. Works closely with FSet.

gtirb-vscode

gtirb-capstone

pylint-sarif

cl-capstone

Common Lisp bindings for the Capstone disassembler

gtirb-functions

capstone

Capstone disassembly/disassembler framework: Core (Arm, Arm64, BPF, EVM, M68K, M680X, MOS65xx, Mips, PPC, RISCV, Sparc, SystemZ, TMS320C64x, Web Assembly, X86, X86_64, XCore) + bindings.

grammatech.github.io

GrammaTech Research on GitHub

gtirb-types

gtirb-test-helpers

DIRTY

DIRTY: Augmenting Decompiler Output with Learned Variable Names and Types

ghidra

Ghidra is a software reverse engineering (SRE) framework

gtirb-greybox-binaries-FuzzBench

FuzzBench - Fuzzer benchmarking as a service.

libehp

fork of https://git.zephyr-software.com/opensrc/libehp