Bytecode Verification

• does not assume that bytecode has been generated by a friendly compiler
• bytecode should not violate Java language guarentees
• it should not forge pointers
• it doesn't violate access restrictions
• it calls methods with appropriate arguments of the correct type
• it accesses objects as they are
  
  
  NOTE: Mocha Decompiler