Alternatives and similar repositories for examples

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

• Kazhuu / asm2cfg
  Python command-line tool and GDB extension to view and save x86, ARM and objdump assembly files as control-flow graph (CFG) pdf files
  ☆82Updated last year
• caps-tum / dbrew
  A library for dynamic binary rewriting
  ☆58Updated 4 years ago
• cali-library-isolation / Cali-library-isolation
  ☆16Updated 3 years ago
• blitz / baresifter
  A bare-metal x86 instruction set fuzzer a la Sandsifter
  ☆73Updated last year
• abenkhadra / bcov
  Static instrumentation tool for efficient binary-level coverage analysis.
  ☆151Updated 5 years ago
• binsec / klee21-tina-artifact
  TInA is an automated, generic, verification-friendly and trustworthy lifting technique turning GNU-style inline assembly into semanticall…
  ☆29Updated 4 years ago
• bwickman97 / ffmalloc
  ☆52Updated 3 years ago
• mars-research / lvd-bflank
  ☆12Updated 3 years ago
• vusec / deltapointers
  Delta Pointers: Buffer Overflow Checks Without the Checks (EuroSys'18)
  ☆56Updated 3 years ago
• mxz297 / dyninst-tools
  A collection of command-line tools based on Dyninst
  ☆17Updated 4 years ago
• piyus / btkernel
  Fast Binary Translator for the Kernel
  ☆28Updated 12 years ago
• HexHive / mitiGate
  Benchmark to test different stop the exploit mitigations
  ☆18Updated 7 years ago
• novafacing / libc-fuzzer
  A fuzzer setup to fuzz libc functions.
  ☆16Updated 3 years ago
• SoftSec-KAIST / SURI
  Towards Sound Reassembly of Modern x86-64 Binaries (ASPLOS'25)
  ☆18Updated 9 months ago
• B2R2-org / FunSeeker
  FunSeeker: Binary Function Identification Tool
  ☆26Updated 2 years ago
• vusec / floatzone
  ☆70Updated last year
• tudasc / TypeART
  LLVM-based type and memory allocation tracking sanitizer
  ☆56Updated last month
• GJDuck / e9syscall
  A system call interception tool
  ☆57Updated last year
• TUD-OS / libelkvm
  A library that allows execution of an ELF binary inside a virtual machine without a full-scale operating system
  ☆23Updated 10 years ago
• tudasc / MetaCG
  MetaCG offers an annotated whole program call-graph tool for Clang/LLVM.
  ☆50Updated last week
• hasanmdme / decap
  This tool set can generate required capabilities for binaries. A system call to capability mapping is used to assign capability to the bi…
  ☆14Updated 3 years ago
• aengelke / binopt
  A binary optimization/specialization library supporting multiple rewriters
  ☆119Updated 4 years ago
• trailofbits / bpf_tutorials_code
  This repository contains the companion code from the "All your tracing are belong to BPF" blog posts
  ☆19Updated 2 years ago
• kcfi / kcfi
  Control-Flow Integrity implementation for the Linux Kernel 3.19
  ☆22Updated 5 years ago
• lifting-bits / dds
  Dr. Disassembler
  ☆37Updated 4 years ago
• tinyvmi / tinyvmi
  LibVMI in MiniOS
  ☆12Updated 4 years ago
• cispa / Microarchitectural-Hash-Function-Recovery
  Proof-of-concept implementation for the paper "Efficient and Generic Microarchitectural Hash-Function Recovery" (IEEE S&P 2024)
  ☆31Updated 2 years ago
• season-lab / sok-dbi-security
  Library to hide DBI artifacts when using Intel Pin. Code from the ASIA CCS 2019 paper "SoK: Using Dynamic Binary Instrumentation for Secu…
  ☆23Updated 6 years ago
• ShiftLeftSecurity / llvm2cpg
  LLVM meets Code Property Graphs
  ☆96Updated 4 years ago
• petablox / popl2020-tutorial
  Tutorial for Building Program Reasoning Tools using LLVM and Z3
  ☆19Updated 6 years ago