MAccConc: cómo forzar race conditions en el kernel de Linux
Testing Race Conditions
Google Project Zero presenta MAccConc, una herramienta que traza accesos a memoria y usa inyección de retardos basada en pila para reproducir interleavings de hilos en el kernel de Linux. Con KCOV y ASAN, identifica puntos de comunicación y permite probar automáticamente todas las intercalaciones A-B-A, además de ofrecer interfaces TUI y GUI para exploración manual. El objetivo es confirmar bugs de concurrencia, crear tests de regresión fiables y facilitar el fuzzing.
Para forzar órdenes de ejecución específicos a través de KCOV, implementé un ioctl KCOV_SET_DI mediante el cual el espacio de usuario puede solicitar que se realicen acciones (esencialmente wait/wake) en accesos a memoria en trazas de pila aumentadas con conteo específicas.