The NSA paper <https://media.defense.gov/2022/Nov/10/2003112742/-1/-1/0/CSI_SOFTWARE_MEMORY_SAFETY.PDF> says
Some examples of memory safe languages are C#, Go, Java, Ruby™, and Swift® Note "Some"; it is not an exhaustive list of memory safe languages. Presumably these languages are mentioned because of their current popularity? > On Jul 23, 2023, at 5:23 PM, Robert Solomon <drrob...@gmail.com> wrote: > > I've been reading that the NSA wrote a position paper last year about memory > safe languages, which include C#, Go, Java, Ruby, Rust and Swift. > > It's clear to me why C and C++ are not on that list. > > I always thought that Ada sought to be memory safe, or is equivalent to that > by saying that Ada focuses on proving programs to be correct. > Why isn't Ada considered memory safe, at least in the eyes of the NSA? > > > -- > You received this message because you are subscribed to the Google Groups > "golang-nuts" group. > To unsubscribe from this group and stop receiving emails from it, send an > email to golang-nuts+unsubscr...@googlegroups.com > <mailto:golang-nuts+unsubscr...@googlegroups.com>. > To view this discussion on the web visit > https://groups.google.com/d/msgid/golang-nuts/bba0b21e-5e34-4529-9878-5453e099a053n%40googlegroups.com > > <https://groups.google.com/d/msgid/golang-nuts/bba0b21e-5e34-4529-9878-5453e099a053n%40googlegroups.com?utm_medium=email&utm_source=footer>. -- You received this message because you are subscribed to the Google Groups "golang-nuts" group. To unsubscribe from this group and stop receiving emails from it, send an email to golang-nuts+unsubscr...@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/golang-nuts/AD127282-B144-4EBB-B153-66D20DC93707%40iitbombay.org.