Alternatives and similar repositories for Compiler-DFA-SSA

Users that are interested in Compiler-DFA-SSA are comparing it to the libraries listed below

• paschalis-mpeis / android-llvm
  Experimental LLVM backend for Android applications (HGraph IR-to-IR translation).
  ☆24Updated 2 years ago
• flylai / cyx2
  Compiler and VM(interpreter), Using SSA form and doing some optimizations.
  ☆37Updated 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
• wcphkust / tutorialpass
  LLVM pass
  ☆23Updated 5 years ago
• grievejia / LLVMDynamicTools
  An LLVM interpreter that aims to compute points-to sets dynamically
  ☆33Updated 10 years ago
• zhangjiantao / llvm-cxxapi
  Resurrected LLVM "Cpp Backend", rebuild as a LLVM tool, with better compatibility and readability.
  ☆69Updated 3 years ago
• sheredom / llvm_bc_parsing_example
  An LLVM bitcode parsing example
  ☆55Updated 5 years ago
• cisco-open / llvm-crash-analyzer
  llvm crash analysis
  ☆44Updated last year
• pfalcon / graph-llvm-ir
  Visualization of LLVM IR
  ☆60Updated 11 years ago
• caps-tum / dbrew
  A library for dynamic binary rewriting
  ☆58Updated 4 years ago
• madhur13490 / LLVM-Metadata-Visualizer
  LLVM Metadata Visualizer
  ☆21Updated 7 years ago
• tracer-x / TracerX
  TracerX Symbolic Virtual Machine
  ☆33Updated last month
• Enna1 / LLVM-Clang-Examples
  A collection of code based on LLVM/Clang compilation libraries and tools
  ☆39Updated 5 years ago
• JianpingZeng / xcc-project
  The C/C++/Fortran compiler collection written in Java
  ☆36Updated 4 years ago
• ShiftLeftSecurity / llvm2cpg
  LLVM meets Code Property Graphs
  ☆92Updated 4 years ago
• LouisJenkinsCS / LLVM-Simple-GUI
  A GUI written in Java 8 + Swing; Comes with a basic text editor, ability to select optimizations, generate and view CFG, dominator trees …
  ☆14Updated 6 years ago
• xiehuc / llvm-pred
  predicate scientific program performance model using llvm
  ☆29Updated 10 years ago
• finixbit / ltrace
  Simple Library calls tracer
  ☆22Updated 7 years ago
• static-analysis-engineering / codehawk
  CodeHawk Abstract Interpretation Engine and Analyzers
  ☆69Updated this week
• seahorn / llvm-dsa
  LLVM DSA fork for SeaHorn
  ☆21Updated 5 years ago
• dvm-system / tsar
  TSAR (Traits Static AnalyzeR)
  ☆15Updated last year
• 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
• quarkslab / llvm-passes
  Collection of various llvm passes
  ☆124Updated 10 years ago
• evilpan / dataflow-pass
  A LLVM Pass with runtime dataflow sanitization
  ☆33Updated 6 years ago
• vaivaswatha / debugir
  DebugIR: Debugging LLVM-IR Files
  ☆139Updated 7 months ago
• heyitsanthony / vexllvm
  Decode machine code into VEX IR and translate into LLVM IR
  ☆28Updated 6 years ago
• cojocar / bin2llvm
  A binary to LLVM translator
  ☆149Updated 7 years ago
• staticafi / llvm2c
  Decompiler of LLVM bitcode to C
  ☆87Updated last year
• bin2415 / llvm-stack-guard
  简化版本llvm的stackprotector策略，将其包装成一个pass，对程序的stack进行保护
  ☆14Updated 8 years ago
• SRI-CSL / llvm2smt
  Experimental translation of llvm to smt.
  ☆57Updated 5 years ago