[GAP] Ada for security (rather than safety, reliability)?

[Florian Villoing]

On Tue, 12 Feb 2008 12:58:08 -0700
Bo Sanden <bsanden at acm.org> wrote:

> This came up in a class discussion. I haven't researched it.
> 
> Some security vulnerabilities are caused by abusable syntax in widely 
> used languages. Are there examples where Ada has been chosen expressly 
> to avoid such vulnerabilities? If not, are there examples where security 
> has been mentioned along with other concerns such as safety or 
> reliability as reasons for choosing Ada?

You can have a look at the following slides:
https://libre.adacore.com/Software_Matters/03-C_pitfalls.pdf 

-- 
-- Florian Villoing
-- AdaCore - our developers are our support team --