[Back]


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