Nuevas herramientas de Google Project Zero detectan race conditions en el kernel de Linux
Testing race conditions with mem access tracing and stack-based delay injection
El equipo Project Zero de Google presenta MAccConc, un conjunto de herramientas que rastrea accesos a memoria y usa inyección de retardos basada en pila para forzar intercalados específicos en tests multihilo del kernel de Linux. Incluye un probador automático de intercalados A-B-A y interfaces TUI/GUI para exploración manual. El objetivo es confirmar bugs de concurrencia, escribir tests de regresión fiables y facilitar el fuzzing de race conditions.
Muchos bugs de seguridad son race conditions, donde la ejecución multihilo debe ocurrir con el intercalado correcto para que aparezca un efecto negativo.