The Class Loader and Bytecode Verifier
• Loads all classes necessary for the execution of a program
• Maintains classes of the local file system in separate namespaces
• Prevents spoofing
• The Bytecode Verifier ensures that:
-The code adheres to the JVM specification.
-The code does not violate system integrity.
-The code causes no operand stack overflows or underflows.
-The parameter types for all operational code are correct.
-No illegal data conversions (the conversion of integers to pointers) have occurred.