#

threadsanitizer

Here are 4 public repositories matching this topic...

hassansalehe / EmbedSanitizer

EmbedSantizer is a runtime race detection tool which extends ThreadSanitizer to detect data races in 32-bit ARM applications.

cpp llvm googlemock googletest clang instrumentation threadsanitizer-support llvm-clang race-detection threadsanitizer

Updated Jul 18, 2021
C++

tudasc / cusan

A data race detector for CUDA C and C++ based on ThreadSanitizer

c cpp cuda datarace threadsanitizer

Updated Nov 15, 2024
C

ClausKlein / QueuedThreadPool

Examples based on boost and asio

unit-testing cmake examples pattern boost multithreading asio cpp17 gcov lcov clang-static-analyzer threadsanitizer

Updated May 17, 2021
C++

sim642 / sv-sanitizers

SV-COMP wrapper for sanitizers

sv-comp sanitizer sanitizers thread-sanitizer threadsanitizer svcomp

Updated Nov 16, 2024
Python

Improve this page

Add a description, image, and links to the threadsanitizer topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the threadsanitizer topic, visit your repo's landing page and select "manage topics."