@MISC\{IMM2007-05344,
    author       = "T. J. Hansen and B. {\O}. Wahlgreen",
    title        = "Static Analysis of Concurrent Java Programs",
    year         = "2007",
    publisher    = "Informatics and Mathematical Modelling, Technical University of Denmark, {DTU}",
    address      = "Richard Petersens Plads, Building 321, {DK-}2800 Kgs. Lyngby",
    note         = "Supervised by Assoc. Prof. Christian Probst, {IMM,} {DTU}.",
    url          = "http://www2.compute.dtu.dk/pubdb/pubs/5344-full.html",
    abstract     = "In this thesis we introduce an approach to static analysis of concurrent Java programs. We analyze individual classes, to find any use of a class that breaks any thread-safety conditions within the class. We present properties for class-wise thread-safety and describe analyses capable of collecting adequate information to be able to detect violations of these properties.

The result achieved, is the ability to analyse a class for thread-safety as an overapproximation of how multiple threads may use the class and present the user with warnings corresponding to violations. The tool developed is able to run as stand-alone or integrated with Eclipse, where it generates markers for thread-safety violations in the editor."
}