a denial of service attack on the java bytecode verifier .
The Java Virtual Machine Specification