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
• microsoft / spoor
  Compiler-instrumented app tracing.
  ☆54Updated 11 months ago
• vusec / floatzone
  ☆69Updated 10 months ago
• pfalcon / awesome-program-analysis
  Program Analisys and Transformation survey and links (particular focus on SSA)
  ☆168Updated 4 years ago
• mc-imperial / sctbench
  SCTBench: a set of C/C++ pthread benchmarks for evaluating concurrency testing techniques.
  ☆28Updated 3 years ago
• emeryberger / cheap
  Cheap: customized heaps for improved application performance.
  ☆27Updated 2 years ago
• microsoft / monza
  Research unikernel for virtualized services
  ☆49Updated 2 years ago
• microsoft / ifc
  SDK for the IFC specification at https://github.com/microsoft/ifc-spec
  ☆61Updated last month
• vusec / LookUB
  ☆12Updated last year
• facebookexperimental / object-introspection
  Object Introspection (OI) enables on-demand, hierarchical profiling of objects in arbitrary C/C++ programs with no recompilation.
  ☆173Updated 2 weeks ago
• GaloisInc / cclyzerpp
  cclyzer++ is a precise and scalable pointer analysis for LLVM code.
  ☆142Updated 3 months ago
• kristerw / smtgcc
  Some experiments with SMT solvers and GIMPLE IR
  ☆74Updated this week
• facebookarchive / clangir
  💀 The former home of clangir, now part of the official LLVM incubator. See website below for details.
  ☆157Updated 2 years ago
• microsoft / LinuxTracepoints
  C/C++ libraries for working with Linux Tracepoints and user_events
  ☆43Updated last month
• microsoft / ifc-spec
  IFC format specification
  ☆77Updated last month
• google / lldb-eval
  lldb-eval is a library for evaluating expressions in the debugger context
  ☆83Updated last month
• MPI-SWS / genmc
  Generic model checker for concurrent C programs (mirror repository)
  ☆148Updated last month
• tudasc / TypeART
  LLVM-based type and memory allocation tracking sanitizer
  ☆53Updated last week
• liuml07 / giri
  Dynamic Program Slicing in LLVM Compiler
  ☆136Updated 6 years ago
• frabert / ClangQL
  Query C++ codebases using SQLite
  ☆187Updated 3 years ago
• ftsrg / gazer
  An LLVM-based formal verification frontend for C programs.
  ☆24Updated 3 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
• computersforpeace / model-checker
  CDSChecker: A Model Checker for C11 and C++11 Atomics
  ☆29Updated 11 years ago
• microsoft / CorrelationVector-Cpp
  CorrelationVector-Cpp provides a reference C++ implementation of the CorrelationVector protocol for tracing and correlation of events thr…
  ☆17Updated 2 years ago
• microsoft / profile-explorer
  CPU profiling trace viewer
  ☆159Updated last month
• novt-vtable-less-compiler / novt-llvm
  NoVT is a compiler-based defense against vtable hijacking in C++ programs. It compiles C++ programs without using vtables.
  ☆50Updated 2 years ago
• srg-imperial / GrayC
  GrayC: Greybox Fuzzing of Compilers and Analysers for C
  ☆59Updated last year
• mdadams / clang_libraries_companion
  Companion Repository for the Lecture Slides for the Clang Libraries
  ☆100Updated last month
• google / gwpsan
  GWPSan: Sampling-Based Sanitizer Framework
  ☆317Updated last month
• chromium / subspace
  A concept-centered standard library for C++20, enabling safer and more reliable products and a more modern feel for C++ code; Also home o…
  ☆100Updated last week