Vorträge und Posterpräsentationen (mit Tagungsband-Eintrag):
B. Burgstaller, J. Blieberger, R. Mittermayr:
"Static Detection of Access Anomalies in Ada95";
Vortrag: Reliable Software Technologies - Ada-Europe,
Porto, Portugal;
05.06.2006
- 09.06.2006; in: "Proc. 11th International Conference on Reliable Software Technologies - Ada-Europe 2006",
Springer-Verlag,
(2006),
ISBN: 3-540-34663-5;
S. 40
- 55.
Kurzfassung englisch:
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.
"Offizielle" elektronische Version der Publikation (entsprechend ihrem Digital Object Identifier - DOI)
http://dx.doi.org/10.1007/11767077_4
Online-Bibliotheks-Katalog der TU Wien:
http://aleph.ub.tuwien.ac.at/F?base=tuw01&func=find-c&ccl_term=AC06586781
Erstellt aus der Publikationsdatenbank der Technischen Universität Wien.