Static detection of access anomalies in Ada95

Bernd Burgstaller, Johann Blieberger, Robert Mittermayr

Research output: Chapter in Book/Report/Conference proceedingConference contribution

3 Citations (Scopus)

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.

Original languageEnglish
Title of host publicationReliable Software Technologies - Ada-Europe 2006 - 11th Ada-Europe International Conference on Reliable Software Technologies, Proceedings
PublisherSpringer Verlag
Pages40-55
Number of pages16
ISBN (Print)3540346635, 9783540346630
DOIs
Publication statusPublished - 2006 Jan 1
Event11th Ada-Europe International Conference on Reliable Software Technologies - Porto, Portugal
Duration: 2006 Jun 52006 Jun 9

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume4006 LNCS
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Other

Other11th Ada-Europe International Conference on Reliable Software Technologies
CountryPortugal
CityPorto
Period06/6/506/6/9

All Science Journal Classification (ASJC) codes

  • Theoretical Computer Science
  • Computer Science(all)

Fingerprint Dive into the research topics of 'Static detection of access anomalies in Ada95'. Together they form a unique fingerprint.

  • Cite this

    Burgstaller, B., Blieberger, J., & Mittermayr, R. (2006). Static detection of access anomalies in Ada95. In Reliable Software Technologies - Ada-Europe 2006 - 11th Ada-Europe International Conference on Reliable Software Technologies, Proceedings (pp. 40-55). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 4006 LNCS). Springer Verlag. https://doi.org/10.1007/11767077_4