Specifications

Sun Services
Java™ Programming Language Module 1, slide 16 of 23
Copyright 2005 Sun Microsystems, Inc. All Rights Reserved. Sun Services, Revision F
The Bytecode Verifier
Ensures that:
• The code adheres to the JVM specification.
• The code does not violate system integrity.
• The code causes no operand stack overflows or
underflows.
• The parameter types for all operational code are
correct.
• No illegal data conversions (the conversion of integers
to pointers) have occurred.