Talks and Poster Presentations (with Proceedings-Entry):
B. Burgstaller, J. Blieberger, R. Mittermayr:
"Static Detection of Access Anomalies in Ada95";
Talk: Reliable Software Technologies - Ada-Europe,
- 2006-06-09; in: "Proc. 11th International Conference on Reliable Software Technologies - Ada-Europe 2006",
In this paper we present data flow frameworks that are able to detect access anomalies in Ada multi-tasking programs.
In particular, our approach finds all possible non-sequential accesses to shared non-protected variables.
The algorithms employed are very efficient.
Our approach is conservative and may find false positives.
"Official" electronic version of the publication (accessed through its Digital Object Identifier - DOI)
Online library catalogue of the TU Vienna:
Created from the Publication Database of the Vienna University of Technology.