org.apache.bcel.verifier.structurals
Class ExecutionVisitor
public
class
ExecutionVisitor
extends EmptyVisitor
implements Visitor
This Visitor class may be used for a type-based Java Virtual Machine
simulation.
It does not check for correct types on the OperandStack or in the
LocalVariables; nor does it check their sizes are sufficiently big.
Thus, to use this Visitor for bytecode verifying, you have to make sure
externally that the type constraints of the Java Virtual Machine instructions
are satisfied. An InstConstraintVisitor may be used for this.
Anyway, this Visitor does not mandate it. For example, when you
visitIADD(IADD o), then there are two stack slots popped and one
stack slot containing a Type.INT is pushed (where you could also
pop only one slot if you know there are two Type.INT on top of the
stack). Monitor-specific behaviour is not simulated.
Conventions:
Type.VOID will never be pushed onto the stack. Type.DOUBLE and Type.LONG
that would normally take up two stack slots (like Double_HIGH and
Double_LOW) are represented by a simple single Type.DOUBLE or Type.LONG
object on the stack here.
If a two-slot type is stored into a local variable, the next variable
is given the type Type.UNKNOWN.
See Also: ExecutionVisitor InstConstraintVisitor
Method Summary |
void | setConstantPoolGen(ConstantPoolGen cpg)
Sets the ConstantPoolGen needed for symbolic execution. |
void | setFrame(Frame f)
The only method granting access to the single instance of
the ExecutionVisitor class. |
void | visitAALOAD(AALOAD o) Symbolically executes the corresponding Java Virtual Machine instruction. |
void | visitAASTORE(AASTORE o) Symbolically executes the corresponding Java Virtual Machine instruction. |
void | visitACONST_NULL(ACONST_NULL o) Symbolically executes the corresponding Java Virtual Machine instruction. |
void | visitALOAD(ALOAD o) Symbolically executes the corresponding Java Virtual Machine instruction. |
void | visitANEWARRAY(ANEWARRAY o) Symbolically executes the corresponding Java Virtual Machine instruction. |
void | visitARETURN(ARETURN o) Symbolically executes the corresponding Java Virtual Machine instruction. |
void | visitARRAYLENGTH(ARRAYLENGTH o) Symbolically executes the corresponding Java Virtual Machine instruction. |
void | visitASTORE(ASTORE o) Symbolically executes the corresponding Java Virtual Machine instruction. |
void | visitATHROW(ATHROW o) Symbolically executes the corresponding Java Virtual Machine instruction. |
void | visitBALOAD(BALOAD o) Symbolically executes the corresponding Java Virtual Machine instruction. |
void | visitBASTORE(BASTORE o) Symbolically executes the corresponding Java Virtual Machine instruction. |
void | visitBIPUSH(BIPUSH o) Symbolically executes the corresponding Java Virtual Machine instruction. |
void | visitCALOAD(CALOAD o) Symbolically executes the corresponding Java Virtual Machine instruction. |
void | visitCASTORE(CASTORE o) Symbolically executes the corresponding Java Virtual Machine instruction. |
void | visitCHECKCAST(CHECKCAST o) Symbolically executes the corresponding Java Virtual Machine instruction. |
void | visitD2F(D2F o) Symbolically executes the corresponding Java Virtual Machine instruction. |
void | visitD2I(D2I o) Symbolically executes the corresponding Java Virtual Machine instruction. |
void | visitD2L(D2L o) Symbolically executes the corresponding Java Virtual Machine instruction. |
void | visitDADD(DADD o) Symbolically executes the corresponding Java Virtual Machine instruction. |
void | visitDALOAD(DALOAD o) Symbolically executes the corresponding Java Virtual Machine instruction. |
void | visitDASTORE(DASTORE o) Symbolically executes the corresponding Java Virtual Machine instruction. |
void | visitDCMPG(DCMPG o) Symbolically executes the corresponding Java Virtual Machine instruction. |
void | visitDCMPL(DCMPL o) Symbolically executes the corresponding Java Virtual Machine instruction. |
void | visitDCONST(DCONST o) Symbolically executes the corresponding Java Virtual Machine instruction. |
void | visitDDIV(DDIV o) Symbolically executes the corresponding Java Virtual Machine instruction. |
void | visitDLOAD(DLOAD o) Symbolically executes the corresponding Java Virtual Machine instruction. |
void | visitDMUL(DMUL o) Symbolically executes the corresponding Java Virtual Machine instruction. |
void | visitDNEG(DNEG o) Symbolically executes the corresponding Java Virtual Machine instruction. |
void | visitDREM(DREM o) Symbolically executes the corresponding Java Virtual Machine instruction. |
void | visitDRETURN(DRETURN o) Symbolically executes the corresponding Java Virtual Machine instruction. |
void | visitDSTORE(DSTORE o) Symbolically executes the corresponding Java Virtual Machine instruction. |
void | visitDSUB(DSUB o) Symbolically executes the corresponding Java Virtual Machine instruction. |
void | visitDUP(DUP o) Symbolically executes the corresponding Java Virtual Machine instruction. |
void | visitDUP2(DUP2 o) Symbolically executes the corresponding Java Virtual Machine instruction. |
void | visitDUP2_X1(DUP2_X1 o) Symbolically executes the corresponding Java Virtual Machine instruction. |
void | visitDUP2_X2(DUP2_X2 o) Symbolically executes the corresponding Java Virtual Machine instruction. |
void | visitDUP_X1(DUP_X1 o) Symbolically executes the corresponding Java Virtual Machine instruction. |
void | visitDUP_X2(DUP_X2 o) Symbolically executes the corresponding Java Virtual Machine instruction. |
void | visitF2D(F2D o) Symbolically executes the corresponding Java Virtual Machine instruction. |
void | visitF2I(F2I o) Symbolically executes the corresponding Java Virtual Machine instruction. |
void | visitF2L(F2L o) Symbolically executes the corresponding Java Virtual Machine instruction. |
void | visitFADD(FADD o) Symbolically executes the corresponding Java Virtual Machine instruction. |
void | visitFALOAD(FALOAD o) Symbolically executes the corresponding Java Virtual Machine instruction. |
void | visitFASTORE(FASTORE o) Symbolically executes the corresponding Java Virtual Machine instruction. |
void | visitFCMPG(FCMPG o) Symbolically executes the corresponding Java Virtual Machine instruction. |
void | visitFCMPL(FCMPL o) Symbolically executes the corresponding Java Virtual Machine instruction. |
void | visitFCONST(FCONST o) Symbolically executes the corresponding Java Virtual Machine instruction. |
void | visitFDIV(FDIV o) Symbolically executes the corresponding Java Virtual Machine instruction. |
void | visitFLOAD(FLOAD o) Symbolically executes the corresponding Java Virtual Machine instruction. |
void | visitFMUL(FMUL o) Symbolically executes the corresponding Java Virtual Machine instruction. |
void | visitFNEG(FNEG o) Symbolically executes the corresponding Java Virtual Machine instruction. |
void | visitFREM(FREM o) Symbolically executes the corresponding Java Virtual Machine instruction. |
void | visitFRETURN(FRETURN o) Symbolically executes the corresponding Java Virtual Machine instruction. |
void | visitFSTORE(FSTORE o) Symbolically executes the corresponding Java Virtual Machine instruction. |
void | visitFSUB(FSUB o) Symbolically executes the corresponding Java Virtual Machine instruction. |
void | visitGETFIELD(GETFIELD o) Symbolically executes the corresponding Java Virtual Machine instruction. |
void | visitGETSTATIC(GETSTATIC o) Symbolically executes the corresponding Java Virtual Machine instruction. |
void | visitGOTO(GOTO o) Symbolically executes the corresponding Java Virtual Machine instruction. |
void | visitGOTO_W(GOTO_W o) Symbolically executes the corresponding Java Virtual Machine instruction. |
void | visitI2B(I2B o) Symbolically executes the corresponding Java Virtual Machine instruction. |
void | visitI2C(I2C o) Symbolically executes the corresponding Java Virtual Machine instruction. |
void | visitI2D(I2D o) Symbolically executes the corresponding Java Virtual Machine instruction. |
void | visitI2F(I2F o) Symbolically executes the corresponding Java Virtual Machine instruction. |
void | visitI2L(I2L o) Symbolically executes the corresponding Java Virtual Machine instruction. |
void | visitI2S(I2S o) Symbolically executes the corresponding Java Virtual Machine instruction. |
void | visitIADD(IADD o) Symbolically executes the corresponding Java Virtual Machine instruction. |
void | visitIALOAD(IALOAD o) Symbolically executes the corresponding Java Virtual Machine instruction. |
void | visitIAND(IAND o) Symbolically executes the corresponding Java Virtual Machine instruction. |
void | visitIASTORE(IASTORE o) Symbolically executes the corresponding Java Virtual Machine instruction. |
void | visitICONST(ICONST o) Symbolically executes the corresponding Java Virtual Machine instruction. |
void | visitIDIV(IDIV o) Symbolically executes the corresponding Java Virtual Machine instruction. |
void | visitIFEQ(IFEQ o) Symbolically executes the corresponding Java Virtual Machine instruction. |
void | visitIFGE(IFGE o) Symbolically executes the corresponding Java Virtual Machine instruction. |
void | visitIFGT(IFGT o) Symbolically executes the corresponding Java Virtual Machine instruction. |
void | visitIFLE(IFLE o) Symbolically executes the corresponding Java Virtual Machine instruction. |
void | visitIFLT(IFLT o) Symbolically executes the corresponding Java Virtual Machine instruction. |
void | visitIFNE(IFNE o) Symbolically executes the corresponding Java Virtual Machine instruction. |
void | visitIFNONNULL(IFNONNULL o) Symbolically executes the corresponding Java Virtual Machine instruction. |
void | visitIFNULL(IFNULL o) Symbolically executes the corresponding Java Virtual Machine instruction. |
void | visitIF_ACMPEQ(IF_ACMPEQ o) Symbolically executes the corresponding Java Virtual Machine instruction. |
void | visitIF_ACMPNE(IF_ACMPNE o) Symbolically executes the corresponding Java Virtual Machine instruction. |
void | visitIF_ICMPEQ(IF_ICMPEQ o) Symbolically executes the corresponding Java Virtual Machine instruction. |
void | visitIF_ICMPGE(IF_ICMPGE o) Symbolically executes the corresponding Java Virtual Machine instruction. |
void | visitIF_ICMPGT(IF_ICMPGT o) Symbolically executes the corresponding Java Virtual Machine instruction. |
void | visitIF_ICMPLE(IF_ICMPLE o) Symbolically executes the corresponding Java Virtual Machine instruction. |
void | visitIF_ICMPLT(IF_ICMPLT o) Symbolically executes the corresponding Java Virtual Machine instruction. |
void | visitIF_ICMPNE(IF_ICMPNE o) Symbolically executes the corresponding Java Virtual Machine instruction. |
void | visitIINC(IINC o) Symbolically executes the corresponding Java Virtual Machine instruction. |
void | visitILOAD(ILOAD o) Symbolically executes the corresponding Java Virtual Machine instruction. |
void | visitIMUL(IMUL o) Symbolically executes the corresponding Java Virtual Machine instruction. |
void | visitINEG(INEG o) Symbolically executes the corresponding Java Virtual Machine instruction. |
void | visitINSTANCEOF(INSTANCEOF o) Symbolically executes the corresponding Java Virtual Machine instruction. |
void | visitINVOKEINTERFACE(INVOKEINTERFACE o) Symbolically executes the corresponding Java Virtual Machine instruction. |
void | visitINVOKESPECIAL(INVOKESPECIAL o) Symbolically executes the corresponding Java Virtual Machine instruction. |
void | visitINVOKESTATIC(INVOKESTATIC o) Symbolically executes the corresponding Java Virtual Machine instruction. |
void | visitINVOKEVIRTUAL(INVOKEVIRTUAL o) Symbolically executes the corresponding Java Virtual Machine instruction. |
void | visitIOR(IOR o) Symbolically executes the corresponding Java Virtual Machine instruction. |
void | visitIREM(IREM o) Symbolically executes the corresponding Java Virtual Machine instruction. |
void | visitIRETURN(IRETURN o) Symbolically executes the corresponding Java Virtual Machine instruction. |
void | visitISHL(ISHL o) Symbolically executes the corresponding Java Virtual Machine instruction. |
void | visitISHR(ISHR o) Symbolically executes the corresponding Java Virtual Machine instruction. |
void | visitISTORE(ISTORE o) Symbolically executes the corresponding Java Virtual Machine instruction. |
void | visitISUB(ISUB o) Symbolically executes the corresponding Java Virtual Machine instruction. |
void | visitIUSHR(IUSHR o) Symbolically executes the corresponding Java Virtual Machine instruction. |
void | visitIXOR(IXOR o) Symbolically executes the corresponding Java Virtual Machine instruction. |
void | visitJSR(JSR o) Symbolically executes the corresponding Java Virtual Machine instruction. |
void | visitJSR_W(JSR_W o) Symbolically executes the corresponding Java Virtual Machine instruction. |
void | visitL2D(L2D o) Symbolically executes the corresponding Java Virtual Machine instruction. |
void | visitL2F(L2F o) Symbolically executes the corresponding Java Virtual Machine instruction. |
void | visitL2I(L2I o) Symbolically executes the corresponding Java Virtual Machine instruction. |
void | visitLADD(LADD o) Symbolically executes the corresponding Java Virtual Machine instruction. |
void | visitLALOAD(LALOAD o) Symbolically executes the corresponding Java Virtual Machine instruction. |
void | visitLAND(LAND o) Symbolically executes the corresponding Java Virtual Machine instruction. |
void | visitLASTORE(LASTORE o) Symbolically executes the corresponding Java Virtual Machine instruction. |
void | visitLCMP(LCMP o) Symbolically executes the corresponding Java Virtual Machine instruction. |
void | visitLCONST(LCONST o) Symbolically executes the corresponding Java Virtual Machine instruction. |
void | visitLDC(LDC o) Symbolically executes the corresponding Java Virtual Machine instruction. |
void | visitLDC2_W(LDC2_W o) Symbolically executes the corresponding Java Virtual Machine instruction. |
void | visitLDC_W(LDC_W o) Symbolically executes the corresponding Java Virtual Machine instruction. |
void | visitLDIV(LDIV o) Symbolically executes the corresponding Java Virtual Machine instruction. |
void | visitLLOAD(LLOAD o) Symbolically executes the corresponding Java Virtual Machine instruction. |
void | visitLMUL(LMUL o) Symbolically executes the corresponding Java Virtual Machine instruction. |
void | visitLNEG(LNEG o) Symbolically executes the corresponding Java Virtual Machine instruction. |
void | visitLOOKUPSWITCH(LOOKUPSWITCH o) Symbolically executes the corresponding Java Virtual Machine instruction. |
void | visitLOR(LOR o) Symbolically executes the corresponding Java Virtual Machine instruction. |
void | visitLREM(LREM o) Symbolically executes the corresponding Java Virtual Machine instruction. |
void | visitLRETURN(LRETURN o) Symbolically executes the corresponding Java Virtual Machine instruction. |
void | visitLSHL(LSHL o) Symbolically executes the corresponding Java Virtual Machine instruction. |
void | visitLSHR(LSHR o) Symbolically executes the corresponding Java Virtual Machine instruction. |
void | visitLSTORE(LSTORE o) Symbolically executes the corresponding Java Virtual Machine instruction. |
void | visitLSUB(LSUB o) Symbolically executes the corresponding Java Virtual Machine instruction. |
void | visitLUSHR(LUSHR o) Symbolically executes the corresponding Java Virtual Machine instruction. |
void | visitLXOR(LXOR o) Symbolically executes the corresponding Java Virtual Machine instruction. |
void | visitMONITORENTER(MONITORENTER o) Symbolically executes the corresponding Java Virtual Machine instruction. |
void | visitMONITOREXIT(MONITOREXIT o) Symbolically executes the corresponding Java Virtual Machine instruction. |
void | visitMULTIANEWARRAY(MULTIANEWARRAY o) Symbolically executes the corresponding Java Virtual Machine instruction. |
void | visitNEW(NEW o) Symbolically executes the corresponding Java Virtual Machine instruction. |
void | visitNEWARRAY(NEWARRAY o) Symbolically executes the corresponding Java Virtual Machine instruction. |
void | visitNOP(NOP o) Symbolically executes the corresponding Java Virtual Machine instruction. |
void | visitPOP(POP o) Symbolically executes the corresponding Java Virtual Machine instruction. |
void | visitPOP2(POP2 o) Symbolically executes the corresponding Java Virtual Machine instruction. |
void | visitPUTFIELD(PUTFIELD o) Symbolically executes the corresponding Java Virtual Machine instruction. |
void | visitPUTSTATIC(PUTSTATIC o) Symbolically executes the corresponding Java Virtual Machine instruction. |
void | visitRET(RET o) Symbolically executes the corresponding Java Virtual Machine instruction. |
void | visitRETURN(RETURN o) Symbolically executes the corresponding Java Virtual Machine instruction. |
void | visitSALOAD(SALOAD o) Symbolically executes the corresponding Java Virtual Machine instruction. |
void | visitSASTORE(SASTORE o) Symbolically executes the corresponding Java Virtual Machine instruction. |
void | visitSIPUSH(SIPUSH o) Symbolically executes the corresponding Java Virtual Machine instruction. |
void | visitSWAP(SWAP o) Symbolically executes the corresponding Java Virtual Machine instruction. |
void | visitTABLESWITCH(TABLESWITCH o) Symbolically executes the corresponding Java Virtual Machine instruction. |
public ExecutionVisitor()
Constructor. Constructs a new instance of this class.
Sets the ConstantPoolGen needed for symbolic execution.
public void setFrame(
Frame f)
The only method granting access to the single instance of
the ExecutionVisitor class. Before actively using this
instance,
SET THE ConstantPoolGen FIRST.
See Also: setConstantPoolGen
public void visitAALOAD(
AALOAD o)
Symbolically executes the corresponding Java Virtual Machine instruction.
public void visitAASTORE(
AASTORE o)
Symbolically executes the corresponding Java Virtual Machine instruction.
Symbolically executes the corresponding Java Virtual Machine instruction.
public void visitALOAD(
ALOAD o)
Symbolically executes the corresponding Java Virtual Machine instruction.
Symbolically executes the corresponding Java Virtual Machine instruction.
public void visitARETURN(
ARETURN o)
Symbolically executes the corresponding Java Virtual Machine instruction.
Symbolically executes the corresponding Java Virtual Machine instruction.
public void visitASTORE(
ASTORE o)
Symbolically executes the corresponding Java Virtual Machine instruction.
public void visitATHROW(
ATHROW o)
Symbolically executes the corresponding Java Virtual Machine instruction.
public void visitBALOAD(
BALOAD o)
Symbolically executes the corresponding Java Virtual Machine instruction.
public void visitBASTORE(
BASTORE o)
Symbolically executes the corresponding Java Virtual Machine instruction.
public void visitBIPUSH(
BIPUSH o)
Symbolically executes the corresponding Java Virtual Machine instruction.
public void visitCALOAD(
CALOAD o)
Symbolically executes the corresponding Java Virtual Machine instruction.
public void visitCASTORE(
CASTORE o)
Symbolically executes the corresponding Java Virtual Machine instruction.
Symbolically executes the corresponding Java Virtual Machine instruction.
public void visitD2F(
D2F o)
Symbolically executes the corresponding Java Virtual Machine instruction.
public void visitD2I(
D2I o)
Symbolically executes the corresponding Java Virtual Machine instruction.
public void visitD2L(
D2L o)
Symbolically executes the corresponding Java Virtual Machine instruction.
public void visitDADD(
DADD o)
Symbolically executes the corresponding Java Virtual Machine instruction.
public void visitDALOAD(
DALOAD o)
Symbolically executes the corresponding Java Virtual Machine instruction.
public void visitDASTORE(
DASTORE o)
Symbolically executes the corresponding Java Virtual Machine instruction.
public void visitDCMPG(
DCMPG o)
Symbolically executes the corresponding Java Virtual Machine instruction.
public void visitDCMPL(
DCMPL o)
Symbolically executes the corresponding Java Virtual Machine instruction.
public void visitDCONST(
DCONST o)
Symbolically executes the corresponding Java Virtual Machine instruction.
public void visitDDIV(
DDIV o)
Symbolically executes the corresponding Java Virtual Machine instruction.
public void visitDLOAD(
DLOAD o)
Symbolically executes the corresponding Java Virtual Machine instruction.
public void visitDMUL(
DMUL o)
Symbolically executes the corresponding Java Virtual Machine instruction.
public void visitDNEG(
DNEG o)
Symbolically executes the corresponding Java Virtual Machine instruction.
public void visitDREM(
DREM o)
Symbolically executes the corresponding Java Virtual Machine instruction.
public void visitDRETURN(
DRETURN o)
Symbolically executes the corresponding Java Virtual Machine instruction.
public void visitDSTORE(
DSTORE o)
Symbolically executes the corresponding Java Virtual Machine instruction.
public void visitDSUB(
DSUB o)
Symbolically executes the corresponding Java Virtual Machine instruction.
public void visitDUP(
DUP o)
Symbolically executes the corresponding Java Virtual Machine instruction.
public void visitDUP2(
DUP2 o)
Symbolically executes the corresponding Java Virtual Machine instruction.
public void visitDUP2_X1(
DUP2_X1 o)
Symbolically executes the corresponding Java Virtual Machine instruction.
public void visitDUP2_X2(
DUP2_X2 o)
Symbolically executes the corresponding Java Virtual Machine instruction.
public void visitDUP_X1(
DUP_X1 o)
Symbolically executes the corresponding Java Virtual Machine instruction.
public void visitDUP_X2(
DUP_X2 o)
Symbolically executes the corresponding Java Virtual Machine instruction.
public void visitF2D(
F2D o)
Symbolically executes the corresponding Java Virtual Machine instruction.
public void visitF2I(
F2I o)
Symbolically executes the corresponding Java Virtual Machine instruction.
public void visitF2L(
F2L o)
Symbolically executes the corresponding Java Virtual Machine instruction.
public void visitFADD(
FADD o)
Symbolically executes the corresponding Java Virtual Machine instruction.
public void visitFALOAD(
FALOAD o)
Symbolically executes the corresponding Java Virtual Machine instruction.
public void visitFASTORE(
FASTORE o)
Symbolically executes the corresponding Java Virtual Machine instruction.
public void visitFCMPG(
FCMPG o)
Symbolically executes the corresponding Java Virtual Machine instruction.
public void visitFCMPL(
FCMPL o)
Symbolically executes the corresponding Java Virtual Machine instruction.
public void visitFCONST(
FCONST o)
Symbolically executes the corresponding Java Virtual Machine instruction.
public void visitFDIV(
FDIV o)
Symbolically executes the corresponding Java Virtual Machine instruction.
public void visitFLOAD(
FLOAD o)
Symbolically executes the corresponding Java Virtual Machine instruction.
public void visitFMUL(
FMUL o)
Symbolically executes the corresponding Java Virtual Machine instruction.
public void visitFNEG(
FNEG o)
Symbolically executes the corresponding Java Virtual Machine instruction.
public void visitFREM(
FREM o)
Symbolically executes the corresponding Java Virtual Machine instruction.
public void visitFRETURN(
FRETURN o)
Symbolically executes the corresponding Java Virtual Machine instruction.
public void visitFSTORE(
FSTORE o)
Symbolically executes the corresponding Java Virtual Machine instruction.
public void visitFSUB(
FSUB o)
Symbolically executes the corresponding Java Virtual Machine instruction.
Symbolically executes the corresponding Java Virtual Machine instruction.
Symbolically executes the corresponding Java Virtual Machine instruction.
public void visitGOTO(
GOTO o)
Symbolically executes the corresponding Java Virtual Machine instruction.
public void visitGOTO_W(
GOTO_W o)
Symbolically executes the corresponding Java Virtual Machine instruction.
public void visitI2B(
I2B o)
Symbolically executes the corresponding Java Virtual Machine instruction.
public void visitI2C(
I2C o)
Symbolically executes the corresponding Java Virtual Machine instruction.
public void visitI2D(
I2D o)
Symbolically executes the corresponding Java Virtual Machine instruction.
public void visitI2F(
I2F o)
Symbolically executes the corresponding Java Virtual Machine instruction.
public void visitI2L(
I2L o)
Symbolically executes the corresponding Java Virtual Machine instruction.
public void visitI2S(
I2S o)
Symbolically executes the corresponding Java Virtual Machine instruction.
public void visitIADD(
IADD o)
Symbolically executes the corresponding Java Virtual Machine instruction.
public void visitIALOAD(
IALOAD o)
Symbolically executes the corresponding Java Virtual Machine instruction.
public void visitIAND(
IAND o)
Symbolically executes the corresponding Java Virtual Machine instruction.
public void visitIASTORE(
IASTORE o)
Symbolically executes the corresponding Java Virtual Machine instruction.
public void visitICONST(
ICONST o)
Symbolically executes the corresponding Java Virtual Machine instruction.
public void visitIDIV(
IDIV o)
Symbolically executes the corresponding Java Virtual Machine instruction.
public void visitIFEQ(
IFEQ o)
Symbolically executes the corresponding Java Virtual Machine instruction.
public void visitIFGE(
IFGE o)
Symbolically executes the corresponding Java Virtual Machine instruction.
public void visitIFGT(
IFGT o)
Symbolically executes the corresponding Java Virtual Machine instruction.
public void visitIFLE(
IFLE o)
Symbolically executes the corresponding Java Virtual Machine instruction.
public void visitIFLT(
IFLT o)
Symbolically executes the corresponding Java Virtual Machine instruction.
public void visitIFNE(
IFNE o)
Symbolically executes the corresponding Java Virtual Machine instruction.
Symbolically executes the corresponding Java Virtual Machine instruction.
public void visitIFNULL(
IFNULL o)
Symbolically executes the corresponding Java Virtual Machine instruction.
Symbolically executes the corresponding Java Virtual Machine instruction.
Symbolically executes the corresponding Java Virtual Machine instruction.
Symbolically executes the corresponding Java Virtual Machine instruction.
Symbolically executes the corresponding Java Virtual Machine instruction.
Symbolically executes the corresponding Java Virtual Machine instruction.
Symbolically executes the corresponding Java Virtual Machine instruction.
Symbolically executes the corresponding Java Virtual Machine instruction.
Symbolically executes the corresponding Java Virtual Machine instruction.
public void visitIINC(
IINC o)
Symbolically executes the corresponding Java Virtual Machine instruction.
public void visitILOAD(
ILOAD o)
Symbolically executes the corresponding Java Virtual Machine instruction.
public void visitIMUL(
IMUL o)
Symbolically executes the corresponding Java Virtual Machine instruction.
public void visitINEG(
INEG o)
Symbolically executes the corresponding Java Virtual Machine instruction.
Symbolically executes the corresponding Java Virtual Machine instruction.
Symbolically executes the corresponding Java Virtual Machine instruction.
Symbolically executes the corresponding Java Virtual Machine instruction.
Symbolically executes the corresponding Java Virtual Machine instruction.
Symbolically executes the corresponding Java Virtual Machine instruction.
public void visitIOR(
IOR o)
Symbolically executes the corresponding Java Virtual Machine instruction.
public void visitIREM(
IREM o)
Symbolically executes the corresponding Java Virtual Machine instruction.
public void visitIRETURN(
IRETURN o)
Symbolically executes the corresponding Java Virtual Machine instruction.
public void visitISHL(
ISHL o)
Symbolically executes the corresponding Java Virtual Machine instruction.
public void visitISHR(
ISHR o)
Symbolically executes the corresponding Java Virtual Machine instruction.
public void visitISTORE(
ISTORE o)
Symbolically executes the corresponding Java Virtual Machine instruction.
public void visitISUB(
ISUB o)
Symbolically executes the corresponding Java Virtual Machine instruction.
public void visitIUSHR(
IUSHR o)
Symbolically executes the corresponding Java Virtual Machine instruction.
public void visitIXOR(
IXOR o)
Symbolically executes the corresponding Java Virtual Machine instruction.
public void visitJSR(
JSR o)
Symbolically executes the corresponding Java Virtual Machine instruction.
public void visitJSR_W(
JSR_W o)
Symbolically executes the corresponding Java Virtual Machine instruction.
public void visitL2D(
L2D o)
Symbolically executes the corresponding Java Virtual Machine instruction.
public void visitL2F(
L2F o)
Symbolically executes the corresponding Java Virtual Machine instruction.
public void visitL2I(
L2I o)
Symbolically executes the corresponding Java Virtual Machine instruction.
public void visitLADD(
LADD o)
Symbolically executes the corresponding Java Virtual Machine instruction.
public void visitLALOAD(
LALOAD o)
Symbolically executes the corresponding Java Virtual Machine instruction.
public void visitLAND(
LAND o)
Symbolically executes the corresponding Java Virtual Machine instruction.
public void visitLASTORE(
LASTORE o)
Symbolically executes the corresponding Java Virtual Machine instruction.
public void visitLCMP(
LCMP o)
Symbolically executes the corresponding Java Virtual Machine instruction.
public void visitLCONST(
LCONST o)
Symbolically executes the corresponding Java Virtual Machine instruction.
public void visitLDC(
LDC o)
Symbolically executes the corresponding Java Virtual Machine instruction.
public void visitLDC2_W(
LDC2_W o)
Symbolically executes the corresponding Java Virtual Machine instruction.
public void visitLDC_W(
LDC_W o)
Symbolically executes the corresponding Java Virtual Machine instruction.
public void visitLDIV(
LDIV o)
Symbolically executes the corresponding Java Virtual Machine instruction.
public void visitLLOAD(
LLOAD o)
Symbolically executes the corresponding Java Virtual Machine instruction.
public void visitLMUL(
LMUL o)
Symbolically executes the corresponding Java Virtual Machine instruction.
public void visitLNEG(
LNEG o)
Symbolically executes the corresponding Java Virtual Machine instruction.
Symbolically executes the corresponding Java Virtual Machine instruction.
public void visitLOR(
LOR o)
Symbolically executes the corresponding Java Virtual Machine instruction.
public void visitLREM(
LREM o)
Symbolically executes the corresponding Java Virtual Machine instruction.
public void visitLRETURN(
LRETURN o)
Symbolically executes the corresponding Java Virtual Machine instruction.
public void visitLSHL(
LSHL o)
Symbolically executes the corresponding Java Virtual Machine instruction.
public void visitLSHR(
LSHR o)
Symbolically executes the corresponding Java Virtual Machine instruction.
public void visitLSTORE(
LSTORE o)
Symbolically executes the corresponding Java Virtual Machine instruction.
public void visitLSUB(
LSUB o)
Symbolically executes the corresponding Java Virtual Machine instruction.
public void visitLUSHR(
LUSHR o)
Symbolically executes the corresponding Java Virtual Machine instruction.
public void visitLXOR(
LXOR o)
Symbolically executes the corresponding Java Virtual Machine instruction.
Symbolically executes the corresponding Java Virtual Machine instruction.
Symbolically executes the corresponding Java Virtual Machine instruction.
Symbolically executes the corresponding Java Virtual Machine instruction.
public void visitNEW(
NEW o)
Symbolically executes the corresponding Java Virtual Machine instruction.
Symbolically executes the corresponding Java Virtual Machine instruction.
public void visitNOP(
NOP o)
Symbolically executes the corresponding Java Virtual Machine instruction.
public void visitPOP(
POP o)
Symbolically executes the corresponding Java Virtual Machine instruction.
public void visitPOP2(
POP2 o)
Symbolically executes the corresponding Java Virtual Machine instruction.
Symbolically executes the corresponding Java Virtual Machine instruction.
Symbolically executes the corresponding Java Virtual Machine instruction.
public void visitRET(
RET o)
Symbolically executes the corresponding Java Virtual Machine instruction.
public void visitRETURN(
RETURN o)
Symbolically executes the corresponding Java Virtual Machine instruction.
public void visitSALOAD(
SALOAD o)
Symbolically executes the corresponding Java Virtual Machine instruction.
public void visitSASTORE(
SASTORE o)
Symbolically executes the corresponding Java Virtual Machine instruction.
public void visitSIPUSH(
SIPUSH o)
Symbolically executes the corresponding Java Virtual Machine instruction.
public void visitSWAP(
SWAP o)
Symbolically executes the corresponding Java Virtual Machine instruction.
Symbolically executes the corresponding Java Virtual Machine instruction.