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,
Porto, Portugal;
2006-06-05
- 2006-06-09; in: "Proc. 11th International Conference on Reliable Software Technologies - Ada-Europe 2006",
Springer-Verlag,
(2006),
ISBN: 3-540-34663-5;
40
- 55.
English abstract:
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)
http://dx.doi.org/10.1007/11767077_4
Online library catalogue of the TU Vienna:
http://aleph.ub.tuwien.ac.at/F?base=tuw01&func=find-c&ccl_term=AC06586781