This document specifies software programming language vulnerabilities to be avoided in the development of systems where assured behaviour is required for security, safety, mission-critical and business-critical software. In general, this document is applicable to the software developed, reviewed or maintained for any application.
Vulnerabilities described in this document present the way that the vulnerability described in ISO/IEC TR 24772-1 are manifested in Ada.Cross References:ISO/IEC 8652ISO/IEC 2382ISO/IEC TR 24772-1ISO/IEC TR 15942:2000ISO/IEC TR 10000-1ISO/IEC/IEEE 60559:2011ISO/IEC TR 24718:2005ISO 10241 (all parts)ISO/IEC 15291:1999IEC 61508ISO/IEC 15408 (all parts)ISO 80000-2:2019All current amendments available at time of purchase are included with the purchase of this document.