Alternatives and similar repositories for dwarbf:

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

• lorin / futex-tla
  Modeling futexes in TLA+
  ☆20Updated 6 months ago
• woodruffw / mollusc
  Pure-Rust libraries for parsing, interpreting, and analyzing LLVM
  ☆80Updated last year
• gamozolabs / init
  A super simple /sbin/init for Linux which allows running one and only one program
  ☆28Updated last year
• trailofbits / macroni
  C and C++ compiler frontend using PASTA to parse code, and VAST to represent the code as MLIR.
  ☆41Updated 8 months ago
• stephenrkell / elftin
  Rag-bag of utilities and scripts that do strange things with ELF files
  ☆17Updated last month
• bytecodealliance / waffle
  Wasm Analysis Framework For Lightweight Experiments
  ☆46Updated 4 months ago
• mkeeter / ssra
  The Solid-State Register Allocator
  ☆84Updated 2 years ago
• iximeow / yaxpeax-dis
  yaxdis, a small and naive disassembler using yaxpeax decoders
  ☆33Updated last week
• iximeow / yaxpeax-x86
  x86 decoders for the yaxpeax project
  ☆136Updated 9 months ago
• iximeow / yaxpeax-core
  program analysis for machine code
  ☆35Updated 3 years ago
• playX18 / asmkit
  Assembler toolkit: encoding and decoding of various architectures
  ☆30Updated 4 months ago
• jameysharp / optir
  Compiler optimizer for arbitrary control flow based on equality saturation
  ☆97Updated 2 years ago
• pornin / cycle-counter
  ☆22Updated 4 months ago
• kristerw / smtgcc
  Some experiments with SMT solvers and GIMPLE IR
  ☆73Updated this week
• elliottt / easy-smt
  Easy SMT solver interaction
  ☆35Updated last month
• iximeow / regmap
  memory-mapped registers for x86_64 systems
  ☆33Updated 3 years ago
• ejrgilbert / whamm
  Debugging WebAssembly? Put some Whamm! on it.
  ☆27Updated last week
• libLISA / liblisa
  libLISA: Instruction Discovery and Analysis on x86-64
  ☆112Updated 2 months ago
• tekknolagi / ddcg
  Implementation of destination-driven code generation with control destinations. See [post.md](post.md)
  ☆24Updated 5 months ago
• langston-barrett / treereduce
  A fast, parallel, syntax-aware test case reducer based on tree-sitter grammars
  ☆78Updated 3 weeks ago
• iximeow / yaxpeax-arch
  fundamental traits to describe an architecture in the yaxpeax project
  ☆14Updated last month
• Rexicon226 / zob
  Zig Optimizing Backend
  ☆13Updated last week
• gamozolabs / rv32i_jit
  A super simple RV32i JIT, designed for ease of understanding and modification
  ☆84Updated 2 years ago
• annacrombie / meson-raytracer
  ☆50Updated 2 years ago
• clflushopt / coldbrew
  Tracing JIT compiler and runtime for a subset of the JVM
  ☆24Updated last year
• shacron / sled
  Sled System Emulator
  ☆28Updated 2 months ago
• cfallin / waffle
  ☆58Updated 7 months ago
• whitequark / superlinker
  a tool for reinterpreting ELF executables and shared libraries
  ☆317Updated 5 months ago
• AmrDeveloper / LLQL
  LLQL is a tool that allow you to run SQL-like query with Pattern matching functions inspired by LLVM InstCombine Pattern Matchers on LLVM…
  ☆52Updated this week
• draperlaboratory / VIBES
  Verified, Incremental, Binary Editing with Synthesis
  ☆54Updated 2 years ago