Alternatives and similar repositories for Compiler-DFA-SSA

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

• 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
• grievejia / LLVMDynamicTools
  An LLVM interpreter that aims to compute points-to sets dynamically
  ☆34Updated 10 years ago
• paschalis-mpeis / android-llvm
  Experimental LLVM backend for Android applications (HGraph IR-to-IR translation).
  ☆24Updated 2 years ago
• sheredom / llvm_bc_parsing_example
  An LLVM bitcode parsing example
  ☆55Updated 5 years ago
• zhangjiantao / llvm-cxxapi
  Resurrected LLVM "Cpp Backend", rebuild as a LLVM tool, with better compatibility and readability.
  ☆69Updated 3 years ago
• tracer-x / TracerX
  TracerX Symbolic Virtual Machine
  ☆33Updated last week
• ShiftLeftSecurity / llvm2cpg
  LLVM meets Code Property Graphs
  ☆93Updated 4 years ago
• JianpingZeng / xcc-project
  The C/C++/Fortran compiler collection written in Java
  ☆36Updated 4 years ago
• caps-tum / dbrew
  A library for dynamic binary rewriting
  ☆58Updated 4 years ago
• Enna1 / LLVM-Clang-Examples
  A collection of code based on LLVM/Clang compilation libraries and tools
  ☆39Updated 5 years ago
• madhur13490 / LLVM-Metadata-Visualizer
  LLVM Metadata Visualizer
  ☆21Updated 7 years ago
• seahorn / llvm-dsa
  LLVM DSA fork for SeaHorn
  ☆21Updated 6 years ago
• static-analysis-engineering / codehawk
  CodeHawk Abstract Interpretation Engine and Analyzers
  ☆69Updated this week
• CAST-projects / Clang-ast-viewer
  Clang AST viewer
  ☆65Updated 8 years ago
• xiehuc / llvm-pred
  predicate scientific program performance model using llvm
  ☆29Updated 10 years ago
• chengpeng-wang / tutorialpass
  LLVM pass
  ☆24Updated 5 years ago
• cojocar / bin2llvm
  A binary to LLVM translator
  ☆149Updated 7 years ago
• S2E / libtcg
  Tiny Code Generator Library
  ☆46Updated 4 years ago
• finixbit / ltrace
  Simple Library calls tracer
  ☆22Updated 7 years ago
• haoxintu / FastKLEE
  FastKLEE: Faster Symbolic Execution via Reducing Redundant Bound Checking of Type-Safe Pointers
  ☆21Updated 2 years ago
• USECAP / dream-ida
  ☆10Updated 6 years ago
• pfalcon / awesome-program-analysis
  Program Analisys and Transformation survey and links (particular focus on SSA)
  ☆166Updated 4 years ago
• dwat3r / slicer
  Slicing tool for c++ programs using clang AST.
  ☆18Updated 4 years ago
• heyitsanthony / vexllvm
  Decode machine code into VEX IR and translate into LLVM IR
  ☆28Updated 6 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 …
  ☆16Updated 6 years ago
• quarkslab / llvm-passes
  Collection of various llvm passes
  ☆127Updated 10 years ago
• vaivaswatha / debugir
  DebugIR: Debugging LLVM-IR Files
  ☆139Updated 8 months ago
• dvm-system / tsar
  TSAR (Traits Static AnalyzeR)
  ☆15Updated last year
• bin2415 / llvm-stack-guard
  简化版本llvm的stackprotector策略，将其包装成一个pass，对程序的stack进行保护
  ☆14Updated 8 years ago