A Context-Sensitive, Outlier-Based Static Analysis to Find Kernel Race Conditions

Niels Dossche, Bert Abrath, Bart Coppens

Race conditions are a class of bugs in software where concurrent accesses to shared resources are not protected from each other. Consequences of race conditions include privilege e…