thread-sanitizer

Runtime Detection of Data Races in OCaml with ThreadSanitizer

Cross Platform C++ Virtual Environment to manage dependecies and tools

SV-COMP wrapper for sanitizers

CMake-based playground to check different C\C++ code errors against different runtime sanitisers and Valgrind tools

Reproducible C++20 systems failures diagnosed with sanitizers, disassembly, benchmarks, concurrency analysis, and real-time experiments.

A deterministic, bare-metal telemetry and crash logging subsystem designed for resource-constrained embedded systems and safety-critical RTOS environments.

A thread pool with work-stealing and dependency-graph scheduling, written in C++23.

Wait-free single-producer single-consumer ring buffer in C++20. Cache-line padded, index-caching, TSan-verified memory ordering, and a benchmark that refuses to publish ratios it cannot trust.

Epoch-based memory reclamation + lock-free hash map (Harris-Michael) in Rust, checked with loom, Miri and ThreadSanitizer. Part of Cortex-9.

This project will introduce you on how to use sanitizers, generating core dumps and coverage reports.

Modern C++ project template with CMake, Thread Sanitizer support, automated testing, and code quality tools

Embedded Linux C++17 real-time radar DSP System

Thread synchronisation in C (pthreads, mutex, semaphores) with a TSan/ASan stress-test suite

Crash-safe concurrent key-value store in modern C++ (snapshots + redo-WAL + checkpointing + sanitizer-verified concurrency)

Modbus TCP to RTU gateway in C++17. 1.28M concurrent transactions with zero misrouted responses under ThreadSanitizer. Cross-compiled for ARM Cortex-A.

CI/CD reliability harness for amdgpu-sentinel and prompt-mesh. Features headless Bubblewrap sysfs emulation on Ubuntu 24.04, linker-wrapped zero-allocation tests, and ASan/TSan matrices.

C++20 market-data feed handler: MoldUDP64 A/B line arbitration, gap recovery, lock-free SPSC ring, and a deterministic fault-injection harness proving exactly-once in-order delivery.