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 this week
• mshockwave / generator-llvm
  Generate project templates for executables that use LLVM and LLVM passes
  ☆52Updated 2 years ago
• tudasc / PIRA
  PIRA - Automatic Instrumentation Refinement
  ☆16Updated 11 months ago
• benchmark-subsetting / cere
  CERE: Codelet Extractor and REplayer
  ☆40Updated last year
• GaloisInc / cclyzerpp
  cclyzer++ is a precise and scalable pointer analysis for LLVM code.
  ☆139Updated last month
• DeadCodeProductions / dead
  ☆51Updated last year
• compiler-tree-technologies / cil
  Generates CIL MLIR dialect from C/C++ source.
  ☆32Updated 4 years ago
• SVF-tools / SUPA
  SUPA
  ☆28Updated 4 years ago
• compor / llvm-ir-cmake-utils
  LLVM IR CMake utils for bitcode file manipulation by opt and friends
  ☆71Updated 3 months ago
• LLNL / dataracebench
  Data race benchmark suite for evaluating OpenMP correctness tools aimed to detect data races.
  ☆69Updated last year
• seahorn / sea-dsa
  A new context, field, and array-sensitive heap analysis for LLVM bitcode based on DSA.
  ☆164Updated 9 months ago
• vhscampos / range-analysis
  Static range analysis for the LLVM compiler infrastructure.
  ☆56Updated 5 years ago
• regehr / llvm-dataflow-info
  print information from LLVM dataflow analyses
  ☆13Updated 5 years ago
• ahorn / native-symbolic-execution-clang
  Source-to-source transformation to call native symbolic execution library and SMT Kit
  ☆32Updated 10 years ago
• shao-hua-li / CompDiff
  ☆36Updated last year
• rimsa / CFGgrind
  A dynamic control flow graph (CFG) reconstruction plugin for valgrind.
  ☆118Updated 3 months ago
• mc-imperial / sctbench
  SCTBench: a set of C/C++ pthread benchmarks for evaluating concurrency testing techniques.
  ☆28Updated 3 years ago
• srg-imperial / GrayC
  GrayC: Greybox Fuzzing of Compilers and Analysers for C
  ☆58Updated last year
• ftsrg / gazer
  An LLVM-based formal verification frontend for C programs.
  ☆24Updated 3 years ago
• staticafi / sbt-instrumentation
  Configurable instrumentation of LLVM bitcode
  ☆33Updated last month
• Mrktn / ccg
  CCG is a random C Code Generator
  ☆43Updated 2 years ago
• cisco-open / llvm-crash-analyzer
  llvm crash analysis
  ☆43Updated 8 months ago
• lihebi / LLVMCallGraph
  LLVM Call Graph
  ☆27Updated 4 years ago
• LLNL / GOTCHA
  GOTCHA is a library for wrapping function calls in shared libraries
  ☆74Updated 3 weeks ago
• bwickman97 / ffmalloc
  ☆50Updated 2 years ago
• hernanponcedeleon / Dat3M
  A verification tool for many memory models
  ☆85Updated this week
• GJDuck / EffectiveSan
  Runtime type and bounds-error checking for C/C++
  ☆102Updated 3 months ago
• nsumner / clang-plugins-demo
  A simple example of defining custom plugins for clang and the clang static analyzer.
  ☆82Updated 4 years ago
• mxz297 / dyninst-tools
  A collection of command-line tools based on Dyninst
  ☆17Updated 3 years ago
• brenocfg / AnghaBench
  A benchmark suite containing 1 million compilable programs, mined from the largest public C repositories on GitHub.
  ☆101Updated 5 years ago