Alternatives and similar repositories for cpp-systematic-testing:

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

• microsoft / TSVD
  TSVD is a tool for quickly finding thread-safety violations (e.g., data races) in .NET applications.
  ☆79Updated last year
• SVF-tools / Simplified-STL
  A simple implementation of the C++ STL which aims to simplify LLVM IRs during compilation
  ☆11Updated 2 years ago
• google / lldb-eval
  lldb-eval is a library for evaluating expressions in the debugger context
  ☆79Updated 5 months ago
• vusec / floatzone
  ☆67Updated 6 months ago
• GaloisInc / cclyzerpp
  cclyzer++ is a precise and scalable pointer analysis for LLVM code.
  ☆138Updated 6 months ago
• LeeSanderson / Chess
  A concurency testing tool
  ☆56Updated 5 years ago
• mc-imperial / sctbench
  SCTBench: a set of C/C++ pthread benchmarks for evaluating concurrency testing techniques.
  ☆28Updated 3 years ago
• facebookarchive / clangir
  💀 The former home of clangir, now part of the official LLVM incubator. See website below for details.
  ☆157Updated 2 years ago
• 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 3 months ago
• facebookexperimental / object-introspection
  Object Introspection (OI) enables on-demand, hierarchical profiling of objects in arbitrary C/C++ programs with no recompilation.
  ☆169Updated last month
• microsoft / nurikabe
  Nurikabe puzzle solver
  ☆44Updated last year
• microsoft / spoor
  Compiler-instrumented app tracing.
  ☆54Updated 8 months ago
• kavon / atJIT
  autotuning C++, just-in-time!
  ☆51Updated 4 years ago
• cisco-open / llvm-crash-analyzer
  llvm crash analysis
  ☆41Updated 7 months ago
• microsoft / ifc-spec
  IFC format specification
  ☆73Updated last month
• Guardsquare / mocxx
  A versatile C++ function mocking framework.
  ☆128Updated 2 years ago
• google / integers
  Safer integers in C++.
  ☆187Updated 3 years ago
• microsoft / profile-explorer
  CPU profiling trace viewer
  ☆107Updated last week
• microsoft / monza
  Research unikernel for virtualized services
  ☆48Updated 2 years ago
• GJDuck / EffectiveSan
  Runtime type and bounds-error checking for C/C++
  ☆101Updated last month
• nsumner / clang-plugins-demo
  A simple example of defining custom plugins for clang and the clang static analyzer.
  ☆80Updated 4 years ago
• shao-hua-li / CompDiff
  ☆35Updated last year
• microsoft / L4
  L4 (Lock-Free on Read) Hashtable is a C++ library that implements hash table with arbitray byte stream keys/values.
  ☆201Updated 2 years ago
• microsoft / ifc
  SDK for the IFC specification at https://github.com/microsoft/ifc-spec
  ☆58Updated 3 weeks ago
• microsoft / ETW
  Event Tracing for Windows tools and samples
  ☆21Updated last week
• seahorn / sea-dsa
  A new context, field, and array-sensitive heap analysis for LLVM bitcode based on DSA.
  ☆163Updated 7 months ago
• mdadams / clang_libraries_companion
  Companion Repository for the Lecture Slides for the Clang Libraries
  ☆88Updated 11 months ago
• clangd / llvm-remote-index
  Containerization and deployment scripts for remote-index-server and workflows to generate monolithic index for github.com/llvm/llvm-proje…
  ☆21Updated this week
• google / hashtable-benchmarks
  ☆104Updated last year