Alternatives and similar repositories for cpp-systematic-testing:

Users that are interested in cpp-systematic-testing are comparing it to the libraries listed below

• mc-imperial / sctbench
  SCTBench: a set of C/C++ pthread benchmarks for evaluating concurrency testing techniques.
  ☆28Updated 3 years ago
• microsoft / TSVD
  TSVD is a tool for quickly finding thread-safety violations (e.g., data races) in .NET applications.
  ☆79Updated last year
• microsoft / spoor
  Compiler-instrumented app tracing.
  ☆54Updated 10 months ago
• SVF-tools / Simplified-STL
  A simple implementation of the C++ STL which aims to simplify LLVM IRs during compilation
  ☆11Updated 2 years ago
• microsoft / monza
  Research unikernel for virtualized services
  ☆48Updated 2 years ago
• MPI-SWS / genmc
  Generic model checker for concurrent C programs (mirror repository)
  ☆145Updated last month
• facebookarchive / clangir
  💀 The former home of clangir, now part of the official LLVM incubator. See website below for details.
  ☆157Updated 2 years ago
• google / lldb-eval
  lldb-eval is a library for evaluating expressions in the debugger context
  ☆80Updated last week
• pfalcon / awesome-program-analysis
  Program Analisys and Transformation survey and links (particular focus on SSA)
  ☆168Updated 4 years ago
• emeryberger / cheap
  Cheap: customized heaps for improved application performance.
  ☆27Updated 2 years ago
• andy-byers / CalicoDB
  A tiny embedded, transactional key-value database 🐱
  ☆40Updated last year
• computersforpeace / model-checker
  CDSChecker: A Model Checker for C11 and C++11 Atomics
  ☆29Updated 11 years ago
• GaloisInc / cclyzerpp
  cclyzer++ is a precise and scalable pointer analysis for LLVM code.
  ☆140Updated 2 months ago
• microsoft / L4
  L4 (Lock-Free on Read) Hashtable is a C++ library that implements hash table with arbitray byte stream keys/values.
  ☆202Updated 2 years ago
• microsoft / sarif-visualstudio-extension
  SARIF Microsoft Visual Studio Viewer Extension
  ☆49Updated 11 months ago
• google / hashtable-benchmarks
  ☆105Updated last year
• microsoft / CLRInstrumentationEngine
  The CLR Instrumentation Engine is a cooperation profiler that allows running multiple profiling extensions in the same process.
  ☆95Updated 3 months ago
• microsoft / sca-fuzzer
  Revizor - a fuzzer to search for microarchitectural leaks in CPUs
  ☆122Updated this week
• peter-can-write / clang-notes
  Notes on clang and llvm
  ☆40Updated last year
• SanRazor-repo / SanRazor
  SanRazor is a sanitizer check reduction tool aiming to incur little overhead while retaining all important sanitizer checks.
  ☆53Updated 3 years ago
• google / llvm-premerge-checks
  CI system for premerge-testing in LLVM project
  ☆41Updated 5 months ago
• kavon / atJIT
  autotuning C++, just-in-time!
  ☆51Updated 5 years ago
• microsoft / tracelogging
  TraceLogging events and tracing
  ☆50Updated last month
• sslab-gatech / apollo
  A toolchain for automatically detecting, reporting, and diagnosing performance bugs in DBMSs.
  ☆72Updated 4 years ago
• facebookexperimental / object-introspection
  Object Introspection (OI) enables on-demand, hierarchical profiling of objects in arbitrary C/C++ programs with no recompilation.
  ☆171Updated 3 months ago
• kristerw / smtgcc
  Some experiments with SMT solvers and GIMPLE IR
  ☆73Updated last week
• Azure / RSL
  Replicated State Library. RSL is the Azure Paxos implementation which is used by multiple products in Azure and Bing. It provides the tra…
  ☆76Updated 2 years ago
• trailofbits / pasta
  Peter's Amazing Syntax Tree Analyzer
  ☆127Updated 6 months ago
• microsoft / nurikabe
  Nurikabe puzzle solver
  ☆44Updated last year
• microsoft / icu
  Fork of https://github.com/unicode-org/icu for ICU4C, with changes needed for consumption inside various Microsoft products.
  ☆55Updated 2 months ago