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
• davidlazar / llvm-semantics
  Formal semantics of LLVM IR in K
  ☆45Updated 10 years ago
• geofflangdale / sheng
  A small DFA for under 16 states
  ☆52Updated 7 years ago
• ispras / quix86
  An x86-64 instruction decoder.
  ☆16Updated last year
• amishne / llvm-ir-editor
  An LLVM IR Editor plugin for Eclipse
  ☆52Updated 11 years ago
• llir / grammar
  EBNF grammar of LLVM IR assembly.
  ☆65Updated 2 years ago
• ajwijs / GPUexplore
  GPU model checker
  ☆11Updated 6 years ago
• ilyasergey / reachability
  Experimental implementation of k-CFA and Pushdown k-CFA with optional Abstract Garbage Collection for LambdaJS and a subset of Scheme pro…
  ☆30Updated 9 years ago
• Samsung / SJS
  SJS is a static ahead of time compiler for a subset of JavaScript
  ☆47Updated 2 years ago
• renatahodovan / picireny
  Hierarchical Delta Debugging Framework
  ☆59Updated 3 weeks ago
• google / ohmu
  Compiler intermediate language for static analysis.
  ☆107Updated 6 years ago
• cesaro / dpu
  Dynamic analysis of multithreaded C programs
  ☆13Updated 5 years ago
• rose-compiler / rose-develop
  The latest development version of rose. It may not pass all regression tests.
  ☆106Updated 6 years ago
• jcbeyler / wasm-to-llvm-prototype
  s-expression → internal IR → LLVM IR
  ☆46Updated 9 years ago
• facebookarchive / Rseq
  Restartable Sequences: a userspace implementation of cheap per-cpu atomic operations
  ☆38Updated 6 years ago
• mshockwave / gross
  Research Compiler using Graph IR for Code Optimizations and Code Generations
  ☆50Updated 6 years ago
• coreperf / rejit
  fast SIMD-able JIT regular expression compiler
  ☆197Updated 10 years ago
• feroldi / oxide
  Regionalized Value State Dependence Graph written in Rust
  ☆11Updated 5 years ago
• sampsyo / quala
  custom type systems for Clang
  ☆96Updated 10 years ago
• Samsung / mimic
  Synthesizer for JavaScript API models
  ☆17Updated 2 years ago
• kristerw / pysmtgcc
  Some experiments with SMT solvers and GIMPLE IR
  ☆39Updated 2 years ago
• plast-lab / cclyzer
  A tool for analyzing LLVM bitcode using Datalog.
  ☆102Updated 5 years ago
• sampsyo / llvm-ei
  extensible interpreter for LLVM dynamic analyses
  ☆45Updated 12 years ago
• renatahodovan / picire
  Parallel Delta Debugging Framework
  ☆53Updated last month
• msv-lab / angelix
  Semantic program repair system for C programs
  ☆100Updated 3 years ago
• parsifal-47 / sisal-is
  Modernized Sisal Interpreter
  ☆29Updated 6 years ago
• ishiura-compiler / CF3
  "CF3" is a C compiler test suite targeting arithmetic optimization.
  ☆37Updated 8 years ago
• jfbastien / jit-talk
  ☆48Updated 5 years ago
• true-grue / graph-irs
  Slides from a talk "Graph-Based Intermediate Representations: An Overview and Perspectives"
  ☆22Updated last year