A symbolic data race analyzer for Linux device drivers.
Whoop is a symbolic data race analyzer for Linux device drivers. It can automatically detect data races in a driver written in the C language, and then exploit any found race-freedom guarantees to speedup bug finding for concurrency-related bugs.
This research has been supported by a gift from Intel Corporation.
Fast and Precise Symbolic Analysis of Concurrency Bugs in Device Drivers
30th IEEE/ACM International Conference on Automated Software Engineering (ASE'15)
Automatic Verification of Data Race Freedom in Device Drivers
2014 Imperial College Computing Student Workshop (ICCSW'14)