Google Project Zero stellt MAccConc vor: Race Conditions automatisch aufspüren
Testing race conditions with mem access tracing and stack-based delay injection
Google Project Zero hat MAccConc veröffentlicht, ein Toolset zur Analyse von Race Conditions im Linux-Kernel. Es kombiniert Memory-Access-Tracing über KCOV mit Stack-basierter Delay-Injection, um gezielt Thread-Interleavings zu erzwingen. Eine automatische Testkomponente prüft alle A-B-A-Verschränkungen, ergänzt durch TUI und GUI zur manuellen Exploration. Das Projekt adressiert die Schwierigkeit, Race-Condition-Bugs reproduzierbar zu machen, und soll künftig auch Fuzzing ermöglichen.
Viele Sicherheitslücken sind Race Conditions, bei denen eine multithreaded Ausführung mit der richtigen Verschränkung stattfinden muss, damit ein negativer Effekt auftritt.