microsoft / cpp-systematic-testingLinks
A library for testing concurrent C++ code and deterministically reproducing bugs.
☆43Updated 3 years ago
Alternatives and similar repositories for cpp-systematic-testing
Users that are interested in cpp-systematic-testing are comparing it to the libraries listed below
Sorting:
- TSVD is a tool for quickly finding thread-safety violations (e.g., data races) in .NET applications.☆80Updated 2 years ago
- Clang plugin with several static analysis checks☆27Updated 3 months ago
- SCTBench: a set of C/C++ pthread benchmarks for evaluating concurrency testing techniques.☆30Updated 3 years ago
- ☆36Updated 2 years ago
- GWPSan: Sampling-Based Sanitizer Framework☆326Updated last month
- ☆909Updated this week
- A fuzzing framework for finding transactional bugs in DBMSs☆53Updated 2 years ago
- A tool based on clang which generates a call graph from a given C++ codebase☆157Updated 7 months ago
- A concurency testing tool☆60Updated 6 years ago
- SanRazor is a sanitizer check reduction tool aiming to incur little overhead while retaining all important sanitizer checks.☆54Updated 4 years ago
- An easy guide to Clang Static Analyzer extension.☆144Updated 5 years ago
- UBGen can generate programs with undefined behaviors (e.g., buffer-overflow, use-after-free, etc.)☆61Updated 5 months ago
- Dynamic Program Slicing in LLVM Compiler☆142Updated 7 years ago
- A simple example of defining custom plugins for clang and the clang static analyzer.☆89Updated 4 years ago
- Armada is a tool for writing, and proving correct, high-performance concurrent programs.☆146Updated 8 months ago
- Object Introspection (OI) enables on-demand, hierarchical profiling of objects in arbitrary C/C++ programs with no recompilation.☆179Updated 2 months ago
- cclyzer++ is a precise and scalable pointer analysis for LLVM code.☆146Updated 8 months ago
- VAST is an experimental compiler pipeline designed for program analysis of C and C++. It provides a tower of IRs as MLIR dialects to choo…☆422Updated 2 months ago
- A JIT Compiler Fuzzer for JVMs via CSX/JoNM in "Validating JIT Compilers via Compilation Space Exploration" (SOSP'23)☆59Updated 7 months ago
- Coveraged-based fuzzer for finding DBMS logical bugs☆57Updated 2 years ago
- Code Analysis and Refactoring with Clang Tools☆125Updated 4 years ago
- An LLVM sanitizer tutorial☆201Updated 3 years ago
- Tool that generates unit test by C/C++ source code, trying to reach all branches and maximize code coverage☆177Updated last year
- Greybox Fuzzing of Distributed Systems (CCS'23)☆53Updated last year
- ☆53Updated 2 years ago
- Public-facing course info for program analysis materials.☆42Updated last week
- Runtime type and bounds-error checking for C/C++☆104Updated 10 months ago
- Teaching and Learning Software Verification via SVF☆34Updated 2 months ago
- Yet Another Random Program Generator☆529Updated 2 months ago
- A list of bugs found by SQLancer☆15Updated last year