Alternatives and similar repositories for libirm

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

• 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
  ☆34Updated 10 years ago
• ShiftLeftSecurity / llvm2cpg
  LLVM meets Code Property Graphs
  ☆93Updated 4 years ago
• thestr4ng3r / llvm-dbas
  LLVM Assembler adding Debug Information at IR Level.
  ☆33Updated 6 years ago
• mshockwave / generator-llvm
  Generate project templates for executables that use LLVM and LLVM passes
  ☆52Updated 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
• SRI-CSL / llvm2smt
  Experimental translation of llvm to smt.
  ☆57Updated 5 years ago
• cisco-open / llvm-crash-analyzer
  llvm crash analysis
  ☆44Updated last year
• stanislaw / LLVM-Cheatsheet
  LLVM, clang, ninja, dyld and others.
  ☆44Updated 5 years ago
• GaloisInc / llvm-pretty-bc-parser
  Parser for the llvm bitcode format
  ☆59Updated last week
• cojocar / bin2llvm
  A binary to LLVM translator
  ☆149Updated 7 years ago
• rdadolf / clangtool
  An example LLVM pass which can run automatically in clang.
  ☆38Updated 10 years ago
• season-lab / fuzzy-sat
  An approximate solver for concolic execution
  ☆18Updated 3 months ago
• sdasgup3 / validating-binary-decompilation
  Scalable Validator for Binary Lifters
  ☆57Updated 5 years ago
• quarkslab / llvm-passes
  Collection of various llvm passes
  ☆127Updated 10 years ago
• insufficiently-caffeinated / caffeine
  A symbolic execution engine for LLVM IR
  ☆51Updated 3 years ago
• sheredom / llvm_bc_parsing_example
  An LLVM bitcode parsing example
  ☆55Updated 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…
  ☆28Updated 4 years ago
• trailofbits / KRFAnalysis
  Collection of LLVM passes and triage tools for use with the KRF fuzzer
  ☆37Updated 2 years ago
• KennethAdamMiller / superset_disassembler
  Disassemblers with various trimming methodologies
  ☆15Updated 7 months ago
• roddux / fffz
  funky fun fuzzer
  ☆11Updated 4 years ago
• toshipiazza / drcfg
  Dynamic Control Flow Recovery
  ☆24Updated 7 years ago
• madhur13490 / LLVM-Metadata-Visualizer
  LLVM Metadata Visualizer
  ☆21Updated 7 years ago
• Vector35 / arch-arm64
  Aarch64 architecture plugin
  ☆85Updated last year
• falconre / finch
  Symbolic Execution over Falcon IL
  ☆29Updated 3 years ago
• USECAP / dream
  ☆19Updated 6 years ago
• ercoppa / symbolic-execution-tutorial
  Tutorial on Symbolic Execution. Hands-on session is based on the angr framework.
  ☆135Updated 4 years ago
• codelion / pa.llvm
  Program Analysis for LLVM
  ☆38Updated 8 years ago
• staticafi / sbt-instrumentation
  Configurable instrumentation of LLVM bitcode
  ☆34Updated 4 months ago
• tracer-x / TracerX
  TracerX Symbolic Virtual Machine
  ☆33Updated last week