ConceptKernel Concurrency Sanitizer
KCSAN
A data race detection tool for the Linux kernel that detects race conditions in concurrent accesses based on compile-time instrumentation.
A data race detection tool for the Linux kernel that detects race conditions in concurrent accesses based on compile-time instrumentation.