Topic: "threadsanitizer"
hassansalehe/EmbedSanitizer
EmbedSantizer is a runtime race detection tool which extends ThreadSanitizer to detect data races in 32-bit ARM applications.
Language: C++ - Size: 562 KB - Last synced at: 9 months ago - Pushed at: almost 4 years ago - Stars: 18 - Forks: 6
tudasc/cusan
A data race detector for CUDA C and C++ based on ThreadSanitizer
Language: C - Size: 424 KB - Last synced at: 19 days ago - Pushed at: 19 days ago - Stars: 7 - Forks: 0
ClausKlein/QueuedThreadPool
Examples based on boost and asio
Language: C++ - Size: 1.07 MB - Last synced at: about 1 month ago - Pushed at: almost 4 years ago - Stars: 2 - Forks: 0
sim642/sv-sanitizers
SV-COMP wrapper for sanitizers
Language: Python - Size: 55.7 KB - Last synced at: about 1 month ago - Pushed at: 6 months ago - Stars: 1 - Forks: 0
