a denial of service attack on the java bytecode verifier .
the jalapeno virtual machine .