Search

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.

blog comments powered by Disqus