GrammaTech
Results
12
repositories owned by
GrammaTech
ddisasm
626
Stars
62
Forks
Watchers
A fast and accurate disassembler
sel
162
Stars
21
Forks
Watchers
Programmatic modification and evaluation of software
gtirb
298
Stars
36
Forks
Watchers
Intermediate Representation for Binary analysis and transformation
cl-smt-lib
17
Stars
4
Forks
Watchers
Common Lisp package providing an SMT object supporting SMT-LIB communication over input and output streams
gtirb-pprinter
47
Stars
10
Forks
Watchers
Pretty printer from GTIRB to assembly code
swap-detector
20
Stars
3
Forks
Watchers
A library for detecting swapped arguments in function calls, and a Clang Static Analyzer plugin used to demonstrate the library.