A symbolic data race analyzer for Linux device drivers.
Overview
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.
Research Support
This research has been supported by a gift from Intel Corporation.
Publications
-
Fast and Precise Symbolic Analysis of Concurrency Bugs in Device Drivers
Pantazis Deligiannis, Alastair F. Donaldson, Zvonimir Rakamaric
30th IEEE/ACM International Conference on Automated Software Engineering (ASE'15)
-
Automatic Verification of Data Race Freedom in Device Drivers
Pantazis Deligiannis, Alastair F. Donaldson
2014 Imperial College Computing Student Workshop (ICCSW'14)