The Byte Code Verifier

• Java byte code is checked before it is run

• Ensure that the code plays by the rules

  • catch code made by “hostile compilers”

• The Verifier checks for:

  • stack overflow
  • type correctness
  • illegal casts
  • pointer forging
  • protected class access

Previous slide

Next slide

Back to first slide

View graphic version