Alternatives and similar repositories for dominators

Users that are interested in dominators are comparing it to the libraries listed below

• regehr / opt-fuzz
  llvm opt fuzzer and bounded exhaustive test generator
  ☆40Updated 2 years ago
• comby-tools / comby-decomposer
  Decompose source code into templates and fragments for any language.
  ☆23Updated 3 years ago
• amishne / llvm-ir-editor
  An LLVM IR Editor plugin for Eclipse
  ☆52Updated 11 years ago
• ishiura-compiler / CF3
  "CF3" is a C compiler test suite targeting arithmetic optimization.
  ☆37Updated 8 years ago
• jcbeyler / wasm-to-llvm-prototype
  s-expression → internal IR → LLVM IR
  ☆46Updated 9 years ago
• emeryberger / dthreads
  dthreads: Efficient Deterministic Multithreading
  ☆52Updated 10 years ago
• geofflangdale / sheng
  A small DFA for under 16 states
  ☆52Updated 7 years ago
• plast-lab / cclyzer
  A tool for analyzing LLVM bitcode using Datalog.
  ☆102Updated 4 years ago
• davidlazar / llvm-semantics
  Formal semantics of LLVM IR in K
  ☆45Updated 10 years ago
• mshockwave / gross
  Research Compiler using Graph IR for Code Optimizations and Code Generations
  ☆50Updated 6 years ago
• google / ohmu
  Compiler intermediate language for static analysis.
  ☆107Updated 6 years ago
• kristerw / pysmtgcc
  Some experiments with SMT solvers and GIMPLE IR
  ☆39Updated last year
• Samsung / mimic
  Synthesizer for JavaScript API models
  ☆18Updated 2 years ago
• sampsyo / llvm-ei
  extensible interpreter for LLVM dynamic analyses
  ☆45Updated 12 years ago
• coreperf / rejit
  fast SIMD-able JIT regular expression compiler
  ☆197Updated 10 years ago
• sfu-arch / llvm-epp
  Efficient Path Profiling using LLVM
  ☆18Updated 7 years ago
• pfalcon / awesome-program-analysis
  Program Analisys and Transformation survey and links (particular focus on SSA)
  ☆165Updated 4 years ago
• parasol-aser / JMCR
  A stateless model checker powered by maximal causality reduction
  ☆38Updated 4 years ago
• liuml07 / giri
  Dynamic Program Slicing in LLVM Compiler
  ☆142Updated 7 years ago
• sampsyo / quala
  custom type systems for Clang
  ☆98Updated 10 years ago
• ispras / quix86
  An x86-64 instruction decoder.
  ☆16Updated last year
• Mrktn / ccg
  CCG is a random C Code Generator
  ☆44Updated 3 years ago
• llir / grammar
  EBNF grammar of LLVM IR assembly.
  ☆65Updated 2 years ago
• facebookarchive / Rseq
  Restartable Sequences: a userspace implementation of cheap per-cpu atomic operations
  ☆37Updated 6 years ago
• ajwijs / GPUexplore
  GPU model checker
  ☆11Updated 6 years ago
• StanfordPL / strata
  Automatic inference of a formal specification of the x86_64 instruction set
  ☆71Updated 9 years ago
• renatahodovan / picireny
  Hierarchical Delta Debugging Framework
  ☆59Updated 2 weeks ago
• pfalcon / ssabook
  Mirror of InriaForge SSABook repository: https://gforge.inria.fr/projects/ssabook/ (was scheduled for retirement at the end of 2020, was …
  ☆142Updated 5 years ago
• nunoplopes / alive
  Alive: Automatic LLVM's Instcombine Verifier
  ☆220Updated 2 years ago
• Samsung / SJS
  SJS is a static ahead of time compiler for a subset of JavaScript
  ☆47Updated 2 years ago