Static detection of access anomalies in ada95
Ada-Europe'06 Proceedings of the 11th Ada-Europe international conference on Reliable Software Technologies
Hi-index | 0.00 |
We introduce the class of destructive run-time errors as those errors after which the execution status of the program can be so damaged that it is usually impossible to perform any kind of program-driven recovery. Programming errors causing this destructive events are analysed, with particular attention to those cases not related to the use of explicitly "dangerous" low level constructs. It is shown how the risk of these errors can be easily underestimated.