Kontextsensitive, ausreißerbasierte statische Analyse zur Erkennung von Kernel-Wettlaufbedingungen

Eine neuartige statische Technik, die Regeln für den Schutz von Feldzugriffen durch Sperren ableitet und den Code dann auf Einhaltung dieser Regeln überprüft. Die Technik verwendet einen ausreißerbasierenden Ansatz, der durch einen kontextsensitiven Mechanismus erweitert wird, um die Skalierbarkeit und Präzision zu erhöhen.