Bytecodes:

aload, astore, arraylength, checkcast, instanceof

• If the Java Card RE is the currently active context, access is allowed.

• Otherwise, if the bytecode is aastore and the component being stored is a reference type and the reference being stored is a reference to a temporary Java Card RE Entry Point Object or a global array, access is denied.

• Otherwise, if the array is owned by an applet in the currently active context, access is allowed.

• Otherwise, if the array is designated global, access is allowed.

• Otherwise, access is denied.