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
  ☆39Updated 2 years ago
• davidlazar / llvm-semantics
  Formal semantics of LLVM IR in K
  ☆44Updated 9 years ago
• feroldi / oxide
  Regionalized Value State Dependence Graph written in Rust
  ☆9Updated 5 years ago
• comby-tools / comby-decomposer
  Decompose source code into templates and fragments for any language.
  ☆21Updated 2 years ago
• SVF-tools / Simplified-STL
  A simple implementation of the C++ STL which aims to simplify LLVM IRs during compilation
  ☆11Updated 2 years ago
• MPACT-ORG / llvm-project
  The LLVM Project is a collection of modular and reusable compiler and toolchain technologies. Note: the repository does not accept github…
  ☆31Updated this week
• vhscampos / range-analysis
  Static range analysis for the LLVM compiler infrastructure.
  ☆56Updated 5 years ago
• SNSystems / dexter
  DExTer - Debug Experience Tester
  ☆33Updated 3 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…
  ☆29Updated 9 years ago
• rutgers-apl / TaskProf
  A Parallelism Profiler with What-If analyses for Intel Threading Building Blocks (TBB) programs
  ☆13Updated 7 years ago
• indutny / json-pipeline
  JSON pipeline for a hypothetical compiler
  ☆31Updated 9 years ago
• evanw / wasm-lang
  A hobby language that compiles to WebAssembly
  ☆22Updated 4 years ago
• js-js / cfg.js
  Javascript AST to CFG converter
  ☆20Updated 8 years ago
• ishiura-compiler / CF3
  "CF3" is a C compiler test suite targeting arithmetic optimization.
  ☆37Updated 7 years ago
• attresearch / yakker
  ☆22Updated 13 years ago
• jsiek / featherweight-C
  Featherweight C, Executable Semantics: Parser, Type Checker, and Abstract Machine
  ☆26Updated 4 years ago
• c-cube / smbc
  Experimental model finder/SMT solver for functional programming.
  ☆23Updated 2 years ago
• sheredom / fpscev
  Floating-Point Scalar Evolution
  ☆12Updated 5 years ago
• apl-cornell / fabric
  Distributed persistent programming language with secure information flow types
  ☆29Updated 3 weeks ago
• kristerw / pysmtgcc
  Some experiments with SMT solvers and GIMPLE IR
  ☆36Updated last year
• uwplse / memsynth
  An advanced automated reasoning tool for memory consistency model specifications.
  ☆21Updated 3 years ago
• kripken / Relooper
  this repo is deprecated, see the binaryen repo
  ☆21Updated 5 years ago
• jplevyak / ifa
  IFA is a library for Interative Flow Analysis of computer programs. This software is for compiler developers and program analysis resea…
  ☆12Updated this week
• fitzgen / wasm-smith
  A WebAssembly test case generator
  ☆43Updated 4 years ago
• true-grue / graph-irs
  Slides from a talk "Graph-Based Intermediate Representations: An Overview and Perspectives"
  ☆21Updated last year
• Jonathan2251 / lbt
  Develop toolchain based on llvm to for Cpu0 processor
  ☆45Updated last year
• google / jsir
  An MLIR-based JavaScript intermediate representation
  ☆24Updated last month
• GaloisInc / yapall
  A precise and scalable pointer analysis for LLVM, written in Ascent
  ☆65Updated last week
• coderrect-inc / coderrect-github-action
  Coderrect is a static analyzer for concurrent C/C++/Fortran programs to detect data-races/race-conditions/anti-patterns.
  ☆9Updated 4 years ago
• BTCTOOLSdev / BTCTOOLS
  BTCTools - Managing your ASIC miners (Windows)
  ☆2Updated last year