code and data, in case of its misbehavior during execution).
A lot of research has gone into the development of safe languages or safe
versions of existing languages. Many (although not all) of these are variants on
C and C++ that add type- and memory-safety (as well as other safe and secure