Memory Safety - the missing definition

There is still no standard, precise definition of memory safety. Here is a modest proposal. Fact. A programming language (PL) consists of a specification and implementation . The specification lays out precisely what the set of accepted programs is and how the code should behave when the program is executed. An implementation must conform to the specification and is what enables programmers to…