Alternatives and similar repositories for Compiler-DFA-SSA:

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

• 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
• 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
• grievejia / LLVMDynamicTools
  An LLVM interpreter that aims to compute points-to sets dynamically
  ☆31Updated 10 years ago
• paschalis-mpeis / android-llvm
  Experimental LLVM backend for Android applications (HGraph IR-to-IR translation).
  ☆23Updated 2 years ago
• pfalcon / graph-llvm-ir
  Visualization of LLVM IR
  ☆60Updated 11 years ago
• tracer-x / TracerX
  TracerX Symbolic Virtual Machine
  ☆33Updated last week
• wcphkust / tutorialpass
  LLVM pass
  ☆23Updated 4 years ago
• ShiftLeftSecurity / llvm2cpg
  LLVM meets Code Property Graphs
  ☆91Updated 4 years ago
• JianpingZeng / xcc-project
  The C/C++/Fortran compiler collection written in Java
  ☆36Updated 3 years ago
• GaloisInc / llvm-pretty-bc-parser
  Parser for the llvm bitcode format
  ☆59Updated last month
• m4p1e / PLT-notes
  The notes about programming language theory
  ☆24Updated 2 years ago
• sheredom / llvm_bc_parsing_example
  An LLVM bitcode parsing example
  ☆55Updated 5 years ago
• caps-tum / dbrew
  A library for dynamic binary rewriting
  ☆57Updated 4 years ago
• SRI-CSL / llvm2smt
  Experimental translation of llvm to smt.
  ☆56Updated 5 years ago
• dwat3r / slicer
  Slicing tool for c++ programs using clang AST.
  ☆17Updated 4 years ago
• bjhua / dragon
  A simple SSA-based compiler.
  ☆16Updated last year
• static-analysis-engineering / codehawk
  CodeHawk Abstract Interpretation Engine and Analyzers
  ☆67Updated last week
• evilpan / dataflow-pass
  A LLVM Pass with runtime dataflow sanitization
  ☆32Updated 6 years ago
• seahorn / llvm-dsa
  LLVM DSA fork for SeaHorn
  ☆21Updated 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…
  ☆27Updated 3 years ago
• petablox / cis573vm
  ☆8Updated 5 years ago
• finixbit / ltrace
  Simple Library calls tracer
  ☆22Updated 7 years ago
• mull-project / libirm
  Low-level IR mutations for LLVM Bitcode
  ☆38Updated last year
• codelion / pa.llvm
  Program Analysis for LLVM
  ☆36Updated 8 years ago
• insufficiently-caffeinated / caffeine
  A symbolic execution engine for LLVM IR
  ☆51Updated 3 years ago
• zhangjiantao / llvm-cxxapi
  Resurrected LLVM "Cpp Backend", rebuild as a LLVM tool, with better compatibility and readability.
  ☆68Updated 2 years ago
• haoxintu / FastKLEE
  FastKLEE: Faster Symbolic Execution via Reducing Redundant Bound Checking of Type-Safe Pointers
  ☆20Updated last year
• ISRC-CAS / PLCT-OpenDay-2020
  PLCT实验室2020年开放日活动的演讲资料
  ☆13Updated 4 years ago
• USECAP / dream-ida
  ☆10Updated 6 years ago