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
• grievejia / LLVMDynamicTools
  An LLVM interpreter that aims to compute points-to sets dynamically
  ☆33Updated 10 years ago
• ShiftLeftSecurity / llvm2graphml
  Explore LLVM Bitcode interactively using a graph database
  ☆58Updated 5 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 last week
• stanislaw / LLVM-Cheatsheet
  LLVM, clang, ninja, dyld and others.
  ☆44Updated 5 years ago
• insufficiently-caffeinated / caffeine
  A symbolic execution engine for LLVM IR
  ☆51Updated 3 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
• quarkslab / llvm-passes
  Collection of various llvm passes
  ☆128Updated 10 years ago
• SRI-CSL / llvm2smt
  Experimental translation of llvm to smt.
  ☆58Updated 5 years ago
• mshockwave / generator-llvm
  Generate project templates for executables that use LLVM and LLVM passes
  ☆52Updated 3 years ago
• sdasgup3 / validating-binary-decompilation
  Scalable Validator for Binary Lifters
  ☆60Updated 5 years ago
• cisco-open / llvm-crash-analyzer
  llvm crash analysis
  ☆44Updated last year
• cojocar / bin2llvm
  A binary to LLVM translator
  ☆149Updated 7 years ago
• pfalcon / graph-llvm-ir
  Visualization of LLVM IR
  ☆59Updated 11 years ago
• travitch / build-bom
  Dynamically discover the commands used to create a piece of software
  ☆57Updated 2 months ago
• sheredom / llvm_bc_parsing_example
  An LLVM bitcode parsing example
  ☆53Updated 5 years ago
• Generative-Program-Analysis / GenSym
  A high-performance, parallel, compilation-based symbolic execution engine
  ☆143Updated this week
• regehr / llvm-dataflow-info
  print information from LLVM dataflow analyses
  ☆13Updated 5 years ago
• USECAP / dream
  ☆19Updated 7 years ago
• lief-project / frida-profiler
  Code profiler based on Frida
  ☆32Updated 4 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
• rdadolf / clangtool
  An example LLVM pass which can run automatically in clang.
  ☆38Updated 10 years ago
• tracer-x / TracerX
  TracerX Symbolic Virtual Machine
  ☆32Updated 3 months ago
• madhur13490 / LLVM-Metadata-Visualizer
  LLVM Metadata Visualizer
  ☆21Updated 8 years ago
• KennethAdamMiller / superset_disassembler
  Disassemblers with various trimming methodologies
  ☆15Updated 11 months ago
• season-lab / fuzzy-sat
  An approximate solver for concolic execution
  ☆20Updated 7 months ago
• Jakob-Koschel / llvm-passes
  How to use LLVM passes
  ☆36Updated 3 years ago
• falconre / finch
  Symbolic Execution over Falcon IL
  ☆30Updated 4 years ago
• vaivaswatha / debugir
  DebugIR: Debugging LLVM-IR Files
  ☆145Updated last year