A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2006; you can also visit the original URL.
The file type is application/pdf
.
Static Detection of Access Anomalies in Ada95
[chapter]
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