Alternatives and similar repositories for cil

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

• arcana-lab / noelle
  NOELLE Offers Empowering LLVM Extensions
  ☆79Updated last month
• martin-cs / symfpu
  A (concrete or symbolic) implementation of IEEE-754 / SMT-LIB floating-point
  ☆48Updated 6 months ago
• vaivaswatha / debugir
  DebugIR: Debugging LLVM-IR Files
  ☆139Updated 9 months ago
• dtcxzyw / llvm-opt-benchmark
  An LLVM IR dataset for data-driven compiler optimization research
  ☆65Updated this week
• stanford-centaur / smt-switch
  A generic C++ API for SMT solving. It provides abstract classes which can be implemented by different SMT solvers.
  ☆129Updated last week
• trailofbits / vast
  VAST is an experimental compiler pipeline designed for program analysis of C and C++. It provides a tower of IRs as MLIR dialects to choo…
  ☆422Updated 3 weeks ago
• shack / synth
  Synthesis of loop-free programs
  ☆20Updated this week
• harvard-acc / LLVM-Tracer
  An LLVM pass to profile dynamic LLVM IR instructions and runtime values
  ☆140Updated 4 years ago
• rcorcs / llvm-heat-printer
  LLVM Profiling Visualization
  ☆85Updated 3 years ago
• vhscampos / range-analysis
  Static range analysis for the LLVM compiler infrastructure.
  ☆56Updated 5 years ago
• vusec / deltapointers
  Delta Pointers: Buffer Overflow Checks Without the Checks (EuroSys'18)
  ☆55Updated 3 years ago
• alastairreid / mra_tools
  Tools to process ARM's Machine Readable Architecture Specification
  ☆133Updated 5 years ago
• hernanponcedeleon / Dat3M
  A verification tool for many memory models
  ☆100Updated this week
• marcelwa / CEGIS
  Counter-example guided inductive synthesis (CEGIS) implementation for the SMT solver Z3 by Microsoft Research
  ☆52Updated 8 years ago
• aengelke / instrew
  A high performance LLVM-based dynamic binary instrumentation framework
  ☆272Updated last year
• staticafi / llvm2c
  Decompiler of LLVM bitcode to C
  ☆87Updated last year
• aengelke / binopt
  A binary optimization/specialization library supporting multiple rewriters
  ☆115Updated 4 years ago
• abenkhadra / gosat
  SMT solver for the theory of floating-point arithmetic
  ☆26Updated 7 years ago
• rcorcs / fmsa
  Function Merging & Branch Fusion
  ☆19Updated 6 years ago
• facebookarchive / clangir
  💀 The former home of clangir, now part of the official LLVM incubator. See website below for details.
  ☆156Updated 3 years ago
• cisco-open / llvm-crash-analyzer
  llvm crash analysis
  ☆44Updated last year
• IITH-Compilers / LLVM-Loop-Profiler
  ☆15Updated 6 years ago
• DeadCodeProductions / dead
  ☆53Updated 2 years ago
• mshockwave / generator-llvm
  Generate project templates for executables that use LLVM and LLVM passes
  ☆52Updated 3 years ago
• mdadams / clang_libraries_companion
  Companion Repository for the Lecture Slides for the Clang Libraries
  ☆116Updated 2 weeks ago
• agra-uni-bremen / metaSMT
  ☆52Updated 9 years ago
• pfalcon / graph-llvm-ir
  Visualization of LLVM IR
  ☆60Updated 11 years ago
• aqjune / mlir-tv
  A translation validation framework for MLIR
  ☆87Updated 5 months ago
• kavon / atJIT
  autotuning C++, just-in-time!
  ☆52Updated 5 years ago
• alexjung / Writing-an-LLVM-Pass-using-the-new-PassManager
  This is a tutorial on how to write an LLVM Pass using the (kind-of) new PassManager. It is compiled from different sources referenced in …
  ☆56Updated 6 years ago