3955N/A * Copyright (c) 1998, 2012, Oracle and/or its affiliates. All rights reserved. 0N/A * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER. 0N/A * This code is free software; you can redistribute it and/or modify it 0N/A * under the terms of the GNU General Public License version 2 only, as 0N/A * published by the Free Software Foundation. 0N/A * This code is distributed in the hope that it will be useful, but WITHOUT 0N/A * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or 0N/A * FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License 0N/A * version 2 for more details (a copy is included in the LICENSE file that 0N/A * accompanied this code). 0N/A * You should have received a copy of the GNU General Public License version 0N/A * 2 along with this work; if not, write to the Free Software Foundation, 0N/A * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA. 1472N/A * Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA 0N/A// The verifier class 0N/A * Verify the bytecodes for a class. If 'throw_exception' is true 0N/A * then the appropriate VerifyError or ClassFormatError will be thrown. 0N/A * Otherwise, no exception is thrown and the return indicates the 973N/A // Return false if the class is loaded by the bootstrap loader, 973N/A // or if defineClass was called requesting skipping verification 0N/A // Relax certain verifier checks to enable some broken 1.1 apps to run on 1.2. 0N/A// Summary of verifier's memory usage: 0N/A// StackMapTable is stack allocated. 2062N/A// StackMapFrame are resource allocated. There is only one ResourceMark 2062N/A// for each class verification, which is created at the top level. 0N/A// There is one mutable StackMapFrame (current_frame) which is updated 0N/A// by abstract bytecode interpretation. frame_in_exception_handler() returns 0N/A// a frame that has a mutable one-item stack (ready for pushing the 0N/A// catch type exception object). All the other StackMapFrame's 0N/A// are immutable (including their locals and stack arrays) after 0N/A// their constructions. 0N/A// the mutable StackMapFrame (current_frame). 0N/A// These macros are used similarly to CHECK macros but also check 0N/A// the status of the verifier and return if that has an error. 0N/A// A new instance of this class is created for each class being verified 1490N/A // Some recursive calls from the verifier to the name resolver 1490N/A // can cause the current class to be re-verified and rewritten. 1490N/A // If this happens, the original verification should not continue, 1490N/A // because constant pool indexes will have changed. 1490N/A // The rewriter is preceded by the verifier. If the verifier throws 1490N/A // an error, rewriting is prevented. Also, rewriting always precedes 1490N/A // bytecode execution or compilation. Thus, is_rewritten implies 1490N/A // that a class has been verified and prepared for execution. 0N/A // Verifies the class. If a verify or class file format error occurs, 0N/A // the '_exception_name' symbols will set to the exception name and 0N/A // the message_buffer will be filled in with the exception message. 0N/A // Return status modes 0N/A // Called when verify or class format errors are encountered. 0N/A // May throw an exception based upon the mode. 2062N/A // Keep a list of temporary symbols created during verification because 2062N/A // their reference counts need to be decrememented when the verifier object 2062N/A // goes out of scope. Since these symbols escape the scope in which they're 2062N/A // created, we can't use a TempNewSymbol. 2062N/A // Create another symbol to save as signature stream unreferences 1879N/A#
endif // SHARE_VM_CLASSFILE_VERIFIER_HPP