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 2 years ago
• caps-tum / dbrew
  A library for dynamic binary rewriting
  ☆58Updated 4 years ago
• tudasc / MetaCG
  MetaCG offers an annotated whole program call-graph tool for Clang/LLVM.
  ☆47Updated this week
• tudasc / TypeART
  LLVM-based type and memory allocation tracking sanitizer
  ☆53Updated last month
• aengelke / instrew
  A high performance LLVM-based dynamic binary instrumentation framework
  ☆268Updated last year
• lifting-bits / microx
  Safely execute an arbitrary x86 instruction
  ☆180Updated last year
• trailofbits / binrec-tob
  BinRec: Dynamic Binary Lifting and Recompilation
  ☆140Updated last year
• csl-ugent / diablo
  Diablo is a retargetable link-time binary rewriting framework
  ☆78Updated 4 years ago
• aengelke / fadec
  A fast and lightweight decoder for x86 and x86-64 and encoder for x86-64.
  ☆187Updated 2 months ago
• compiler-tree-technologies / cil
  Generates CIL MLIR dialect from C/C++ source.
  ☆34Updated 4 years ago
• staticafi / llvm2c
  Decompiler of LLVM bitcode to C
  ☆87Updated last year
• lifting-bits / anvill
  anvill forges beautiful LLVM bitcode out of raw machine code
  ☆352Updated 10 months ago
• binsec / klee21-tina-artifact
  TInA is an automated, generic, verification-friendly and trustworthy lifting technique turning GNU-style inline assembly into semanticall…
  ☆28Updated 4 years 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
  ☆77Updated last year
• aengelke / disarm
  Disarm — Fast AArch64 Decode/Encoder
  ☆41Updated 6 months ago
• trailofbits / pasta
  Peter's Amazing Syntax Tree Analyzer
  ☆131Updated 9 months ago
• mshockwave / nacro
  A better C/C++ macro extension. Implemented in Clang plugins. Inspired by Rust's macro system
  ☆65Updated 5 years ago
• compor / llvm-ir-cmake-utils
  LLVM IR CMake utils for bitcode file manipulation by opt and friends
  ☆74Updated 7 months ago
• yugr / SymbolHider
  A tool which hides symbols exported from shared libraries or relocatable object files
  ☆36Updated 2 years ago
• abenkhadra / bcov
  Static instrumentation tool for efficient binary-level coverage analysis.
  ☆148Updated 4 years ago
• sdasgup3 / binary-decompilation
  Extracting high level semantic information from binary code
  ☆65Updated 6 years ago
• insufficiently-caffeinated / caffeine
  A symbolic execution engine for LLVM IR
  ☆51Updated 3 years ago
• vusec / deltapointers
  Delta Pointers: Buffer Overflow Checks Without the Checks (EuroSys'18)
  ☆54Updated 3 years ago
• blitz / baresifter
  A bare-metal x86 instruction set fuzzer a la Sandsifter
  ☆69Updated last year
• zyantific / zycore-c
  Internal library providing platform independent types, macros and a fallback for environments without LibC.
  ☆104Updated last month
• ssrg-vt / FoxDec
  Formally verified x86-64 decompilation
  ☆40Updated last week
• vusec / floatzone
  ☆70Updated last year
• Bareflank / pal
  The Bareflank Processor Abstraction Layer
  ☆38Updated 2 years ago
• eklitzke / demangle
  Tool to demangle C++ symbols.
  ☆58Updated 2 years ago
• mshockwave / generator-llvm
  Generate project templates for executables that use LLVM and LLVM passes
  ☆52Updated 3 years ago