Static Detection of Access Anomalies in Ada95

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.

• Type: Conference
• Year: 2006
• Where: ADAEUROPE
• Authors: Bernd Burgstaller, Johann Blieberger, Robert Mittermayr
• Keywords: Ada Multi-tasking Programs, ADAEUROPE 2006, Data flow Frameworks, Possible Non-sequential Accesses, Software Engineering