Bytecode Verification

• The file is correctly formatted
• The parameter stack will not overflow or underflow
• Bytecode instructions use the correct types
• No invalid type conversions are performed
• No unauthorised member access is performed (through private or protected fields and methods).
• Register accesses follow the legal conventions

• Insecure Java implementation (e.g. type checking)
• Inappropriate security policy

• PreviousThe Java Sandbox Model
• Contents
• NextPolicy Example

 Last change: Wednesday, June 23, 2004 10:56 am
 Unless otherwise expressly stated, all original material on this page created by Diomidis Spinellis is licensed under a Creative Commons Attribution-Share Alike 3.0 Greece License.