程序包 cn.taketoday.bytecode.tree.analysis

类 BasicVerifier

java.lang.Object
cn.taketoday.bytecode.tree.analysis.Interpreter<BasicValue>
cn.taketoday.bytecode.tree.analysis.BasicInterpreter
cn.taketoday.bytecode.tree.analysis.BasicVerifier
所有已实现的接口:
Opcodes
直接已知子类:
SimpleVerifier
public class BasicVerifier extends BasicInterpreter
An extended BasicInterpreter that checks that bytecode instructions are correctly used.
作者:
Eric Bruneton, Bing Ran

  • 构造器详细资料

    • BasicVerifier

      public BasicVerifier()
      Constructs a new BasicVerifier for the latest ASM API version.

  • 方法详细资料

    • copyOperation

      public BasicValue copyOperation(AbstractInsnNode insn, BasicValue value) throws AnalyzerException
      从类复制的说明: Interpreter
      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

      覆盖:
      copyOperation 在类中 BasicInterpreter
      参数:
      insn - the bytecode instruction to be interpreted.
      value - the value that must be moved by the instruction.
      返回:
      the result of the interpretation of the given instruction. The returned value must be equal to the given value.
      抛出:
      AnalyzerException - if an error occurred during the interpretation.

    • unaryOperation

      public BasicValue unaryOperation(AbstractInsnNode insn, BasicValue value) throws AnalyzerException
      从类复制的说明: Interpreter
      Interprets a bytecode instruction with a single argument. This method is called for the following opcodes:

      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 在类中 BasicInterpreter
      参数:
      insn - the bytecode instruction to be interpreted.
      value - the argument of the instruction to be interpreted.
      返回:
      the result of the interpretation of the given instruction.
      抛出:
      AnalyzerException - if an error occurred during the interpretation.

    • binaryOperation

      public BasicValue binaryOperation(AbstractInsnNode insn, BasicValue value1, BasicValue value2) throws AnalyzerException
      从类复制的说明: Interpreter
      Interprets a bytecode instruction with two arguments. This method is called for the following opcodes:

      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 在类中 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.
      返回:
      the result of the interpretation of the given instruction.
      抛出:
      AnalyzerException - if an error occurred during the interpretation.

    • ternaryOperation

      public BasicValue ternaryOperation(AbstractInsnNode insn, BasicValue value1, BasicValue value2, BasicValue value3) throws AnalyzerException
      从类复制的说明: Interpreter
      Interprets a bytecode instruction with three arguments. This method is called for the following opcodes:

      IASTORE, LASTORE, FASTORE, DASTORE, AASTORE, BASTORE, CASTORE, SASTORE

      覆盖:
      ternaryOperation 在类中 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.
      返回:
      the result of the interpretation of the given instruction.
      抛出:
      AnalyzerException - if an error occurred during the interpretation.

    • naryOperation

      public BasicValue naryOperation(AbstractInsnNode insn, List<? extends BasicValue> values) throws AnalyzerException
      从类复制的说明: Interpreter
      Interprets a bytecode instruction with a variable number of arguments. This method is called for the following opcodes:

      INVOKEVIRTUAL, INVOKESPECIAL, INVOKESTATIC, INVOKEINTERFACE, MULTIANEWARRAY and INVOKEDYNAMIC

      覆盖:
      naryOperation 在类中 BasicInterpreter
      参数:
      insn - the bytecode instruction to be interpreted.
      values - the arguments of the instruction to be interpreted.
      返回:
      the result of the interpretation of the given instruction.
      抛出:
      AnalyzerException - if an error occurred during the interpretation.

    • returnOperation

      public void returnOperation(AbstractInsnNode insn, BasicValue value, BasicValue expected) throws AnalyzerException
      从类复制的说明: Interpreter
      Interprets a bytecode return instruction. This method is called for the following opcodes:

      IRETURN, LRETURN, FRETURN, DRETURN, ARETURN

      覆盖:
      returnOperation 在类中 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.

    • isArrayValue

      protected boolean isArrayValue(BasicValue value)
      Returns whether the given value corresponds to an array reference.
      参数:
      value - a value.
      返回:
      whether 'value' corresponds to an array reference.

    • getElementValue

      protected BasicValue getElementValue(BasicValue objectArrayValue) throws AnalyzerException
      Returns the value corresponding to the type of the elements of the given array reference value.
      参数:
      objectArrayValue - a value corresponding to array of object (or array) references.
      返回:
      the value corresponding to the type of the elements of 'objectArrayValue'.
      抛出:
      AnalyzerException - if objectArrayValue does not correspond to an array type.

    • isSubTypeOf

      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.
      参数:
      value - a value.
      expected - another value.
      返回:
      whether the type corresponding to 'value' is a subtype of the type corresponding to 'expected'.