High integrity Ada-the problem

The most significant potential source of insecurities in Ada arises from errors in Ada compilers. Several potential sources of insecurity in the language have been identified, and steps should be taken to avoid these issues. The Ada evaluation service can be used to check many potential problems with an Ada system. Other such tools are being developed.<
>