Static Analysis of Concurrent Java Programs |
|
| 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. |
| Type | Bachelor of Engineering thesis [Academic thesis] |
| Year | 2007 |
| Publisher | Informatics and Mathematical Modelling, Technical University of Denmark, DTU |
| Address | Richard Petersens Plads, Building 321, DK-2800 Kgs. Lyngby |
| Series | IMM-B.Sc-2007-11 |
| Note | Supervised by Assoc. Prof. Christian Probst, IMM, DTU. |
| Electronic version(s) | [pdf] |
| BibTeX data | [bibtex] |
| IMM Group(s) | Computer Science & Engineering |