Alternatives and similar repositories for binopt

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

• novt-vtable-less-compiler / novt-llvm
  NoVT is a compiler-based defense against vtable hijacking in C++ programs. It compiles C++ programs without using vtables.
  ☆50Updated 3 years ago
• tudasc / TypeART
  LLVM-based type and memory allocation tracking sanitizer
  ☆56Updated 2 weeks ago
• caps-tum / dbrew
  A library for dynamic binary rewriting
  ☆58Updated 4 years ago
• trailofbits / binrec-tob
  BinRec: Dynamic Binary Lifting and Recompilation
  ☆145Updated 2 years ago
• aengelke / instrew
  A high performance LLVM-based dynamic binary instrumentation framework
  ☆283Updated last year
• tudasc / MetaCG
  MetaCG offers an annotated whole program call-graph tool for Clang/LLVM.
  ☆50Updated 2 weeks ago
• aengelke / fadec
  A fast and lightweight decoder for x86 and x86-64 and encoder for x86-64.
  ☆206Updated 2 months ago
• staticafi / llvm2c
  Decompiler of LLVM bitcode to C
  ☆89Updated last month
• trailofbits / pasta
  Peter's Amazing Syntax Tree Analyzer
  ☆133Updated 2 months ago
• lifting-bits / microx
  Safely execute an arbitrary x86 instruction
  ☆203Updated last year
• csl-ugent / diablo
  Diablo is a retargetable link-time binary rewriting framework
  ☆79Updated 5 years ago
• lifting-bits / anvill
  anvill forges beautiful LLVM bitcode out of raw machine code
  ☆362Updated last year
• abenkhadra / bcov
  Static instrumentation tool for efficient binary-level coverage analysis.
  ☆151Updated 4 years ago
• mshockwave / nacro
  A better C/C++ macro extension. Implemented in Clang plugins. Inspired by Rust's macro system
  ☆64Updated 5 years ago
• athre0z / disas-bench
  X86 disassembler benchmark
  ☆66Updated 2 months ago
• insufficiently-caffeinated / caffeine
  A symbolic execution engine for LLVM IR
  ☆51Updated 3 years ago
• revng / vscode-llvm-ir
  VSCode extension for the LLVM IR language
  ☆60Updated last year
• sdasgup3 / binary-decompilation
  Extracting high level semantic information from binary code
  ☆67Updated 6 years ago
• jeremy-rifkin / wyrm
  Wyrm is a GCC GIMPLE to LLVM IR transpiler
  ☆57Updated last year
• eklitzke / demangle
  Tool to demangle C++ symbols.
  ☆58Updated 2 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
• compor / llvm-ir-cmake-utils
  LLVM IR CMake utils for bitcode file manipulation by opt and friends
  ☆74Updated last year
• vusec / floatzone
  ☆70Updated last year
• mshockwave / generator-llvm
  Generate project templates for executables that use LLVM and LLVM passes
  ☆52Updated 3 years ago
• jvstech / float-compare-pass
  Fork of LLVM for demonstrating optimization pass development
  ☆31Updated 2 years ago
• martin-cs / symfpu
  A (concrete or symbolic) implementation of IEEE-754 / SMT-LIB floating-point
  ☆50Updated last month
• kc-ml2 / llvm-flow
  An open-source interactive visualization tool for comparing IR CFGs
  ☆91Updated 5 months ago
• kristerw / smtgcc
  Some experiments with SMT solvers and GIMPLE IR
  ☆79Updated 2 weeks ago
• rimsa / CFGgrind
  A dynamic control flow graph (CFG) reconstruction plugin for valgrind.
  ☆130Updated 5 months ago
• repzret / dagger
  Binary Translator to LLVM IR
  ☆48Updated 8 years ago