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
MIMFS is a C11 library that implements a complete POSIX-style filesystem entirely inside a caller-provided memory region. It lets programs create directories, open/read/write files, manage links, rename paths, and use file descriptors without touching the host operating system’s filesystem.
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.
Lock-free single-producer/single-consumer ring in C11: cached indices, batching, TSan-verified with a negative control, x86-64 and AArch64 CI
To associate your repository with the threadsanitizer topic, visit your repo's landing page and select "manage topics."