Google-Tool MAccConc spürt Race Conditions im Linux-Kernel auf

Testing Race Conditions

Race Conditions sind schwer zu reproduzieren, zu testen und zu fuzzen. Project Zero stellt MAccConc vor: eine Sammlung von Tools, die Speicherzugriffe im Linux-Kernel über ASAN-Instrumentierung und KCOV verfolgen. Mithilfe stabiler, zählungsaugmentierter Stack-Traces und gezielter Verzögerungsinjektion lassen sich A-B-A-Verschränkungen automatisch testen oder manuell in TUI und GUI erkunden. Der Code ist auf GitHub verfügbar.