Class File Verification

Step1: Preverification-Typically done on developer workstation.

• Move some bytecodes, augment Class files with Stack Map attributes

Step 2: Runtime Verification

• Actual class verification done via Stack Map attrs. generated in Step 1
• Execution only begins after runtime verification
• Runtime verification guarantees type safety
• Verification verifies that all bytecodes of class files are inlined.- makes verification faster.