grammatech Goto Github PK

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.

cgc-cbs

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

cl-capstone

Common Lisp bindings for the Capstone disassembler

cl-make

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

clang-mutate

Manipulate C-family ASTs with Clang

ddisasm

A fast and accurate disassembler

dirty

DIRTY: Augmenting Decompiler Output with Learned Variable Names and Types

egalito

Self-hosting binary instrumentation framework for security research

elf

A Common Lisp library for manipulating ELF files

functional-trees

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

ghidra

Ghidra is a software reverse engineering (SRE) framework

github-sarif-integration

grammatech.github.io

GrammaTech Research on GitHub

gtirb

Intermediate Representation for Binary analysis and transformation

gtirb-capstone

gtirb-ddisasm-retypd

gtirb-functions

gtirb-ghidra-plugin

Ghidra plugin to handle GTIRB files

gtirb-greybox-binaries-fuzzbench

FuzzBench - Fuzzer benchmarking as a service.

gtirb-pprinter

Pretty printer from GTIRB to assembly code

gtirb-rewriting

Python API for rewriting GTIRB files

gtirb-search-reduce

Reduce a binary to only retain that which is required to continue to pass a provided test suite.

gtirb-stack-stamp

Apply ROP protection to a binary using binary rewriting with GTIRB

gtirb-test-helpers

gtirb-types

gtirb-vscode

intern-prescreen-2022

j8-tests