GrammaTech/trace-db

Stars
11
Rank 1,694,829 (Top 34 %)
Language
C
License
Other
Created almost 7 years ago
Updated over 1 year ago

GrammaTech/trace-db

GrammaTech

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

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

ddisasm

A fast and accurate disassembler

gtirb

Intermediate Representation for Binary analysis and transformation

sel

Programmatic modification and evaluation of software

retypd

clang-mutate

Manipulate C-family ASTs with Clang

gtirb-pprinter

Pretty printer from GTIRB to assembly code

resolve

Resolve software differencing and merging

gtirb-stack-stamp

Apply ROP protection to a binary using binary rewriting with GTIRB

retypd-ghidra-plugin

Retypd plugin for Ghidra reverse engineering framework from NSA

swap-detector

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

cl-utils

GrammaTech Common Lisp Utilities

cl-smt-lib

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

gtirb-rewriting

Python API for rewriting GTIRB files

cgc-cbs

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

functional-trees

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

mc-asm

Assemble code to bytes using LLVM's MC layer

gtirb-ddisasm-retypd

gtirb-ghidra-plugin

Ghidra plugin to handle GTIRB files

gtirb-vscode

gtirb-capstone

elf

A Common Lisp library for manipulating ELF files

pylint-sarif

gtirb-search-reduce

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

cl-capstone

Common Lisp bindings for the Capstone disassembler

stefil-

github-sarif-integration

gtirb-functions

cl-make

grammatech.github.io

GrammaTech Research on GitHub

vscode-codesonar

CodeSonar extension for Visual Studio Code

postfix-docker

j8-tests

rebloat

gtirb-types