GrammaTech

All

49 repositories

functional-trees
Public
Tree data structure supporting functional manipulation. Works closely with FSet.
Common Lisp
•
MIT License
•1•14•1•0•Updated Jan 31, 2025Jan 31, 2025
ddisasm
Public
A fast and accurate disassembler
analysis binary reverse-engineering disassembler binary-analysis intermediate-representation binary-rewriting gtirb
C++
•
GNU Affero General Public License v3.0
•63•683•26•2•Updated Jan 30, 2025Jan 30, 2025
sel
Public
Programmatic modification and evaluation of software
program-synthesis software-engineering source-code evolutionary-computation
Common Lisp
•
Other
•22•173•6•0•Updated Jan 28, 2025Jan 28, 2025
gtirb-pprinter
Public
Pretty printer from GTIRB to assembly code
analysis binary reverse-engineering disassembler binary-analysis intermediate-representation binary-rewriting gtirb
C++
•
MIT License
•11•48•3•0•Updated Jan 28, 2025Jan 28, 2025
gtirb
Public
Intermediate Representation for Binary analysis and transformation
binary reverse-engineering disassembler binary-analysis intermediate-representation binary-rewriting gtirb analysis
C++
•
Other
•38•323•11•2•Updated Jan 24, 2025Jan 24, 2025
D-ARM
Public
Python
•
GNU General Public License v3.0
•2•0•0•0•Updated Oct 24, 2024Oct 24, 2024
gtirb-rewriting
Public
Python API for rewriting GTIRB files
Python
•
GNU General Public License v3.0
•3•18•10•0•Updated Oct 23, 2024Oct 23, 2024
x86-sok
Public
C++
•21•1•0•0•Updated Sep 24, 2024Sep 24, 2024
cl-utils
Public
GrammaTech Common Lisp Utilities
Common Lisp
•
MIT License
•3•18•0•0•Updated Aug 23, 2024Aug 23, 2024
capstone
Public
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.
C
•
Other
•1.6k•3•0•2•Updated May 1, 2024May 1, 2024
libehp
Public
fork of https://git.zephyr-software.com/opensrc/libehp
C++
•
Apache License 2.0
•6•1•0•1•Updated Apr 23, 2024Apr 23, 2024
retypd
Public
Python
•
GNU General Public License v3.0
•5•69•2•1•Updated Jan 14, 2024Jan 14, 2024
grammatech.github.io
Public
GrammaTech Research on GitHub
TeX
•1•2•0•0•Updated Nov 17, 2023Nov 17, 2023
mc-asm
Public
Assemble code to bytes using LLVM's MC layer
assembly llvm machine-code gtirb
C++
•
MIT License
•4•15•0•0•Updated Oct 12, 2023Oct 12, 2023
gtirb-capstone
Public
Python
•
MIT License
•1•8•0•0•Updated Sep 21, 2023Sep 21, 2023
gtirb-ghidra-plugin
Public
Ghidra plugin to handle GTIRB files
reverse-engineering disassembler software-analysis binary-analysis intermediate-representation binary-rewriting gtirb
Java
•
MIT License
•3•12•1•0•Updated Jul 13, 2023Jul 13, 2023
retypd-ghidra-plugin
Public
Retypd plugin for Ghidra reverse engineering framework from NSA
reverse-engineering binary-analysis type-analysis
Java
•
GNU General Public License v3.0
•3•22•0•0•Updated Jul 6, 2023Jul 6, 2023
gtirb-vscode
Public
Python
•
Other
•1•7•2•0•Updated Jun 27, 2023Jun 27, 2023
trace-db
Public
Writing, reading, storing, and searching of program traces (source and binary)
C
•
Other
•0•11•1•0•Updated Jun 15, 2023Jun 15, 2023
pylint-sarif
Public
pylint sarif
Python
•
MIT License
•4•6•0•0•Updated May 7, 2023May 7, 2023
gtirb-greybox-binaries-FuzzBench
Public
FuzzBench - Fuzzer benchmarking as a service.
Python
•
Apache License 2.0
•278•0•0•0•Updated Mar 6, 2023Mar 6, 2023
gtirb-stack-stamp
Public
Apply ROP protection to a binary using binary rewriting with GTIRB
analysis binary reverse-engineering rop binary-rewriting gtirb binary-hardening stack-stamping
C++
•
MIT License
•3•32•0•0•Updated Mar 3, 2023Mar 3, 2023
gtirb-types
Public
Python
•
MIT License
•1•1•0•0•Updated Feb 27, 2023Feb 27, 2023
gtirb-functions
Public
C++
•
MIT License
•0•4•0•0•Updated Feb 27, 2023Feb 27, 2023
gtirb-test-helpers
Public
Python
•
MIT License
•0•0•0•0•Updated Jan 4, 2023Jan 4, 2023
resolve
Public
Resolve software differencing and merging
C++
•
GNU Affero General Public License v3.0
•0•37•0•0•Updated Jul 15, 2022Jul 15, 2022
gtirb-ddisasm-retypd
Public
Python
•
GNU General Public License v3.0
•2•13•0•0•Updated Jun 20, 2022Jun 20, 2022
ghidra
Public
Ghidra is a software reverse engineering (SRE) framework
Java
•
Apache License 2.0
•6.1k•0•0•0•Updated May 12, 2022May 12, 2022
cl-smt-lib
Public
Common Lisp package providing an SMT object supporting SMT-LIB communication over input and output streams
Common Lisp
•
BSD 3-Clause "New" or "Revised" License
•4•18•0•0•Updated Mar 24, 2022Mar 24, 2022
cl-capstone
Public
Common Lisp bindings for the Capstone disassembler
Common Lisp
•
MIT License
•2•6•0•0•Updated Mar 24, 2022Mar 24, 2022