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
  ☆51Updated this week
• tudasc / PIRA
  PIRA - Automatic Instrumentation Refinement
  ☆15Updated 9 months ago
• benchmark-subsetting / cere
  CERE: Codelet Extractor and REplayer
  ☆40Updated last year
• vusec / floatzone
  ☆67Updated 6 months ago
• LLNL / dataracebench
  Data race benchmark suite for evaluating OpenMP correctness tools aimed to detect data races.
  ☆68Updated last year
• mshockwave / generator-llvm
  Generate project templates for executables that use LLVM and LLVM passes
  ☆52Updated 2 years ago
• GaloisInc / cclyzerpp
  cclyzer++ is a precise and scalable pointer analysis for LLVM code.
  ☆138Updated 6 months ago
• shao-hua-li / CompDiff
  ☆35Updated last year
• compor / llvm-ir-cmake-utils
  LLVM IR CMake utils for bitcode file manipulation by opt and friends
  ☆70Updated last month
• compiler-tree-technologies / cil
  Generates CIL MLIR dialect from C/C++ source.
  ☆32Updated 3 years ago
• rimsa / CFGgrind
  A dynamic control flow graph (CFG) reconstruction plugin for valgrind.
  ☆113Updated 3 weeks ago
• lac-dcc / Angha
  Angha is a framework for constructing compilable synthetic C benchmarks out of publicly available C repositories.
  ☆23Updated last year
• ftsrg / gazer
  An LLVM-based formal verification frontend for C programs.
  ☆24Updated 3 years ago
• tudasc / CaPI
  CaPI: Compiler-assisted Performance Instrumentation
  ☆16Updated 2 months ago
• cisco-open / llvm-crash-analyzer
  llvm crash analysis
  ☆41Updated 6 months ago
• mmcloughlin / hellollvm
  Basic LLVM passes
  ☆17Updated 6 years ago
• mc-imperial / sctbench
  SCTBench: a set of C/C++ pthread benchmarks for evaluating concurrency testing techniques.
  ☆28Updated 3 years ago
• LLNL / GOTCHA
  GOTCHA is a library for wrapping function calls in shared libraries
  ☆72Updated 7 months ago
• vhscampos / range-analysis
  Static range analysis for the LLVM compiler infrastructure.
  ☆55Updated 5 years ago
• brenocfg / AnghaBench
  A benchmark suite containing 1 million compilable programs, mined from the largest public C repositories on GitHub.
  ☆94Updated 5 years ago
• regehr / llvm-dataflow-info
  print information from LLVM dataflow analyses
  ☆13Updated 4 years ago
• vusec / deltapointers
  Delta Pointers: Buffer Overflow Checks Without the Checks (EuroSys'18)
  ☆51Updated 2 years ago
• rcorcs / llvm-heat-printer
  LLVM Profiling Visualization
  ☆84Updated 3 years ago
• DeadCodeProductions / dead
  ☆50Updated last year
• SVF-tools / SUPA
  SUPA
  ☆28Updated 4 years ago
• martin-cs / symfpu
  A (concrete or symbolic) implementation of IEEE-754 / SMT-LIB floating-point
  ☆39Updated 2 years ago
• rcorcs / fmsa
  Function Merging & Branch Fusion
  ☆20Updated 5 years ago
• seahorn / sea-dsa
  A new context, field, and array-sensitive heap analysis for LLVM bitcode based on DSA.
  ☆163Updated 7 months ago
• ahorn / native-symbolic-execution-clang
  Source-to-source transformation to call native symbolic execution library and SMT Kit
  ☆32Updated 10 years ago
• nsumner / clang-plugins-demo
  A simple example of defining custom plugins for clang and the clang static analyzer.
  ☆80Updated 4 years ago