Google Project Zero выпустил инструмент для тестирования race conditions в ядре Linux
Testing race conditions with mem access tracing and stack-based delay injection
Инструмент MAccConc от Google Project Zero автоматически перебирает возможные чередования потоков, чтобы находить race conditions в ядре Linux. Он использует трассировку доступа к памяти через KCOV и ASAN, а также инъекцию задержек на основе стека вызовов. Разработчики могут вручную исследовать чередования через TUI и GUI. Инструмент уже доступен на GitHub и демонстрирует обнаружение гонки между dup(5) и close(5).
Многие security-баги — это race conditions, где многопоточное выполнение должно произойти с правильным чередованием, чтобы проявился негативный эффект.