microsoft / cpp-systematic-testing
A library for testing concurrent C++ code and deterministically reproducing bugs.
☆43Updated 2 years ago
Related projects ⓘ
Alternatives and complementary repositories for cpp-systematic-testing
- Compiler-instrumented app tracing.☆52Updated 6 months ago
- TSVD is a tool for quickly finding thread-safety violations (e.g., data races) in .NET applications.☆79Updated last year
- SCTBench: a set of C/C++ pthread benchmarks for evaluating concurrency testing techniques.☆28Updated 2 years ago
- A simple implementation of the C++ STL which aims to simplify LLVM IRs during compilation☆11Updated 2 years ago
- lldb-eval is a library for evaluating expressions in the debugger context☆76Updated 3 months ago
- 💀 The former home of clangir, now part of the official LLVM incubator. See website below for details.☆158Updated 2 years ago
- Runtime type and bounds-error checking for C/C++☆101Updated 2 years ago
- Containerization and deployment scripts for remote-index-server and workflows to generate monolithic index for github.com/llvm/llvm-proje…☆20Updated this week
- cclyzer++ is a precise and scalable pointer analysis for LLVM code.☆138Updated 4 months ago
- Research unikernel for virtualized services☆48Updated last year
- CorrelationVector-Cpp provides a reference C++ implementation of the CorrelationVector protocol for tracing and correlation of events thr…☆17Updated 2 years ago
- A C++ SDK for building cyber-physical applications using the Accessor Model☆13Updated 4 years ago
- CDSChecker: A Model Checker for C11 and C++11 Atomics☆26Updated 11 years ago
- SDK for the IFC specification at https://github.com/microsoft/ifc-spec☆57Updated 3 weeks ago
- Cheap: customized heaps for improved application performance.☆26Updated 2 years ago
- SanRazor is a sanitizer check reduction tool aiming to incur little overhead while retaining all important sanitizer checks.☆51Updated 3 years ago
- Object Introspection (OI) enables on-demand, hierarchical profiling of objects in arbitrary C/C++ programs with no recompilation.☆165Updated 3 weeks ago
- A Ledger-backed Secure Key-Value store (LSKV), built on the Confidential Consortium Framework (CCF)☆35Updated 11 months ago
- autotuning C++, just-in-time!☆51Updated 4 years ago
- Some experiments with SMT solvers and GIMPLE IR☆68Updated this week
- performance experiments for C++ exception handling☆31Updated 2 years ago
- Generic model checker for concurrent C programs (mirror repository)☆134Updated 2 months ago
- CI system for premerge-testing in LLVM project☆41Updated last month
- ☆67Updated 4 months ago
- NoVT is a compiler-based defense against vtable hijacking in C++ programs. It compiles C++ programs without using vtables.☆50Updated 2 years ago
- IFC format specification☆73Updated 3 weeks ago
- GrayC: Greybox Fuzzing of Compilers and Analysers for C☆56Updated 11 months ago
- The CLR Instrumentation Engine is a cooperation profiler that allows running multiple profiling extensions in the same process.☆94Updated last month
- ☆35Updated last year