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++
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 0 Code Issues Pull requests SV-COMP wrapper for sanitizers sv-comp sanitizer sanitizers thread-sanitizer threadsanitizer svcomp Updated Nov 20, 2023 Python