points by F3nd0 1 day ago | 0 comments
Other than Ada/SPARK, which languages can guarantee this won’t happen?
[–] tialaramex 1 day ago
[–] mahemm 10 hours ago
Pretty much any memory managed language? Java, Go, Rust, Python, pretty much anything other than C/C++ these days is memory safe for security purposes.
https://github.com/google/wuffs