a denial of service attack on the java bytecode verifier .
the java language specification .