Responsibilities of JVM bytecode verifier

Question

Could someone list major tasks that the bytecode verifier has to perform to guarantee correctness of the program? Is there a standard, minimal set of responsibilities define

Answer 1

It does the following:

• There are no operand stack overflows or underflows
• The types of the parameters of all bytecode instructions are known to always be correct
• Object field accesses are known to be legal--private, public, or protected

Reference: http://java.sun.com/docs/white/langenv/Security.doc3.html