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.

Check out Whoop on GitHub

Research Support

This research has been supported by a gift from Intel Corporation.

Publications