GrammaTech

Pinned Repositories

clang-mutate
Manipulate C-family ASTs with Clang
Language:C++64 13 36
ddisasm
A fast and accurate disassembler
Language:C++675 42 6562
gtirb
Intermediate Representation for Binary analysis and transformation
Language:C++318 29 4038
gtirb-pprinter
Pretty printer from GTIRB to assembly code
Language:C++48 16 1211
gtirb-stack-stamp
Apply ROP protection to a binary using binary rewriting with GTIRB
Language:C++32 10 03
resolve
Resolve software differencing and merging
Language:C++37 13 00
retypd
Language:Python69 12 35
retypd-ghidra-plugin
Retypd plugin for Ghidra reverse engineering framework from NSA
Language:Java22 8 13
sel
Programmatic modification and evaluation of software
Language:Common Lisp170 23 2522
swap-detector
A library for detecting swapped arguments in function calls, and a Clang Static Analyzer plugin used to demonstrate the library.
Language:C21 9 03

GrammaTech's Repositories

GrammaTech/ddisasm
A fast and accurate disassembler
Language:C++675 42 6562
GrammaTech/gtirb
Intermediate Representation for Binary analysis and transformation
Language:C++318 29 4038
GrammaTech/sel
Programmatic modification and evaluation of software
Language:Common Lisp170 23 2522
GrammaTech/retypd
Language:Python69 12 35
GrammaTech/gtirb-pprinter
Pretty printer from GTIRB to assembly code
Language:C++48 16 1211
GrammaTech/resolve
Resolve software differencing and merging
Language:C++37 13 00
GrammaTech/gtirb-stack-stamp
Apply ROP protection to a binary using binary rewriting with GTIRB
Language:C++32 10 03
GrammaTech/retypd-ghidra-plugin
Retypd plugin for Ghidra reverse engineering framework from NSA
Language:Java22 8 13
GrammaTech/cl-smt-lib
Common Lisp package providing an SMT object supporting SMT-LIB communication over input and output streams
Language:Common Lisp18 11 24
GrammaTech/cl-utils
GrammaTech Common Lisp Utilities
Language:Common Lisp18 7 03
GrammaTech/gtirb-rewriting
Python API for rewriting GTIRB files
Language:Python18 9 153
GrammaTech/functional-trees
Tree data structure supporting functional manipulation. Works closely with FSet.
Language:Common Lisp14 11 21
GrammaTech/mc-asm
Assemble code to bytes using LLVM's MC layer
Language:C++14 11 14
GrammaTech/gtirb-ddisasm-retypd
Language:Python13 10 02
GrammaTech/gtirb-ghidra-plugin
Ghidra plugin to handle GTIRB files
Language:Java12 12 23
GrammaTech/trace-db
Writing, reading, storing, and searching of program traces (source and binary)
Language:C11 9 11
GrammaTech/gtirb-capstone
Language:Python8 10 01
GrammaTech/gtirb-vscode
Language:Python7 11 21
GrammaTech/pylint-sarif
Language:Python6 7 14
GrammaTech/cl-capstone
Common Lisp bindings for the Capstone disassembler
Language:Common Lisp5 9 12
GrammaTech/gtirb-functions
Language:C++4 9 00
GrammaTech/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:C3 3 04
GrammaTech/grammatech.github.io
GrammaTech Research on GitHub
Language:TeX2 10 01
GrammaTech/gtirb-types
Language:Python1 8 01
GrammaTech/libehp
fork of https://git.zephyr-software.com/opensrc/libehp
Language:C++1 2 03
GrammaTech/x86-sok
Language:C++1 0 0
GrammaTech/gtirb-test-helpers
Language:Python0 7 00
GrammaTech/D-ARM
Language:Python0 0
GrammaTech/ghidra
Ghidra is a software reverse engineering (SRE) framework
Language:Java2 0
GrammaTech/gtirb-greybox-binaries-FuzzBench
FuzzBench - Fuzzer benchmarking as a service.
Language:Python1 0