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.
  ☆36Updated 3 years ago
• paschalis-mpeis / android-llvm
  Experimental LLVM backend for Android applications (HGraph IR-to-IR translation).
  ☆23Updated 2 years ago
• Enna1 / LLVM-Clang-Examples
  A collection of code based on LLVM/Clang compilation libraries and tools
  ☆39Updated 5 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 5 years ago
• repzret / dagger
  Binary Translator to LLVM IR
  ☆48Updated 7 years ago
• JACKIEZHAOKAI / CSE231_LLVM_Compiler_Opt
  LLVM dataflow analysis framework; Reaching Definition Analysis; Liveness Analysis, May-point-to Definition Analysis ; inter-procedural m…
  ☆25Updated 5 years ago
• ShiftLeftSecurity / llvm2cpg
  LLVM meets Code Property Graphs
  ☆91Updated 4 years ago
• sheredom / llvm_bc_parsing_example
  An LLVM bitcode parsing example
  ☆55Updated 5 years ago
• JianpingZeng / xcc-project
  The C/C++/Fortran compiler collection written in Java
  ☆36Updated 3 years ago
• wcphkust / tutorialpass
  LLVM pass
  ☆23Updated 4 years ago
• dwat3r / slicer
  Slicing tool for c++ programs using clang AST.
  ☆17Updated 4 years ago
• seahorn / llvm-dsa
  LLVM DSA fork for SeaHorn
  ☆21Updated 5 years ago
• bjhua / dragon
  A simple SSA-based compiler.
  ☆16Updated 11 months ago
• finixbit / ltrace
  Simple Library calls tracer
  ☆22Updated 7 years ago
• petablox / cis573vm
  ☆8Updated 5 years ago
• klee / klee-uclibc
  KLEE's version of uClibc
  ☆52Updated 10 months ago
• m4p1e / PLT-notes
  The notes about programming language theory
  ☆24Updated last year
• tracer-x / TracerX
  TracerX Symbolic Virtual Machine
  ☆33Updated 3 weeks ago
• pfalcon / graph-llvm-ir
  Visualization of LLVM IR
  ☆60Updated 10 years ago
• caps-tum / dbrew
  A library for dynamic binary rewriting
  ☆57Updated 4 years ago
• GaloisInc / cclyzerpp
  cclyzer++ is a precise and scalable pointer analysis for LLVM code.
  ☆141Updated 2 months ago
• static-analysis-engineering / codehawk
  CodeHawk Abstract Interpretation Engine and Analyzers
  ☆67Updated 2 weeks ago
• grievejia / LLVMDynamicTools
  An LLVM interpreter that aims to compute points-to sets dynamically
  ☆31Updated 10 years ago
• SRI-CSL / llvm2smt
  Experimental translation of llvm to smt.
  ☆56Updated 5 years ago
• quarkslab / llvm-passes
  Collection of various llvm passes
  ☆119Updated 9 years ago
• zhangjiantao / llvm-cxxapi
  Resurrected LLVM "Cpp Backend", rebuild as a LLVM tool, with better compatibility and readability.
  ☆68Updated 2 years ago
• elite-lang / Elite
  ☆26Updated 6 years ago
• xiehuc / llvm-pred
  predicate scientific program performance model using llvm
  ☆28Updated 9 years ago
• cisco-open / llvm-crash-analyzer
  llvm crash analysis
  ☆43Updated 9 months ago
• heyitsanthony / vexllvm
  Decode machine code into VEX IR and translate into LLVM IR
  ☆26Updated 5 years ago