Alternatives and similar repositories for binopt

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

• caps-tum / dbrew
  A library for dynamic binary rewriting
  ☆58Updated 4 years ago
• 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 2 years ago
• aengelke / instrew
  A high performance LLVM-based dynamic binary instrumentation framework
  ☆264Updated 11 months ago
• trailofbits / binrec-tob
  BinRec: Dynamic Binary Lifting and Recompilation
  ☆137Updated last year
• lifting-bits / anvill
  anvill forges beautiful LLVM bitcode out of raw machine code
  ☆350Updated 8 months ago
• repzret / dagger
  Binary Translator to LLVM IR
  ☆49Updated 7 years ago
• tudasc / TypeART
  LLVM-based type and memory allocation tracking sanitizer
  ☆53Updated last week
• mshockwave / nacro
  A better C/C++ macro extension. Implemented in Clang plugins. Inspired by Rust's macro system
  ☆65Updated 4 years ago
• compor / llvm-ir-cmake-utils
  LLVM IR CMake utils for bitcode file manipulation by opt and friends
  ☆72Updated 5 months ago
• aengelke / fadec
  A fast and lightweight decoder for x86 and x86-64 and encoder for x86-64.
  ☆183Updated 3 weeks ago
• compiler-tree-technologies / cil
  Generates CIL MLIR dialect from C/C++ source.
  ☆32Updated 4 years ago
• aengelke / rellume
  Lift machine code to performant LLVM IR
  ☆431Updated 11 months ago
• abenkhadra / bcov
  Static instrumentation tool for efficient binary-level coverage analysis.
  ☆146Updated 4 years ago
• vusec / deltapointers
  Delta Pointers: Buffer Overflow Checks Without the Checks (EuroSys'18)
  ☆54Updated 3 years ago
• lifting-bits / microx
  Safely execute an arbitrary x86 instruction
  ☆179Updated last year
• kristerw / smtgcc
  Some experiments with SMT solvers and GIMPLE IR
  ☆74Updated last week
• trailofbits / pasta
  Peter's Amazing Syntax Tree Analyzer
  ☆131Updated 8 months ago
• GaloisInc / cclyzerpp
  cclyzer++ is a precise and scalable pointer analysis for LLVM code.
  ☆144Updated 4 months ago
• jvstech / float-compare-pass
  Fork of LLVM for demonstrating optimization pass development
  ☆30Updated 2 years ago
• stephenrkell / libdlbind
  Dynamic creation and update of ELF files, or: an allocator for JIT compilers
  ☆33Updated last year
• mshockwave / generator-llvm
  Generate project templates for executables that use LLVM and LLVM passes
  ☆52Updated 3 years ago
• vusec / floatzone
  ☆70Updated 10 months ago
• 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
  ☆76Updated last year
• rimsa / CFGgrind
  A dynamic control flow graph (CFG) reconstruction plugin for valgrind.
  ☆121Updated last month
• insufficiently-caffeinated / caffeine
  A symbolic execution engine for LLVM IR
  ☆51Updated 3 years ago
• regehr / llvm-dataflow-info
  print information from LLVM dataflow analyses
  ☆13Updated 5 years ago
• yugr / SymbolHider
  A tool which hides symbols exported from shared libraries or relocatable object files
  ☆36Updated 2 years ago
• staticafi / llvm2c
  Decompiler of LLVM bitcode to C
  ☆86Updated last year
• GJDuck / EffectiveSan
  Runtime type and bounds-error checking for C/C++
  ☆103Updated 5 months ago
• lifting-bits / gap
  A utility library to bridge llvm and mlir gaps.
  ☆13Updated 4 months ago