• Stars
    star
    2
  • Language
    TeX
  • Created over 3 years ago
  • Updated about 1 year ago

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

GrammaTech Research on GitHub

More Repositories

1

ddisasm

A fast and accurate disassembler
C++
653
star
2

gtirb

Intermediate Representation for Binary analysis and transformation
C++
306
star
3

sel

Programmatic modification and evaluation of software
Common Lisp
166
star
4

retypd

Python
69
star
5

clang-mutate

Manipulate C-family ASTs with Clang
C++
64
star
6

gtirb-pprinter

Pretty printer from GTIRB to assembly code
C++
48
star
7

resolve

Resolve software differencing and merging
C++
37
star
8

gtirb-stack-stamp

Apply ROP protection to a binary using binary rewriting with GTIRB
C++
32
star
9

retypd-ghidra-plugin

Retypd plugin for Ghidra reverse engineering framework from NSA
Java
22
star
10

swap-detector

A library for detecting swapped arguments in function calls, and a Clang Static Analyzer plugin used to demonstrate the library.
C
21
star
11

cl-utils

GrammaTech Common Lisp Utilities
Common Lisp
18
star
12

cl-smt-lib

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

gtirb-rewriting

Python API for rewriting GTIRB files
Python
16
star
14

cgc-cbs

Challenge binaries (CBs) and tools from DARPA's Cyber Grand Challenge (CGC)
C
16
star
15

functional-trees

Tree data structure supporting functional manipulation. Works closely with FSet.
Common Lisp
14
star
16

mc-asm

Assemble code to bytes using LLVM's MC layer
C++
14
star
17

gtirb-ddisasm-retypd

Python
13
star
18

gtirb-ghidra-plugin

Ghidra plugin to handle GTIRB files
Java
12
star
19

trace-db

Writing, reading, storing, and searching of program traces (source and binary)
C
11
star
20

gtirb-vscode

Python
7
star
21

gtirb-capstone

Python
7
star
22

elf

A Common Lisp library for manipulating ELF files
Common Lisp
7
star
23

pylint-sarif

Python
6
star
24

gtirb-search-reduce

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

cl-capstone

Common Lisp bindings for the Capstone disassembler
Common Lisp
5
star
26

stefil-

Common Lisp
5
star
27

github-sarif-integration

Python
5
star
28

gtirb-functions

C++
4
star
29

cl-make

Makefile
3
star
30

vscode-codesonar

CodeSonar extension for Visual Studio Code
TypeScript
2
star
31

postfix-docker

Shell
2
star
32

j8-tests

Java
1
star
33

rebloat

1
star
34

gtirb-types

Python
1
star