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+
  ☆22Updated 5 months ago
• gamozolabs / init
  A super simple /sbin/init for Linux which allows running one and only one program
  ☆28Updated last year
• jameysharp / optir
  Compiler optimizer for arbitrary control flow based on equality saturation
  ☆95Updated 2 years ago
• iximeow / yaxpeax-core
  program analysis for machine code
  ☆35Updated 3 years ago
• trailofbits / macroni
  C and C++ compiler frontend using PASTA to parse code, and VAST to represent the code as MLIR.
  ☆40Updated 7 months ago
• iximeow / yaxpeax-x86
  x86 decoders for the yaxpeax project
  ☆135Updated 8 months ago
• iximeow / yaxpeax-dis
  yaxdis, a small and naive disassembler using yaxpeax decoders
  ☆34Updated 3 weeks ago
• elliottt / easy-smt
  Easy SMT solver interaction
  ☆34Updated 2 weeks ago
• playX18 / asmkit
  Assembler toolkit: encoding and decoding of various architectures
  ☆28Updated 3 months ago
• woodruffw / mollusc
  Pure-Rust libraries for parsing, interpreting, and analyzing LLVM
  ☆80Updated last year
• contificate / lr
  An interactive tool for experimenting with LR(1) grammars
  ☆14Updated 3 years ago
• iximeow / yaxpeax-arm
  arm decoders for the yaxpeax project
  ☆25Updated last month
• iximeow / regmap
  memory-mapped registers for x86_64 systems
  ☆33Updated 3 years ago
• Pebaz / spore
  UEFI Bytecode Disassembler
  ☆61Updated 3 months ago
• bytecodealliance / waffle
  Wasm Analysis Framework For Lightweight Experiments
  ☆42Updated 3 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…
  ☆50Updated 3 weeks ago
• langston-barrett / treereduce
  A fast, parallel, syntax-aware test case reducer based on tree-sitter grammars
  ☆77Updated 3 weeks ago
• libLISA / liblisa
  libLISA: Instruction Discovery and Analysis on x86-64
  ☆105Updated last month
• jeremy-rifkin / wyrm
  Wyrm is a GCC GIMPLE to LLVM IR transpiler
  ☆54Updated last year
• rems-project / linksem
  Semantic model for aspects of ELF static linking and DWARF debug information
  ☆43Updated 3 months ago
• stephenrkell / elftin
  Rag-bag of utilities and scripts that do strange things with ELF files
  ☆17Updated 2 weeks ago
• tekknolagi / ddcg
  Implementation of destination-driven code generation with control destinations. See [post.md](post.md)
  ☆24Updated 4 months ago
• charlottia / hdx
  HDL development environment on Nix.
  ☆26Updated 5 months ago
• mkeeter / ssra
  The Solid-State Register Allocator
  ☆84Updated 2 years ago
• iximeow / yaxpeax-arch
  fundamental traits to describe an architecture in the yaxpeax project
  ☆14Updated 3 weeks ago
• DianaNites / uefi-graphics
  WIP UEFI Display Driver for embedded-graphics
  ☆24Updated 3 years ago
• xfgusta / cexpl
  Command-line tool to interact with Compiler Explorer
  ☆31Updated 2 years ago
• kristerw / smtgcc
  Some experiments with SMT solvers and GIMPLE IR
  ☆73Updated last week
• draperlaboratory / VIBES
  Verified, Incremental, Binary Editing with Synthesis
  ☆54Updated 2 years ago
• h33p / ctti
  Rust compile-time type information experiment
  ☆18Updated 2 years ago