Alternatives and similar repositories for llvm2cpg:

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

• sdasgup3 / validating-binary-decompilation
  Scalable Validator for Binary Lifters
  ☆55Updated 4 years ago
• insufficiently-caffeinated / caffeine
  A symbolic execution engine for LLVM IR
  ☆51Updated 2 years ago
• evilpan / dataflow-pass
  A LLVM Pass with runtime dataflow sanitization
  ☆32Updated 5 years ago
• ShiftLeftSecurity / llvm2graphml
  Explore LLVM Bitcode interactively using a graph database
  ☆58Updated 5 years ago
• davidtr1037 / chopper
  KLEE / CSE Project
  ☆44Updated 4 years ago
• quarkslab / llvm-passes
  Collection of various llvm passes
  ☆119Updated 9 years ago
• trailofbits / binrec-tob
  BinRec: Dynamic Binary Lifting and Recompilation
  ☆129Updated last year
• angr / ailment
  AIL: The angr Intermediate Language.
  ☆32Updated this week
• bda-tool / bda
  BDA: Practical Dependence Analysis for Binary Executables by Unbiased Whole-program Path Sampling and Per-path Abstract Interpretation
  ☆28Updated 4 years ago
• cisco-open / llvm-crash-analyzer
  llvm crash analysis
  ☆43Updated 8 months ago
• trailofbits / vast-checker
  ☆24Updated last year
• cojocar / bin2llvm
  A binary to LLVM translator
  ☆145Updated 6 years ago
• SRI-CSL / llvm2smt
  Experimental translation of llvm to smt.
  ☆56Updated 4 years ago
• ICSE2020-MemLock / MemLock
  MemLock: Memory Usage Guided Fuzzing
  ☆33Updated 4 years ago
• awen-li / PCA
  A data dependence analyzer for C program
  ☆20Updated 3 years ago
• GaloisInc / cclyzerpp
  cclyzer++ is a precise and scalable pointer analysis for LLVM code.
  ☆139Updated last month
• AFLplusplus / fuzzer-challenges
  Challenging testcases for fuzzers
  ☆69Updated last year
• season-lab / fuzzy-sat
  An approximate solver for concolic execution
  ☆18Updated 3 years ago
• joernio / ghidra2cpg
  Code Property Graph (CPG) frontend for binary applications and libraries.
  ☆87Updated 3 years ago
• fuzzm / fuzzm-project
  ☆28Updated 3 years ago
• atos-tools / qemu-plugins-tutorial
  Tutorial to write qemu plugins
  ☆31Updated 7 years ago
• valour01 / arm_disasssembler_study
  This is the repository for paper "An Empirical Study on ARM Disassembly Tools" accepted to ISSTA 2020
  ☆62Updated last year
• ispras / juliet-dynamic
  Juliet C/C++ Dynamic Test Suite
  ☆28Updated last year
• parasol-aser / UFO
  UFO: Predictive Detection of Concurrency Use-After-Free Vulnerabilities
  ☆32Updated 5 years ago
• HexHive / datAFLow
  A data-flow-guided fuzzer
  ☆119Updated last year
• GrammaTech / gtirb-pprinter
  Pretty printer from GTIRB to assembly code
  ☆48Updated last week
• lifting-bits / klee
  KLEE Symbolic Execution Engine
  ☆60Updated 5 years ago
• R-Fuzz / symsan
  A LLVM Sanitizer for Symbolic Tracing
  ☆217Updated 6 months ago
• staticafi / sbt-instrumentation
  Configurable instrumentation of LLVM bitcode
  ☆33Updated last month
• nyx-fuzz / spec-fuzzer
  ☆42Updated 2 years ago