hassansalehe / EmbedSanitizer Star 18 Code Issues Pull requests 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 Star 9 Code Issues Pull requests A data race detector for CUDA C and C++ based on ThreadSanitizer c cpp cuda datarace threadsanitizer Updated Feb 23, 2026 C
LeeXSean / sfslab Star 5 Code Issues Pull requests Shark File System lab for self-study. filesystem autograder csapp csapp-lab 15-213 threadsanitizer csapp-concurrency Updated Sep 7, 2026 C
ClausKlein / QueuedThreadPool Star 2 Code Issues Pull requests Discussions 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 Star 1 Code Issues Pull requests SV-COMP wrapper for sanitizers sv-comp sanitizer sanitizers thread-sanitizer threadsanitizer svcomp Updated Dec 11, 2025 Python
mithilmpathak / TCP-Load-Balancer Star 0 Code Issues Pull requests A custom Layer-4 load balancer built from scratch in C++. Explores POSIX sockets, thread pools, data race resolution, and I/O-bound benchmarking. concurrency multithreading load-balancer tcp-proxy cpp17 posix-sockets threadsanitizer Updated Aug 13, 2026 C++
apaznikov / tsan-atc26-artifact Star 0 Code Issues Pull requests Artifact for the USENIX ATC '26 paper: Instrumentation Optimization for Practical Dynamic Race Detection llvm static-analysis artifact-evaluation data-race threadsanitizer Updated Sep 19, 2026 C