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 memory-safe because its runtime error detection checks array bounds and pointer dereferences. By contrast, programming languages like C, C++, and Fortran allow arbitrary pointer arithmetic with pointers implemented as direct memory addresses with no provision for bounds checking, making them memory-unsafe. Memory-unsafe code is typically found in legacy programming languages, with modern programming languages generally incorporating either garbage collection (as in most languages) or static analysis (as in Rust) to prevent such errors (with the notable exception of Zig).