Opcodes
SimpleVerifier
public class BasicVerifier extends BasicInterpreter
BasicInterpreter
that checks that bytecode instructions are correctly used.NULL_TYPE
api
AALOAD, AASTORE, ACC_ABSTRACT, ACC_ANNOTATION, ACC_BRIDGE, ACC_DEPRECATED, ACC_ENUM, ACC_FINAL, ACC_INTERFACE, ACC_MANDATED, ACC_MODULE, ACC_NATIVE, ACC_OPEN, ACC_PRIVATE, ACC_PROTECTED, ACC_PUBLIC, ACC_STATIC, ACC_STATIC_PHASE, ACC_STRICT, ACC_SUPER, ACC_SYNCHRONIZED, ACC_SYNTHETIC, ACC_TRANSIENT, ACC_TRANSITIVE, ACC_VARARGS, ACC_VOLATILE, ACONST_NULL, ALOAD, ANEWARRAY, ARETURN, ARRAYLENGTH, ASM4, ASM5, ASM6, ASM7_EXPERIMENTAL, ASTORE, ATHROW, BALOAD, BASTORE, BIPUSH, CALOAD, CASTORE, CHECKCAST, D2F, D2I, D2L, DADD, DALOAD, DASTORE, DCMPG, DCMPL, DCONST_0, DCONST_1, DDIV, DLOAD, DMUL, DNEG, DOUBLE, DREM, DRETURN, DSTORE, DSUB, DUP, DUP_X1, DUP_X2, DUP2, DUP2_X1, DUP2_X2, F_APPEND, F_CHOP, F_FULL, F_NEW, F_SAME, F_SAME1, F2D, F2I, F2L, FADD, FALOAD, FASTORE, FCMPG, FCMPL, FCONST_0, FCONST_1, FCONST_2, FDIV, FLOAD, FLOAT, FMUL, FNEG, FREM, FRETURN, FSTORE, FSUB, GETFIELD, GETSTATIC, GOTO, H_GETFIELD, H_GETSTATIC, H_INVOKEINTERFACE, H_INVOKESPECIAL, H_INVOKESTATIC, H_INVOKEVIRTUAL, H_NEWINVOKESPECIAL, H_PUTFIELD, H_PUTSTATIC, I2B, I2C, I2D, I2F, I2L, I2S, IADD, IALOAD, IAND, IASTORE, ICONST_0, ICONST_1, ICONST_2, ICONST_3, ICONST_4, ICONST_5, ICONST_M1, IDIV, IF_ACMPEQ, IF_ACMPNE, IF_ICMPEQ, IF_ICMPGE, IF_ICMPGT, IF_ICMPLE, IF_ICMPLT, IF_ICMPNE, IFEQ, IFGE, IFGT, IFLE, IFLT, IFNE, IFNONNULL, IFNULL, IINC, ILOAD, IMUL, INEG, INSTANCEOF, INTEGER, INVOKEDYNAMIC, INVOKEINTERFACE, INVOKESPECIAL, INVOKESTATIC, INVOKEVIRTUAL, IOR, IREM, IRETURN, ISHL, ISHR, ISTORE, ISUB, IUSHR, IXOR, JSR, L2D, L2F, L2I, LADD, LALOAD, LAND, LASTORE, LCMP, LCONST_0, LCONST_1, LDC, LDIV, LLOAD, LMUL, LNEG, LONG, LOOKUPSWITCH, LOR, LREM, LRETURN, LSHL, LSHR, LSTORE, LSUB, LUSHR, LXOR, MONITORENTER, MONITOREXIT, MULTIANEWARRAY, NEW, NEWARRAY, NOP, NULL, POP, POP2, PUTFIELD, PUTSTATIC, RET, RETURN, SALOAD, SASTORE, SIPUSH, SWAP, T_BOOLEAN, T_BYTE, T_CHAR, T_DOUBLE, T_FLOAT, T_INT, T_LONG, T_SHORT, TABLESWITCH, TOP, UNINITIALIZED_THIS, V_PREVIEW_EXPERIMENTAL, V1_1, V1_2, V1_3, V1_4, V1_5, V1_6, V1_7, V1_8, V10, V11, V9
Modifier | Constructor | Description |
---|---|---|
|
BasicVerifier() |
Constructs a new
BasicVerifier for the latest ASM API version. |
protected |
BasicVerifier(int api) |
Constructs a new
BasicVerifier . |
Modifier and Type | Method | Description |
---|---|---|
BasicValue |
binaryOperation(AbstractInsnNode insn,
BasicValue value1,
BasicValue value2) |
Interprets a bytecode instruction with two arguments.
|
BasicValue |
copyOperation(AbstractInsnNode insn,
BasicValue value) |
Interprets a bytecode instruction that moves a value on the stack or to or from local
variables.
|
protected BasicValue |
getElementValue(BasicValue objectArrayValue) |
Returns the value corresponding to the type of the elements of the given array reference value.
|
protected boolean |
isArrayValue(BasicValue value) |
Returns whether the given value corresponds to an array reference.
|
protected boolean |
isSubTypeOf(BasicValue value,
BasicValue expected) |
Returns whether the type corresponding to the first argument is a subtype of the type
corresponding to the second argument.
|
BasicValue |
naryOperation(AbstractInsnNode insn,
java.util.List<? extends BasicValue> values) |
Interprets a bytecode instruction with a variable number of arguments.
|
void |
returnOperation(AbstractInsnNode insn,
BasicValue value,
BasicValue expected) |
Interprets a bytecode return instruction.
|
BasicValue |
ternaryOperation(AbstractInsnNode insn,
BasicValue value1,
BasicValue value2,
BasicValue value3) |
Interprets a bytecode instruction with three arguments.
|
BasicValue |
unaryOperation(AbstractInsnNode insn,
BasicValue value) |
Interprets a bytecode instruction with a single argument.
|
merge, newOperation, newValue
newEmptyNonParameterLocalValue, newEmptyValueAfterSize2Local, newEmptyValueForPreviousSize2Local, newExceptionValue, newParameterValue, newReturnTypeValue
public BasicVerifier()
BasicVerifier
for the latest ASM API version. Subclasses must not
use this constructor. Instead, they must use the BasicVerifier(int)
version.protected BasicVerifier(int api)
BasicVerifier
.api
- the ASM API version supported by this interpreter. Must be one of Opcodes.ASM4
, Opcodes.ASM5
, Opcodes.ASM6
or Opcodes.ASM7_EXPERIMENTAL
.public BasicValue copyOperation(AbstractInsnNode insn, BasicValue value) throws AnalyzerException
Interpreter
ILOAD, LLOAD, FLOAD, DLOAD, ALOAD, ISTORE, LSTORE, FSTORE, DSTORE, ASTORE, DUP, DUP_X1, DUP_X2, DUP2, DUP2_X1, DUP2_X2, SWAP
copyOperation
in class BasicInterpreter
insn
- the bytecode instruction to be interpreted.value
- the value that must be moved by the instruction.AnalyzerException
- if an error occurred during the interpretation.public BasicValue unaryOperation(AbstractInsnNode insn, BasicValue value) throws AnalyzerException
Interpreter
INEG, LNEG, FNEG, DNEG, IINC, I2L, I2F, I2D, L2I, L2F, L2D, F2I, F2L, F2D, D2I, D2L, D2F, I2B, I2C, I2S, IFEQ, IFNE, IFLT, IFGE, IFGT, IFLE, TABLESWITCH, LOOKUPSWITCH, IRETURN, LRETURN, FRETURN, DRETURN, ARETURN, PUTSTATIC, GETFIELD, NEWARRAY, ANEWARRAY, ARRAYLENGTH, ATHROW, CHECKCAST, INSTANCEOF, MONITORENTER, MONITOREXIT, IFNULL, IFNONNULL
unaryOperation
in class BasicInterpreter
insn
- the bytecode instruction to be interpreted.value
- the argument of the instruction to be interpreted.AnalyzerException
- if an error occurred during the interpretation.public BasicValue binaryOperation(AbstractInsnNode insn, BasicValue value1, BasicValue value2) throws AnalyzerException
Interpreter
IALOAD, LALOAD, FALOAD, DALOAD, AALOAD, BALOAD, CALOAD, SALOAD, IADD, LADD, FADD, DADD, ISUB, LSUB, FSUB, DSUB, IMUL, LMUL, FMUL, DMUL, IDIV, LDIV, FDIV, DDIV, IREM, LREM, FREM, DREM, ISHL, LSHL, ISHR, LSHR, IUSHR, LUSHR, IAND, LAND, IOR, LOR, IXOR, LXOR, LCMP, FCMPL, FCMPG, DCMPL, DCMPG, IF_ICMPEQ, IF_ICMPNE, IF_ICMPLT, IF_ICMPGE, IF_ICMPGT, IF_ICMPLE, IF_ACMPEQ, IF_ACMPNE, PUTFIELD
binaryOperation
in class BasicInterpreter
insn
- the bytecode instruction to be interpreted.value1
- the first argument of the instruction to be interpreted.value2
- the second argument of the instruction to be interpreted.AnalyzerException
- if an error occurred during the interpretation.public BasicValue ternaryOperation(AbstractInsnNode insn, BasicValue value1, BasicValue value2, BasicValue value3) throws AnalyzerException
Interpreter
IASTORE, LASTORE, FASTORE, DASTORE, AASTORE, BASTORE, CASTORE, SASTORE
ternaryOperation
in class BasicInterpreter
insn
- the bytecode instruction to be interpreted.value1
- the first argument of the instruction to be interpreted.value2
- the second argument of the instruction to be interpreted.value3
- the third argument of the instruction to be interpreted.AnalyzerException
- if an error occurred during the interpretation.public BasicValue naryOperation(AbstractInsnNode insn, java.util.List<? extends BasicValue> values) throws AnalyzerException
Interpreter
INVOKEVIRTUAL, INVOKESPECIAL, INVOKESTATIC, INVOKEINTERFACE, MULTIANEWARRAY and INVOKEDYNAMIC
naryOperation
in class BasicInterpreter
insn
- the bytecode instruction to be interpreted.values
- the arguments of the instruction to be interpreted.AnalyzerException
- if an error occurred during the interpretation.public void returnOperation(AbstractInsnNode insn, BasicValue value, BasicValue expected) throws AnalyzerException
Interpreter
IRETURN, LRETURN, FRETURN, DRETURN, ARETURN
returnOperation
in class BasicInterpreter
insn
- the bytecode instruction to be interpreted.value
- the argument of the instruction to be interpreted.expected
- the expected return type of the analyzed method.AnalyzerException
- if an error occurred during the interpretation.protected boolean isArrayValue(BasicValue value)
value
- a value.protected BasicValue getElementValue(BasicValue objectArrayValue) throws AnalyzerException
objectArrayValue
- a value corresponding to array of object (or array) references.AnalyzerException
- if objectArrayValue does not correspond to an array type.protected boolean isSubTypeOf(BasicValue value, BasicValue expected)
value
- a value.expected
- another value.