Alternatives and similar repositories for GF2

Users that are interested in GF2 are comparing it to the libraries listed below

• eix128 / MCSemaWindows
  MCSema Build Windows download
  ☆11Updated 4 years ago
• Baltoli / accsynt
  Program synthesis tools and utilities for LLVM.
  ☆20Updated last year
• davidhildenbrand / drob
  DROB (Dynamic Rewriter and Optimizer of Binary code)
  ☆25Updated 5 years ago
• can-lehmann / egraphs.cpp
  E-Graph library
  ☆14Updated last year
• rbran / sleigh3rust
  A demontration of disassemblers generated by sleigh2rust
  ☆13Updated 7 months ago
• crackinglandia / pylibelf
  A pure Python library to parse ELF files.
  ☆15Updated 11 years ago
• petablox / popl2020-tutorial
  Tutorial for Building Program Reasoning Tools using LLVM and Z3
  ☆19Updated 5 years ago
• ArashPartow / galois
  C++ Galois Finite Field Arithmetic Library https://www.partow.net/projects/galois/index.html
  ☆8Updated 3 years ago
• linuxthor / iamdynamic
  Linux assembly language minimal 'dynamic ELF' example plus experiments
  ☆25Updated 5 years ago
• relyze-ltd / LibTCGTranslate
  A library to translate native code for multiple architectures into Tiny Code Generator (TCG) based intermediate representation (IR), base…
  ☆47Updated 5 years ago
• honeybadger1613 / etm_displayer
  IDA Pro плагин для отображения результата Coresight ETM трассировки perf'а
  ☆17Updated 6 years ago
• LL-MM / approxis-groundtruth
  ☆31Updated 4 years ago
• ROPilicious / src
  This is the source of our Return Oriented Programming tool.
  ☆15Updated 5 years ago
• mrexodia / cxx-common-cmake
  Experiment building lifting-bits dependencies with pure CMake. Migrated to:
  ☆22Updated 8 months ago
• securesystemslab / multicompiler-clang
  LLVM-based compiler to create artificial software diversity to protect software from code-reuse attacks.
  ☆18Updated 6 years ago
• dwuid / chenxification
  Exemplary LLVM function pass implementing Control Flow Flattening.
  ☆17Updated 7 years ago
• jwmullally / libdis_cfg
  A Control Flow Graph basic block generator for use with the libdisasm x86 disassembler, written in C.
  ☆10Updated 13 years ago
• pr701 / idb3
  Library for reading IDA Pro databases.
  ☆26Updated 4 years ago
• wisk / fw2elf
  Convert a raw firmware image to an ELF file.
  ☆14Updated 6 years ago
• revng / demos
  The rev.ng demos
  ☆10Updated 7 months ago
• astrelsky / InheritanceTests
  Code for analyzing cpp inheritance
  ☆12Updated 3 years ago
• avast / capstone-dumper
  Utility for dumping all the information Capstone has on given instructions.
  ☆23Updated 3 years ago
• sergeybratus / RE-basics-W22
  Basics of Reverse Engineering Winter 2022
  ☆26Updated 3 years ago
• Vector35 / function_detection_test_suite
  suite of binaries used to test function identification
  ☆29Updated 7 years ago
• williballenthin / ida-settings
  Fetch and set configuration values from IDAPython scripts
  ☆22Updated 4 years ago
• chjs / mmio-tracer
  It is a tool to analyze the pattern of memory mapped file I/O using Intel pin.
  ☆19Updated 7 years ago
• Baldanos / cortex-m-antidebug
  ☆18Updated 4 years ago
• LLVMParty / llvm-headers
  Easily search LLVM headers for all major versions!
  ☆19Updated 4 months ago
• heyitsanthony / vexllvm
  Decode machine code into VEX IR and translate into LLVM IR
  ☆28Updated 6 years ago
• markusa4 / dejavu
  fast probabilistic symmetry detection on graphs
  ☆15Updated this week