GrammaTech

Organization data from Github https://github.com/GrammaTech

https://grammatech.github.io/

GrammaTech's repositories

ddisasm

A fast and accurate disassembler

Language:C++AGPL-3.0726 39 70

gtirb

Intermediate Representation for Binary analysis and transformation

Language:C++NOASSERTION345 26 44

sel

Programmatic modification and evaluation of software

Language:Common LispNOASSERTION195 22 27

retypd

Language:PythonGPL-3.073 11 3

gtirb-pprinter

Pretty printer from GTIRB to assembly code

Language:C++MIT49 15 12

resolve

Resolve software differencing and merging

Language:C++AGPL-3.038 110

gtirb-stack-stamp

Apply ROP protection to a binary using binary rewriting with GTIRB

Language:C++MIT34 90

retypd-ghidra-plugin

Retypd plugin for Ghidra reverse engineering framework from NSA

Language:JavaGPL-3.027 7 1

cl-utils

GrammaTech Common Lisp Utilities

Language:Common LispMIT21 50

cl-smt-lib

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

Language:Common LispBSD-3-Clause20 10 2

gtirb-rewriting

Python API for rewriting GTIRB files

Language:PythonGPL-3.019 6 18

functional-trees

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

Language:Common LispMIT16 10 2

mc-asm

Assemble code to bytes using LLVM's MC layer

Language:C++MIT16 10 1

gtirb-ddisasm-retypd

Language:PythonGPL-3.013 100

gtirb-ghidra-plugin

Ghidra plugin to handle GTIRB files

Language:JavaMIT12 11 2

trace-db

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

Language:CNOASSERTION12 6 1

gtirb-capstone

Language:PythonMIT8 90

ddisasm-wis-evaluation

Language:ShellAGPL-3.0600

gtirb-vscode

Language:PythonNOASSERTION6 10 2

pylint-sarif

Language:PythonMIT6 6 1

gtirb-functions

Language:C++MIT4 60

x86-sok

Language:C++400

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.

Language:CNOASSERTION3 10

disasm-benchmark

Language:PythonAGPL-3.03 50

D-ARM

Language:PythonGPL-3.02 10

gtirb-types

Language:PythonMIT1 70

libehp

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

Language:C++Apache-2.01 20

gtirb-test-helpers

Language:PythonMIT060

ghidra

Ghidra is a software reverse engineering (SRE) framework

Language:JavaApache-2.0010

gtirb-greybox-binaries-FuzzBench

FuzzBench - Fuzzer benchmarking as a service.

Language:PythonApache-2.0010