Alternatives and similar repositories for libirm

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

• grievejia / LLVMDynamicTools
  An LLVM interpreter that aims to compute points-to sets dynamically
  ☆33Updated 11 years ago
• ShiftLeftSecurity / llvm2graphml
  Explore LLVM Bitcode interactively using a graph database
  ☆58Updated 5 years ago
• ShiftLeftSecurity / llvm2cpg
  LLVM meets Code Property Graphs
  ☆96Updated 4 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
• regehr / llvm-dataflow-info
  print information from LLVM dataflow analyses
  ☆13Updated 6 years ago
• stanislaw / LLVM-Cheatsheet
  LLVM, clang, ninja, dyld and others.
  ☆44Updated 5 years ago
• sdasgup3 / validating-binary-decompilation
  Scalable Validator for Binary Lifters
  ☆62Updated 5 years ago
• insufficiently-caffeinated / caffeine
  A symbolic execution engine for LLVM IR
  ☆51Updated 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 last week
• cojocar / bin2llvm
  A binary to LLVM translator
  ☆151Updated 7 years ago
• season-lab / fuzzy-sat
  An approximate solver for concolic execution
  ☆21Updated 9 months ago
• quarkslab / llvm-passes
  Collection of various llvm passes
  ☆130Updated 10 years ago
• falconre / finch
  Symbolic Execution over Falcon IL
  ☆30Updated 4 years ago
• uds-se / lFuzzer
  Fuzzing Parsers with Tokens
  ☆33Updated 5 years ago
• cisco-open / llvm-crash-analyzer
  llvm crash analysis
  ☆44Updated last year
• roddux / fffz
  funky fun fuzzer
  ☆11Updated 4 years ago
• MaskRay / picolld
  A stripped-down LLD (LLVM linker)
  ☆30Updated 5 years ago
• SRI-CSL / llvm2smt
  Experimental translation of llvm to smt.
  ☆58Updated 5 years ago
• travitch / build-bom
  Dynamically discover the commands used to create a piece of software
  ☆58Updated 3 months 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
• trailofbits / KRFAnalysis
  Collection of LLVM passes and triage tools for use with the KRF fuzzer
  ☆38Updated 3 years ago
• USECAP / dream
  ☆20Updated 7 years ago
• tracer-x / TracerX
  TracerX Symbolic Virtual Machine
  ☆32Updated 4 months ago
• KennethAdamMiller / superset_disassembler
  Disassemblers with various trimming methodologies
  ☆15Updated last year
• sheredom / llvm_bc_parsing_example
  An LLVM bitcode parsing example
  ☆53Updated 5 years ago
• Vector35 / arch-arm64
  Aarch64 architecture plugin
  ☆85Updated last year
• LL-MM / approxis-groundtruth
  ☆31Updated 5 years ago
• trailofbits / vast-checker
  ☆27Updated 2 years ago