Alternatives and similar repositories for llvmcpy:

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

• utds3lab / multiverse
  A static binary rewriter that does not use heuristics
  ☆302Updated 6 years ago
• GaloisInc / reopt
  A tool for analyzing x86-64 binaries.
  ☆311Updated 3 months ago
• ahmedbougacha / dagger
  Binary Translator to LLVM IR
  ☆215Updated last year
• srg-imperial / SaBRe
  Load-time selective binary rewriting
  ☆155Updated 2 years ago
• lifting-bits / microx
  Safely execute an arbitrary x86 instruction
  ☆178Updated last year
• feliam / pysymemu
  An amd64 symbolic emulator
  ☆313Updated 3 years ago
• draperlaboratory / fracture
  an architecture-independent decompiler to LLVM IR
  ☆388Updated 9 years ago
• neuroo / equip
  Python bytecode instrumentation library
  ☆121Updated 8 years ago
• nunoplopes / alive
  Alive: Automatic LLVM's Instcombine Verifier
  ☆218Updated last year
• staticafi / symbiotic
  Symbiotic is a tool for finding bugs in computer programs based on instrumentation, program slicing and KLEE
  ☆315Updated 2 months ago
• jkinder / jakstab
  The Jakstab static analysis platform for binaries
  ☆158Updated 5 years ago
• S2E / s2e-old
  This is the archived S2E 1.0 repo. We do not maintain it anymore.
  ☆314Updated 4 years ago
• securesystemslab / multicompiler
  LLVM-based compiler to create artificial software diversity to protect software from code-reuse attacks.
  ☆132Updated 6 years ago
• tech-srl / esh
  statistical similarity of binaries (Esh)
  ☆73Updated 8 years ago
• fay59 / fcd
  An optimizing decompiler
  ☆715Updated 3 years ago
• xiw / stack
  A static checker for identifying unstable code.
  ☆361Updated 9 years ago
• ericpony / z3py-tutorial
  ☆144Updated last year
• lifting-bits / rellic
  Rellic produces goto-free C output from LLVM bitcode
  ☆548Updated 5 months ago
• hase-project / hase
  Timeless debugging with symbolic execution and processor trace
  ☆75Updated 4 years ago
• mc-imperial / jfs
  Constraint solver based on coverage-guided fuzzing
  ☆240Updated last year
• seahorn / clam
  Static Analyzer for LLVM bitcode based on Abstract Interpretation
  ☆277Updated 9 months ago
• rcorcs / llvm-heat-printer
  LLVM Profiling Visualization
  ☆84Updated 3 years ago
• thomasjball / PyExZ3
  Python Exploration with Z3
  ☆322Updated 6 years ago
• DRMacIver / structureshrink
  Structured shrinking of unknown file formats
  ☆96Updated 7 years ago
• pfalcon / graph-llvm-ir
  Visualization of LLVM IR
  ☆60Updated 10 years ago
• GrammaTech / gtirb
  Intermediate Representation for Binary analysis and transformation
  ☆323Updated this week
• lifting-bits / anvill
  anvill forges beautiful LLVM bitcode out of raw machine code
  ☆346Updated 5 months ago
• stp / stp
  Simple Theorem Prover, an efficient SMT solver for bitvectors
  ☆534Updated 4 months ago
• seahorn / crab
  A library for building abstract interpretation-based analyses
  ☆236Updated 3 months ago
• StanfordPL / x64asm
  x86-64 assembler library
  ☆479Updated 4 years ago