Sujet : Re: Ada Monthly Meetup 2024
De : dirk (at) *nospam* orka.cs.kuleuven.be. (Dirk Craeynest)
Groupes : comp.lang.adaDate : 10. Mar 2024, 18:14:35
Autres entêtes
Organisation : Ada-Belgium, c/o Dept. of Computer Science, KU Leuven
Message-ID : <uskm9b$31t7t$1@dont-email.me>
References : 1 2
User-Agent : trn 4.0-test77 (Sep 1, 2010)
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