Google Project Zero выпустила MAccConc для автоматического поиска race condition в ядре Linux
Testing Race Conditions
Инструмент MAccConc от Google Project Zero автоматически перебирает все возможные A-B-A чередования потоков в тестах ядра Linux, используя трассировку доступа к памяти через KCOV и инъекцию задержек. Он решает проблему подтверждения гонок, написания надёжных регрессионных тестов и фаззинга. Доступны терминальный и графический интерфейсы для ручного исследования. Код открыт на GitHub.
Многие ошибки безопасности — это состояния гонки, где многопоточное выполнение должно произойти с правильным чередованием, чтобы проявился негативный эффект.