Alternatives and similar repositories for MetaCG

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

• tudasc / TypeART
  LLVM-based type and memory allocation tracking sanitizer
  ☆53Updated last week
• luhsra / chash
  CLang Plugin for calculating AST hashes
  ☆15Updated 6 years ago
• tudasc / PIRA
  PIRA - Automatic Instrumentation Refinement
  ☆16Updated last year
• kristerw / smtgcc
  Some experiments with SMT solvers and GIMPLE IR
  ☆74Updated this week
• mshockwave / generator-llvm
  Generate project templates for executables that use LLVM and LLVM passes
  ☆52Updated 3 years ago
• benchmark-subsetting / cere
  CERE: Codelet Extractor and REplayer
  ☆40Updated last year
• mc-imperial / sctbench
  SCTBench: a set of C/C++ pthread benchmarks for evaluating concurrency testing techniques.
  ☆28Updated 3 years ago
• LLNL / dataracebench
  Data race benchmark suite for evaluating OpenMP correctness tools aimed to detect data races.
  ☆69Updated last year
• compiler-tree-technologies / cil
  Generates CIL MLIR dialect from C/C++ source.
  ☆32Updated 4 years ago
• GJDuck / EffectiveSan
  Runtime type and bounds-error checking for C/C++
  ☆103Updated 5 months ago
• cisco-open / llvm-crash-analyzer
  llvm crash analysis
  ☆43Updated 11 months ago
• tudasc / CaPI
  CaPI: Compiler-assisted Performance Instrumentation
  ☆16Updated last month
• vusec / floatzone
  ☆70Updated 10 months ago
• martin-cs / symfpu
  A (concrete or symbolic) implementation of IEEE-754 / SMT-LIB floating-point
  ☆40Updated 2 months ago
• GaloisInc / cclyzerpp
  cclyzer++ is a precise and scalable pointer analysis for LLVM code.
  ☆144Updated 4 months ago
• rimsa / CFGgrind
  A dynamic control flow graph (CFG) reconstruction plugin for valgrind.
  ☆121Updated 2 months ago
• vhscampos / range-analysis
  Static range analysis for the LLVM compiler infrastructure.
  ☆56Updated 5 years ago
• shao-hua-li / CompDiff
  ☆36Updated 2 years ago
• DeadCodeProductions / dead
  ☆52Updated 2 years ago
• vusec / deltapointers
  Delta Pointers: Buffer Overflow Checks Without the Checks (EuroSys'18)
  ☆54Updated 3 years ago
• abenkhadra / gosat
  SMT solver for the theory of floating-point arithmetic
  ☆26Updated 7 years ago
• rcorcs / llvm-heat-printer
  LLVM Profiling Visualization
  ☆84Updated 3 years ago
• lac-dcc / Angha
  Angha is a framework for constructing compilable synthetic C benchmarks out of publicly available C repositories.
  ☆22Updated last year
• nsumner / clang-plugins-demo
  A simple example of defining custom plugins for clang and the clang static analyzer.
  ☆86Updated 4 years ago
• seahorn / sea-dsa
  A new context, field, and array-sensitive heap analysis for LLVM bitcode based on DSA.
  ☆165Updated 11 months ago
• Mrktn / ccg
  CCG is a random C Code Generator
  ☆44Updated 2 years ago
• b-shi / PMC-PMI
  Performance Counter Measurements at the cycle granularity
  ☆18Updated 3 years ago
• ftsrg / gazer
  An LLVM-based formal verification frontend for C programs.
  ☆24Updated 3 years ago
• SVF-tools / SUPA
  SUPA
  ☆28Updated 5 years ago
• aengelke / binopt
  A binary optimization/specialization library supporting multiple rewriters
  ☆114Updated 4 years ago