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
Constructor | Description |
---|---|
Analyzer(Interpreter<V> interpreter) |
Constructs a new
Analyzer . |
Modifier and Type | Method | Description |
---|---|---|
Frame<V>[] |
analyze(java.lang.String owner,
MethodNode method) |
Analyzes the given method.
|
Frame<V>[] |
getFrames() |
Returns the symbolic execution stack frame for each instruction of the last analyzed method.
|
java.util.List<TryCatchBlockNode> |
getHandlers(int insnIndex) |
Returns the exception handlers for the given instruction.
|
protected void |
init(java.lang.String owner,
MethodNode method) |
Initializes this analyzer.
|
protected void |
newControlFlowEdge(int insnIndex,
int successorIndex) |
Creates a control flow graph edge.
|
protected boolean |
newControlFlowExceptionEdge(int insnIndex,
int successorIndex) |
Creates a control flow graph edge corresponding to an exception handler.
|
protected boolean |
newControlFlowExceptionEdge(int insnIndex,
TryCatchBlockNode tryCatchBlock) |
Creates a control flow graph edge corresponding to an exception handler.
|
protected Frame<V> |
newFrame(int nLocals,
int nStack) |
Constructs a new frame with the given size.
|
protected Frame<V> |
newFrame(Frame<? extends V> frame) |
Constructs a copy of the given frame.
|
public Analyzer(Interpreter<V> interpreter)
Analyzer
.interpreter
- the interpreter to use to symbolically interpret the bytecode instructions.public Frame<V>[] analyze(java.lang.String owner, MethodNode method) throws AnalyzerException
owner
- the internal name of the class to which 'method' belongs.method
- the method to be analyzed.AnalyzerException
- if a problem occurs during the analysis.public Frame<V>[] getFrames()
public java.util.List<TryCatchBlockNode> getHandlers(int insnIndex)
insnIndex
- the index of an instruction of the last analyzed method.TryCatchBlockNode
objects.protected void init(java.lang.String owner, MethodNode method) throws AnalyzerException
owner
- the internal name of the class to which the method belongs.method
- the method to be analyzed.AnalyzerException
- if a problem occurs.protected Frame<V> newFrame(int nLocals, int nStack)
nLocals
- the maximum number of local variables of the frame.nStack
- the maximum stack size of the frame.protected Frame<V> newFrame(Frame<? extends V> frame)
frame
- a frame.protected void newControlFlowEdge(int insnIndex, int successorIndex)
analyze(java.lang.String, scala.tools.asm.tree.MethodNode)
method during its visit of the method's code).insnIndex
- an instruction index.successorIndex
- index of a successor instruction.protected boolean newControlFlowExceptionEdge(int insnIndex, int successorIndex)
analyze(java.lang.String, scala.tools.asm.tree.MethodNode)
method during its
visit of the method's code).insnIndex
- an instruction index.successorIndex
- index of a successor instruction.protected boolean newControlFlowExceptionEdge(int insnIndex, TryCatchBlockNode tryCatchBlock)
newControlFlowExceptionEdge(int, int)
. It
can be overridden in order to construct the control flow graph of a method (this method is
called by the analyze(java.lang.String, scala.tools.asm.tree.MethodNode)
method during its visit of the method's code).insnIndex
- an instruction index.tryCatchBlock
- TryCatchBlockNode corresponding to this edge.newControlFlowExceptionEdge(int, int)
.