Static Detection of Access Anomalies in Ada95 [chapter]

Bernd Burgstaller, Johann Blieberger, Robert Mittermayr
2006 Lecture Notes in Computer Science  
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.
doi:10.1007/11767077_4 fatcat:7suckrssdjblnlxsymjv5tmbsq