Article in Proceedings INPROC-2010-58

BibliographyKeul, Steffen; Prokharau, Mikhail; Gerlach, Daniel; Jenke, Carola; Raza, Aoun: RaceVis: Ein Werkzeug zur Visualisierung von Data Races.
In: 12. Workshop Software-Reengineering, Bad Honnef, 03. -05. Mai 2010, Softwaretechnik Trends, Band 30, Heft 2.
University of Stuttgart, Faculty of Computer Science, Electrical Engineering, and Information Technology.
Softwaretechnik-Trends, pp. 82-83, german.
GI, May 2010.
ISSN: 0720-8928.
Article in Proceedings (Workshop Paper).
CorporationGI
CR-SchemaD.1.3 (Concurrent Programming)
KeywordsSoftware Reengineering; Nebenläufige Programme; Statische Analyse
Abstract

Statische 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.

Department(s)University of Stuttgart, Institute of Software Technology, Programming Languages and Compilers
Project(s)Bauhaus
Entry dateJune 30, 2010
   Publ. Institute   Publ. Computer Science