GrammaTech

Pinned Repositories

clang-mutate
Manipulate C-family ASTs with Clang
Language:C++62 13 36
ddisasm
A fast and accurate disassembler
Language:C++626 38 6162
gtirb
Intermediate Representation for Binary analysis and transformation
Language:C++298 29 3736
gtirb-pprinter
Pretty printer from GTIRB to assembly code
Language:C++47 14 1110
gtirb-stack-stamp
Apply ROP protection to a binary using binary rewriting with GTIRB
Language:C++33 10 03
resolve
Resolve software differencing and merging
Language:C++37 13 00
retypd
Language:Python63 12 35
retypd-ghidra-plugin
Retypd plugin for Ghidra reverse engineering framework from NSA
Language:Java21 8 13
sel
Programmatic modification and evaluation of software
Language:Common Lisp162 21 2221
swap-detector
A library for detecting swapped arguments in function calls, and a Clang Static Analyzer plugin used to demonstrate the library.
Language:C20 9 03

GrammaTech's Repositories

GrammaTech/ddisasm
A fast and accurate disassembler
Language:C++626 38 6162
GrammaTech/gtirb
Intermediate Representation for Binary analysis and transformation
Language:C++298 29 3736
GrammaTech/sel
Programmatic modification and evaluation of software
Language:Common Lisp162 21 2221
GrammaTech/retypd
Language:Python63 12 35
GrammaTech/gtirb-pprinter
Pretty printer from GTIRB to assembly code
Language:C++47 14 1110
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++33 10 03
GrammaTech/retypd-ghidra-plugin
Retypd plugin for Ghidra reverse engineering framework from NSA
Language:Java21 8 13
GrammaTech/cl-smt-lib
Common Lisp package providing an SMT object supporting SMT-LIB communication over input and output streams
Language:Common Lisp17 10 24
GrammaTech/cl-utils
GrammaTech Common Lisp Utilities
Language:Common Lisp15 7 03
GrammaTech/cgc-cbs
Challenge binaries (CBs) and tools from DARPA's Cyber Grand Challenge (CGC)
Language:C14 12 15
GrammaTech/gtirb-rewriting
Python API for rewriting GTIRB files
Language:Python14 8 142
GrammaTech/gtirb-ghidra-plugin
Ghidra plugin to handle GTIRB files
Language:Java13 12 23
GrammaTech/mc-asm
Assemble code to bytes using LLVM's MC layer
Language:C++13 11 14
GrammaTech/gtirb-ddisasm-retypd
Language:Python12 10 02
GrammaTech/trace-db
Writing, reading, storing, and searching of program traces (source and binary)
Language:C11 9 11
GrammaTech/functional-trees
Tree data structure supporting functional manipulation. Works closely with FSet.
Language:Common Lisp9 10 21
GrammaTech/gtirb-vscode
Language:Python7 11 21
GrammaTech/gtirb-capstone
Language:Python6 10 01
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 0
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/gtirb-test-helpers
Language:Python0 7 00
GrammaTech/DIRTY
DIRTY: Augmenting Decompiler Output with Learned Variable Names and Types
Language:Python2 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
GrammaTech/libehp
fork of https://git.zephyr-software.com/opensrc/libehp
Language:C++2 02