When we call a language “safe”, that formally means that there’s a proof that no well-formed program in the language can do something undefined. Java is comple

When we call a language “safe”, that formally means that there’s a proof that no well-formed program in the language can do something undefined. Java is completely safe by that definition. Now, you can have the seat-belt even tighter than that for various types of <domain> safe, but we are moving the goal-posts of the definition.