From: dirk@orka.cs.kuleuven.be. (Dirk Craeynest)
Subject: Re: Ada Monthly Meetup 2024
Date: Sun, 10 Mar 2024 16:14:35 -0000 (UTC) [thread overview]
Message-ID: <uskm9b$31t7t$1@dont-email.me> (raw)
In-Reply-To: ushvqa$2ctsj$1@dont-email.me
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
next prev parent reply other threads:[~2024-03-10 16:14 UTC|newest]
Thread overview: 5+ messages / expand[flat|nested] mbox.gz Atom feed top
2024-03-03 19:31 Ada Monthly Meetup 2024 Fernando Oleo / Irvise
2024-03-09 15:38 ` Fernando Oleo / Irvise
2024-03-10 16:14 ` Dirk Craeynest [this message]
2024-03-17 9:10 ` Fernando Oleo / Irvise
2024-04-01 20:58 ` Fernando Oleo / Irvise
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox