Systems & Memory
Memory-Safe Language
A language that prevents out-of-bounds access and use of freed memory, by checks at run time or rules at compile time.
In more detail
Python, Java, Go and Rust are examples. They remove entire bug classes such as buffer overflows and use-after-free, though code in them can still call unsafe native libraries. Moving risky components to memory-safe languages is the most complete fix for memory bugs.