Alternatives and similar repositories for dominators

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

• comby-tools / comby-decomposer
  Decompose source code into templates and fragments for any language.
  ☆21Updated 2 years ago
• regehr / opt-fuzz
  llvm opt fuzzer and bounded exhaustive test generator
  ☆39Updated 2 years ago
• feroldi / oxide
  Regionalized Value State Dependence Graph written in Rust
  ☆9Updated 5 years ago
• davidlazar / llvm-semantics
  Formal semantics of LLVM IR in K
  ☆44Updated 9 years ago
• vhscampos / range-analysis
  Static range analysis for the LLVM compiler infrastructure.
  ☆56Updated 5 years ago
• jsiek / featherweight-C
  Featherweight C, Executable Semantics: Parser, Type Checker, and Abstract Machine
  ☆26Updated 4 years ago
• kristerw / pysmtgcc
  Some experiments with SMT solvers and GIMPLE IR
  ☆38Updated last year
• sfu-arch / llvm-epp
  Efficient Path Profiling using LLVM
  ☆19Updated 7 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
• llir / grammar
  EBNF grammar of LLVM IR assembly.
  ☆66Updated 2 years ago
• mshockwave / gross
  Research Compiler using Graph IR for Code Optimizations and Code Generations
  ☆49Updated 6 years ago
• sheredom / fpscev
  Floating-Point Scalar Evolution
  ☆12Updated 5 years ago
• dibyendumajumdar / nj
  A cross platform JIT engine based on Eclipse OMR
  ☆27Updated 5 years ago
• amishne / llvm-ir-editor
  An LLVM IR Editor plugin for Eclipse
  ☆51Updated 11 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…
  ☆31Updated 9 years ago
• sdasgup3 / partial-redundancy-elimination
  Partial Redundancy Elimination Pass in LLVM
  ☆13Updated 6 years ago
• jiangyy / rwtrace
  A shared memory dependence tracing tool for dynamic concurrent program analysis
  ☆12Updated 10 years ago
• apl-cornell / fabric
  Distributed persistent programming language with secure information flow types
  ☆29Updated 3 months ago
• google / jsir
  An MLIR-based JavaScript intermediate representation
  ☆31Updated last month
• apl-cornell / jif
  Java-like Language with Static Information Flow Types
  ☆12Updated last month
• refi64 / unmangler
  A colorful C++ type name demangler (like c++filt, but fancier)
  ☆21Updated 9 years ago
• Mrktn / ccg
  CCG is a random C Code Generator
  ☆44Updated 2 years ago
• SNSystems / dexter
  DExTer - Debug Experience Tester
  ☆34Updated 3 years ago
• kmicinski / program-analysis-examples
  Notes for CIS 700 (Fall '19) at Syracuse U.
  ☆13Updated 5 years ago
• eschulte / llvm-mutate
  manipulate LLVM IR files
  ☆32Updated 9 years ago
• smarr / SOMpp
  SOM++ - C++ implementation of the Simple Object Machine Smalltalk
  ☆12Updated 2 weeks ago
• halo-project / halo
  😇 Wholly Adaptive LLVM Optimizer
  ☆27Updated 4 years ago
• mthom / managed-ctrie
  Garbage collected concurrent hash tries.
  ☆19Updated 8 years ago
• SRI-CSL / OCCAM
  OCCAM: Object Culling and Concretization for Assurance Maximization
  ☆26Updated last year
• evanw / wasm-lang
  A hobby language that compiles to WebAssembly
  ☆23Updated 5 years ago