Exposing Memory Corruptions and Plumbing Leaks: Advanced Mechanisms in Ada

Detecting and correcting errors is an important part of the technology for programming in any language. Ada makes a unique attempt to detect as many problems as possible at compile time, but some problems such as uninitialized variables and memory leaks and corruption can still occur at runtime.

Using other languages it is common to use external tools such as LINT or Purify to attempt to detect these errors. In the paper presented last year, we showed how the problem of uninitialized variables could be handled from within the language, and in this paper we follow a similar approach and show that the problem of memory corruption and leaking can also be handled from within the language.