The 1999 Verifier Hole

• Byte code banditry in Java 2

• Verifier becomes confused in a particular situation

  • throw an exception in a certain state
  • type confusion ensues

• Exploit the type confusion as usual

Previous slide

Next slide

Back to first slide

View graphic version