EmbedSantizer is a runtime race detection tool which extends ThreadSanitizer to detect data races in 32-bit ARM applications.
A data race detector for CUDA C and C++ based on ThreadSanitizer
Shark File System lab for self-study.
Examples based on boost and asio
Find free-threading bugs in Rust/PyO3 Python extensions: data races, crashes and hangs that only appear without the GIL. Runs your own tests across threads under ThreadSanitizer, plus a static lint and a stress mode.
SV-COMP wrapper for sanitizers
Artifact for the USENIX ATC '26 paper: Instrumentation Optimization for Practical Dynamic Race Detection
Lock-free & low-level concurrency primitives in C11: SPSC ring, Vyukov MPMC queue, ABA-safe slab allocator, spinlocks, pthread pool. ASan/TSan-tested.
A custom Layer-4 load balancer built from scratch in C++. Explores POSIX sockets, thread pools, data race resolution, and I/O-bound benchmarking.
To associate your repository with the threadsanitizer topic, visit your repo's landing page and select "manage topics."