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
• Enna1 / LLVM-Clang-Examples
  A collection of code based on LLVM/Clang compilation libraries and tools
  ☆39Updated 5 years ago
• paschalis-mpeis / android-llvm
  Experimental LLVM backend for Android applications (HGraph IR-to-IR translation).
  ☆23Updated 2 years ago
• sheredom / llvm_bc_parsing_example
  An LLVM bitcode parsing example
  ☆55Updated 5 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
• grievejia / LLVMDynamicTools
  An LLVM interpreter that aims to compute points-to sets dynamically
  ☆32Updated 10 years ago
• wcphkust / tutorialpass
  LLVM pass
  ☆23Updated 5 years ago
• JianpingZeng / xcc-project
  The C/C++/Fortran compiler collection written in Java
  ☆36Updated 4 years ago
• pfalcon / graph-llvm-ir
  Visualization of LLVM IR
  ☆59Updated 11 years ago
• seahorn / llvm-dsa
  LLVM DSA fork for SeaHorn
  ☆21Updated 5 years ago
• xiehuc / llvm-pred
  predicate scientific program performance model using llvm
  ☆28Updated 10 years ago
• repzret / dagger
  Binary Translator to LLVM IR
  ☆49Updated 7 years ago
• bjhua / dragon
  A simple SSA-based compiler.
  ☆16Updated last year
• evilpan / dataflow-pass
  A LLVM Pass with runtime dataflow sanitization
  ☆33Updated 6 years ago
• tracer-x / TracerX
  TracerX Symbolic Virtual Machine
  ☆33Updated last month
• ShiftLeftSecurity / llvm2cpg
  LLVM meets Code Property Graphs
  ☆91Updated 4 years ago
• klee / klee-uclibc
  KLEE's version of uClibc
  ☆53Updated last year
• caps-tum / dbrew
  A library for dynamic binary rewriting
  ☆58Updated 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
• elite-lang / Elite
  ☆27Updated 6 years ago
• GaloisInc / cclyzerpp
  cclyzer++ is a precise and scalable pointer analysis for LLVM code.
  ☆144Updated 4 months ago
• SRI-CSL / llvm2smt
  Experimental translation of llvm to smt.
  ☆56Updated 5 years ago
• static-analysis-engineering / codehawk
  CodeHawk Abstract Interpretation Engine and Analyzers
  ☆69Updated 2 weeks ago
• GaloisInc / llvm-pretty-bc-parser
  Parser for the llvm bitcode format
  ☆59Updated this week
• pwwpche / CSE231-LLVM_Program_Analysis
  Program Analysis framework using LLVM. Course project of Advanced Compiler
  ☆17Updated 8 years ago
• markic / linker-and-loader
  Linker and loader for elf relocatable files. Developed in C for ARM architecture.
  ☆30Updated last year
• finixbit / ltrace
  Simple Library calls tracer
  ☆22Updated 7 years ago
• madhur13490 / LLVM-Metadata-Visualizer
  LLVM Metadata Visualizer
  ☆21Updated 7 years ago
• cojocar / bin2llvm
  A binary to LLVM translator
  ☆148Updated 7 years ago
• petablox / cis573vm
  ☆8Updated 5 years ago