From mboxrd@z Thu Jan  1 00:00:00 1970
Path: eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail
From: dirk@orka.cs.kuleuven.be. (Dirk Craeynest)
Newsgroups: comp.lang.ada
Subject: Re: Ada Monthly Meetup 2024
Date: Sun, 10 Mar 2024 16:14:35 -0000 (UTC)
Organization: Ada-Belgium, c/o Dept. of Computer Science, KU Leuven
Message-ID: <uskm9b$31t7t$1@dont-email.me>
References: <us2j5p$2lilk$1@dont-email.me> <ushvqa$2ctsj$1@dont-email.me>
Injection-Date: Sun, 10 Mar 2024 16:14:35 -0000 (UTC)
Injection-Info: dont-email.me; posting-host="bada9b469cb20b9290a82fa7aa3a4cec";
	logging-data="3208445"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX1+tsEbev9ANaQRNSrNsioBl6q3KPeVf+lw="
Summary: NSA report on memory-safe programming languages includes Ada
Keywords: Ada, memory-safe
Cancel-Lock: sha1:xKIg5/P/jlN9GhvunoBsc7oZ2Q4=
X-Newsreader: trn 4.0-test77 (Sep 1, 2010)
Originator: dirk@orka.cs.kuleuven.be. (Dirk Craeynest)
Xref: news.eternal-september.org comp.lang.ada:66131
List-Id: <comp.lang.ada>

In article <ushvqa$2ctsj$1@dont-email.me>,
Fernando Oleo / Irvise  <irvise_ml@irvise.xyz> wrote:
>- The [NSA published a list of memory safe 
>languages](https://www.cisa.gov/sites/default/files/2023-12/The-Case-for-Memory-Safe-Roadmaps-508c.pdf)
>    - Ada was not mentioned in the list of programming languages. 
>Nonetheless Ada/SPARK are listed in the references.
>    - Ada needs better visibility and "marketing".

But there's an NSA report on the same topic that lists 9
memory-safe languages, and Ada is included. See "The NSA list of
memory-safe programming languages has been updated - ReadWrite" at
<https://readwrite.com/the-nsa-list-of-memory-safe-programming-languages-has-been-updated/>.

After some searching I found that NSA report at
<https://media.defense.gov/2023/Apr/27/2003210083/-1/-1/0/CSI_SOFTWARE_MEMORY_SAFETY_V1.1.PDF>.

Dirk