BasicVerifier

copyOperation

Interprets a bytecode instruction that moves a value on the stack or to
or from local variables. This method is called for the following opcodes:
ILOAD, LLOAD, FLOAD, DLOAD, ALOAD, ISTORE, LSTORE, FSTORE, DSTORE,
ASTORE, DUP, DUP_X1, DUP_X2, DUP2, DUP2_X1, DUP2_X2, SWAP