Keul, SteffenProkharau, MikhailGerlach, DanielJenke, CarolaRaza, Aoun2023-04-062023-04-062010https://dl.gi.de/handle/20.500.12116/41139Statische Programmanalyse zur Erkennung von Data Races ist ein wichtiges Werkzeug zur Sicherstellung der Korrektheit von nebenläufigen Programmen in Entwicklung und Wartung. Der Einsatz statischer Analyse lässt jedoch eine Anzahl an falsch positiven Warnungen erwarten. In diesem Papier wird ein Werkzeug zur manuellen Untersuchung und Bewertung dieser Meldungen vorgestellt.deText/Journal Article0720-8928