Java Language Security Class Load Time Enforcement

• Bytecode verifier is part of the VM

• Bytecode verification

  • Verifies class file format
  • Final classes are not subclassed
  • Final methods are not overridden
  • Every class has a single superclass (except Object, of course)