Memory safety
https://www.youtube.com/watch?v=V_QAJAhbH9A
Safe C++ Project - https://safecpp.org/draft.html
Fil-C - https://github.com/pizlonator/llvm-project-deluge/blob/deluge/Manifesto.md
https://www.youtube.com/live/_VF3pISRYRc?t=4862s
TrapC Presentation - https://vimeo.com/1028578347
- Snippet from Wikipedia: Memory safety
Memory safety is the state of being protected from various software bugs and security vulnerabilities when dealing with memory access, such as buffer overflows and dangling pointers. For example, Java is said to be memory-safe because its runtime error detection checks array bounds and pointer dereferences. In contrast, C and C++ allow arbitrary pointer arithmetic with pointers implemented as direct memory addresses with no provision for bounds checking, and thus are potentially memory-unsafe.