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. © Springer-Verlag Berlin Heidelberg 2006.
Cite
CITATION STYLE
Burgstaller, B., Blieberger, J., & Mittermayr, R. (2006). Static detection of access anomalies in Ada95. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 4006 LNCS, pp. 40–55). Springer Verlag. https://doi.org/10.1007/11767077_4
Register to see more suggestions
Mendeley helps you to discover research relevant for your work.
