Alternatives and similar repositories for libirm

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

• ShiftLeftSecurity / llvm2cpg
  LLVM meets Code Property Graphs
  ☆96Updated 4 years ago
• ShiftLeftSecurity / llvm2graphml
  Explore LLVM Bitcode interactively using a graph database
  ☆58Updated 5 years ago
• grievejia / LLVMDynamicTools
  An LLVM interpreter that aims to compute points-to sets dynamically
  ☆33Updated 11 years ago
• JACKIEZHAOKAI / CSE231_LLVM_Compiler_Opt
  LLVM dataflow analysis framework; Reaching Definition Analysis; Liveness Analysis, May-point-to Definition Analysis ; inter-procedural m…
  ☆26Updated 5 years ago
• mshockwave / generator-llvm
  Generate project templates for executables that use LLVM and LLVM passes
  ☆52Updated 3 years ago
• thestr4ng3r / llvm-dbas
  LLVM Assembler adding Debug Information at IR Level.
  ☆33Updated 7 years ago
• GaloisInc / llvm-pretty-bc-parser
  Parser for the llvm bitcode format
  ☆60Updated this week
• insufficiently-caffeinated / caffeine
  A symbolic execution engine for LLVM IR
  ☆51Updated 3 years ago
• stanislaw / LLVM-Cheatsheet
  LLVM, clang, ninja, dyld and others.
  ☆44Updated 5 years ago
• SRI-CSL / llvm2smt
  Experimental translation of llvm to smt.
  ☆58Updated 5 years ago
• quarkslab / llvm-passes
  Collection of various llvm passes
  ☆129Updated 10 years ago
• cojocar / bin2llvm
  A binary to LLVM translator
  ☆150Updated 7 years ago
• roddux / fffz
  funky fun fuzzer
  ☆11Updated 4 years ago
• USECAP / dream
  ☆20Updated 7 years ago
• cisco-open / llvm-crash-analyzer
  llvm crash analysis
  ☆44Updated last year
• sdasgup3 / validating-binary-decompilation
  Scalable Validator for Binary Lifters
  ☆61Updated 5 years ago
• season-lab / fuzzy-sat
  An approximate solver for concolic execution
  ☆21Updated 8 months ago
• trailofbits / KRFAnalysis
  Collection of LLVM passes and triage tools for use with the KRF fuzzer
  ☆37Updated 3 years ago
• Vector35 / arch-arm64
  Aarch64 architecture plugin
  ☆85Updated last year
• Jakob-Koschel / llvm-passes
  How to use LLVM passes
  ☆36Updated 3 years ago
• falconre / finch
  Symbolic Execution over Falcon IL
  ☆30Updated 4 years ago
• regehr / llvm-dataflow-info
  print information from LLVM dataflow analyses
  ☆13Updated 5 years ago
• freeCompilerCamp / code-for-llvm-tutorials
  We try to put source files of llvm tutorials here
  ☆18Updated 5 years ago
• vaivaswatha / debugir
  DebugIR: Debugging LLVM-IR Files
  ☆145Updated last year
• sheredom / llvm_bc_parsing_example
  An LLVM bitcode parsing example
  ☆53Updated 5 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
• Generative-Program-Analysis / GenSym
  A high-performance, parallel, compilation-based symbolic execution engine
  ☆143Updated 3 weeks ago
• sampsyo / llvm-ei
  extensible interpreter for LLVM dynamic analyses
  ☆45Updated 12 years ago
• tracer-x / TracerX
  TracerX Symbolic Virtual Machine
  ☆32Updated 3 months ago
• toshipiazza / drcfg
  Dynamic Control Flow Recovery
  ☆25Updated 7 years ago