public class SourceInterpreter extends Interpreter<SourceValue> implements Opcodes
Interpreter for SourceValue values.apiAALOAD, AASTORE, ACC_ABSTRACT, ACC_ANNOTATION, ACC_BRIDGE, ACC_DEPRECATED, ACC_ENUM, ACC_FINAL, ACC_INTERFACE, ACC_MANDATED, ACC_NATIVE, ACC_PRIVATE, ACC_PROTECTED, ACC_PUBLIC, ACC_STATIC, ACC_STRICT, ACC_SUPER, ACC_SYNCHRONIZED, ACC_SYNTHETIC, ACC_TRANSIENT, ACC_VARARGS, ACC_VOLATILE, ACONST_NULL, ALOAD, ANEWARRAY, ARETURN, ARRAYLENGTH, ASM4, ASM5, 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, V1_1, V1_2, V1_3, V1_4, V1_5, V1_6, V1_7, V1_8| Modifier | Constructor and Description |
|---|---|
|
SourceInterpreter() |
protected |
SourceInterpreter(int api) |
| Modifier and Type | Method and Description |
|---|---|
SourceValue |
binaryOperation(AbstractInsnNode insn,
SourceValue value1,
SourceValue value2)
Interprets a bytecode instruction with two arguments.
|
SourceValue |
copyOperation(AbstractInsnNode insn,
SourceValue value)
Interprets a bytecode instruction that moves a value on the stack or to
or from local variables.
|
SourceValue |
merge(SourceValue d,
SourceValue w)
Merges two values.
|
SourceValue |
naryOperation(AbstractInsnNode insn,
List<? extends SourceValue> values)
Interprets a bytecode instruction with a variable number of arguments.
|
SourceValue |
newOperation(AbstractInsnNode insn)
Interprets a bytecode instruction without arguments.
|
SourceValue |
newValue(Type type)
Creates a new value that represents the given type.
|
void |
returnOperation(AbstractInsnNode insn,
SourceValue value,
SourceValue expected)
Interprets a bytecode return instruction.
|
SourceValue |
ternaryOperation(AbstractInsnNode insn,
SourceValue value1,
SourceValue value2,
SourceValue value3)
Interprets a bytecode instruction with three arguments.
|
SourceValue |
unaryOperation(AbstractInsnNode insn,
SourceValue value)
Interprets a bytecode instruction with a single argument.
|
public SourceInterpreter()
protected SourceInterpreter(int api)
public SourceValue newValue(Type type)
Interpreterthis), exception
handler variable and with null type for variables reserved
by long and double types.newValue in class Interpreter<SourceValue>type - a primitive or reference type, or null to represent
an uninitialized value.public SourceValue newOperation(AbstractInsnNode insn)
InterpreternewOperation in class Interpreter<SourceValue>insn - the bytecode instruction to be interpreted.public SourceValue copyOperation(AbstractInsnNode insn, SourceValue value)
InterpretercopyOperation in class Interpreter<SourceValue>insn - the bytecode instruction to be interpreted.value - the value that must be moved by the instruction.public SourceValue unaryOperation(AbstractInsnNode insn, SourceValue value)
InterpreterunaryOperation in class Interpreter<SourceValue>insn - the bytecode instruction to be interpreted.value - the argument of the instruction to be interpreted.public SourceValue binaryOperation(AbstractInsnNode insn, SourceValue value1, SourceValue value2)
InterpreterbinaryOperation in class Interpreter<SourceValue>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.public SourceValue ternaryOperation(AbstractInsnNode insn, SourceValue value1, SourceValue value2, SourceValue value3)
InterpreterternaryOperation in class Interpreter<SourceValue>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.public SourceValue naryOperation(AbstractInsnNode insn, List<? extends SourceValue> values)
InterpreternaryOperation in class Interpreter<SourceValue>insn - the bytecode instruction to be interpreted.values - the arguments of the instruction to be interpreted.public void returnOperation(AbstractInsnNode insn, SourceValue value, SourceValue expected)
InterpreterreturnOperation in class Interpreter<SourceValue>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.public SourceValue merge(SourceValue d, SourceValue w)
Interpretermerge in class Interpreter<SourceValue>d - a value.w - another value.