An abstract interpretation approach for enhancing the java bytecode verifier - Barbuti, Roberto.