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

Constructor Summary
ExecutionVisitor()
Constructor.
Method Summary
voidsetConstantPoolGen(ConstantPoolGen cpg)
Sets the ConstantPoolGen needed for symbolic execution.
voidsetFrame(Frame f)
The only method granting access to the single instance of the ExecutionVisitor class.
voidvisitAALOAD(AALOAD o)
Symbolically executes the corresponding Java Virtual Machine instruction.
voidvisitAASTORE(AASTORE o)
Symbolically executes the corresponding Java Virtual Machine instruction.
voidvisitACONST_NULL(ACONST_NULL o)
Symbolically executes the corresponding Java Virtual Machine instruction.
voidvisitALOAD(ALOAD o)
Symbolically executes the corresponding Java Virtual Machine instruction.
voidvisitANEWARRAY(ANEWARRAY o)
Symbolically executes the corresponding Java Virtual Machine instruction.
voidvisitARETURN(ARETURN o)
Symbolically executes the corresponding Java Virtual Machine instruction.
voidvisitARRAYLENGTH(ARRAYLENGTH o)
Symbolically executes the corresponding Java Virtual Machine instruction.
voidvisitASTORE(ASTORE o)
Symbolically executes the corresponding Java Virtual Machine instruction.
voidvisitATHROW(ATHROW o)
Symbolically executes the corresponding Java Virtual Machine instruction.
voidvisitBALOAD(BALOAD o)
Symbolically executes the corresponding Java Virtual Machine instruction.
voidvisitBASTORE(BASTORE o)
Symbolically executes the corresponding Java Virtual Machine instruction.
voidvisitBIPUSH(BIPUSH o)
Symbolically executes the corresponding Java Virtual Machine instruction.
voidvisitCALOAD(CALOAD o)
Symbolically executes the corresponding Java Virtual Machine instruction.
voidvisitCASTORE(CASTORE o)
Symbolically executes the corresponding Java Virtual Machine instruction.
voidvisitCHECKCAST(CHECKCAST o)
Symbolically executes the corresponding Java Virtual Machine instruction.
voidvisitD2F(D2F o)
Symbolically executes the corresponding Java Virtual Machine instruction.
voidvisitD2I(D2I o)
Symbolically executes the corresponding Java Virtual Machine instruction.
voidvisitD2L(D2L o)
Symbolically executes the corresponding Java Virtual Machine instruction.
voidvisitDADD(DADD o)
Symbolically executes the corresponding Java Virtual Machine instruction.
voidvisitDALOAD(DALOAD o)
Symbolically executes the corresponding Java Virtual Machine instruction.
voidvisitDASTORE(DASTORE o)
Symbolically executes the corresponding Java Virtual Machine instruction.
voidvisitDCMPG(DCMPG o)
Symbolically executes the corresponding Java Virtual Machine instruction.
voidvisitDCMPL(DCMPL o)
Symbolically executes the corresponding Java Virtual Machine instruction.
voidvisitDCONST(DCONST o)
Symbolically executes the corresponding Java Virtual Machine instruction.
voidvisitDDIV(DDIV o)
Symbolically executes the corresponding Java Virtual Machine instruction.
voidvisitDLOAD(DLOAD o)
Symbolically executes the corresponding Java Virtual Machine instruction.
voidvisitDMUL(DMUL o)
Symbolically executes the corresponding Java Virtual Machine instruction.
voidvisitDNEG(DNEG o)
Symbolically executes the corresponding Java Virtual Machine instruction.
voidvisitDREM(DREM o)
Symbolically executes the corresponding Java Virtual Machine instruction.
voidvisitDRETURN(DRETURN o)
Symbolically executes the corresponding Java Virtual Machine instruction.
voidvisitDSTORE(DSTORE o)
Symbolically executes the corresponding Java Virtual Machine instruction.
voidvisitDSUB(DSUB o)
Symbolically executes the corresponding Java Virtual Machine instruction.
voidvisitDUP(DUP o)
Symbolically executes the corresponding Java Virtual Machine instruction.
voidvisitDUP2(DUP2 o)
Symbolically executes the corresponding Java Virtual Machine instruction.
voidvisitDUP2_X1(DUP2_X1 o)
Symbolically executes the corresponding Java Virtual Machine instruction.
voidvisitDUP2_X2(DUP2_X2 o)
Symbolically executes the corresponding Java Virtual Machine instruction.
voidvisitDUP_X1(DUP_X1 o)
Symbolically executes the corresponding Java Virtual Machine instruction.
voidvisitDUP_X2(DUP_X2 o)
Symbolically executes the corresponding Java Virtual Machine instruction.
voidvisitF2D(F2D o)
Symbolically executes the corresponding Java Virtual Machine instruction.
voidvisitF2I(F2I o)
Symbolically executes the corresponding Java Virtual Machine instruction.
voidvisitF2L(F2L o)
Symbolically executes the corresponding Java Virtual Machine instruction.
voidvisitFADD(FADD o)
Symbolically executes the corresponding Java Virtual Machine instruction.
voidvisitFALOAD(FALOAD o)
Symbolically executes the corresponding Java Virtual Machine instruction.
voidvisitFASTORE(FASTORE o)
Symbolically executes the corresponding Java Virtual Machine instruction.
voidvisitFCMPG(FCMPG o)
Symbolically executes the corresponding Java Virtual Machine instruction.
voidvisitFCMPL(FCMPL o)
Symbolically executes the corresponding Java Virtual Machine instruction.
voidvisitFCONST(FCONST o)
Symbolically executes the corresponding Java Virtual Machine instruction.
voidvisitFDIV(FDIV o)
Symbolically executes the corresponding Java Virtual Machine instruction.
voidvisitFLOAD(FLOAD o)
Symbolically executes the corresponding Java Virtual Machine instruction.
voidvisitFMUL(FMUL o)
Symbolically executes the corresponding Java Virtual Machine instruction.
voidvisitFNEG(FNEG o)
Symbolically executes the corresponding Java Virtual Machine instruction.
voidvisitFREM(FREM o)
Symbolically executes the corresponding Java Virtual Machine instruction.
voidvisitFRETURN(FRETURN o)
Symbolically executes the corresponding Java Virtual Machine instruction.
voidvisitFSTORE(FSTORE o)
Symbolically executes the corresponding Java Virtual Machine instruction.
voidvisitFSUB(FSUB o)
Symbolically executes the corresponding Java Virtual Machine instruction.
voidvisitGETFIELD(GETFIELD o)
Symbolically executes the corresponding Java Virtual Machine instruction.
voidvisitGETSTATIC(GETSTATIC o)
Symbolically executes the corresponding Java Virtual Machine instruction.
voidvisitGOTO(GOTO o)
Symbolically executes the corresponding Java Virtual Machine instruction.
voidvisitGOTO_W(GOTO_W o)
Symbolically executes the corresponding Java Virtual Machine instruction.
voidvisitI2B(I2B o)
Symbolically executes the corresponding Java Virtual Machine instruction.
voidvisitI2C(I2C o)
Symbolically executes the corresponding Java Virtual Machine instruction.
voidvisitI2D(I2D o)
Symbolically executes the corresponding Java Virtual Machine instruction.
voidvisitI2F(I2F o)
Symbolically executes the corresponding Java Virtual Machine instruction.
voidvisitI2L(I2L o)
Symbolically executes the corresponding Java Virtual Machine instruction.
voidvisitI2S(I2S o)
Symbolically executes the corresponding Java Virtual Machine instruction.
voidvisitIADD(IADD o)
Symbolically executes the corresponding Java Virtual Machine instruction.
voidvisitIALOAD(IALOAD o)
Symbolically executes the corresponding Java Virtual Machine instruction.
voidvisitIAND(IAND o)
Symbolically executes the corresponding Java Virtual Machine instruction.
voidvisitIASTORE(IASTORE o)
Symbolically executes the corresponding Java Virtual Machine instruction.
voidvisitICONST(ICONST o)
Symbolically executes the corresponding Java Virtual Machine instruction.
voidvisitIDIV(IDIV o)
Symbolically executes the corresponding Java Virtual Machine instruction.
voidvisitIFEQ(IFEQ o)
Symbolically executes the corresponding Java Virtual Machine instruction.
voidvisitIFGE(IFGE o)
Symbolically executes the corresponding Java Virtual Machine instruction.
voidvisitIFGT(IFGT o)
Symbolically executes the corresponding Java Virtual Machine instruction.
voidvisitIFLE(IFLE o)
Symbolically executes the corresponding Java Virtual Machine instruction.
voidvisitIFLT(IFLT o)
Symbolically executes the corresponding Java Virtual Machine instruction.
voidvisitIFNE(IFNE o)
Symbolically executes the corresponding Java Virtual Machine instruction.
voidvisitIFNONNULL(IFNONNULL o)
Symbolically executes the corresponding Java Virtual Machine instruction.
voidvisitIFNULL(IFNULL o)
Symbolically executes the corresponding Java Virtual Machine instruction.
voidvisitIF_ACMPEQ(IF_ACMPEQ o)
Symbolically executes the corresponding Java Virtual Machine instruction.
voidvisitIF_ACMPNE(IF_ACMPNE o)
Symbolically executes the corresponding Java Virtual Machine instruction.
voidvisitIF_ICMPEQ(IF_ICMPEQ o)
Symbolically executes the corresponding Java Virtual Machine instruction.
voidvisitIF_ICMPGE(IF_ICMPGE o)
Symbolically executes the corresponding Java Virtual Machine instruction.
voidvisitIF_ICMPGT(IF_ICMPGT o)
Symbolically executes the corresponding Java Virtual Machine instruction.
voidvisitIF_ICMPLE(IF_ICMPLE o)
Symbolically executes the corresponding Java Virtual Machine instruction.
voidvisitIF_ICMPLT(IF_ICMPLT o)
Symbolically executes the corresponding Java Virtual Machine instruction.
voidvisitIF_ICMPNE(IF_ICMPNE o)
Symbolically executes the corresponding Java Virtual Machine instruction.
voidvisitIINC(IINC o)
Symbolically executes the corresponding Java Virtual Machine instruction.
voidvisitILOAD(ILOAD o)
Symbolically executes the corresponding Java Virtual Machine instruction.
voidvisitIMUL(IMUL o)
Symbolically executes the corresponding Java Virtual Machine instruction.
voidvisitINEG(INEG o)
Symbolically executes the corresponding Java Virtual Machine instruction.
voidvisitINSTANCEOF(INSTANCEOF o)
Symbolically executes the corresponding Java Virtual Machine instruction.
voidvisitINVOKEINTERFACE(INVOKEINTERFACE o)
Symbolically executes the corresponding Java Virtual Machine instruction.
voidvisitINVOKESPECIAL(INVOKESPECIAL o)
Symbolically executes the corresponding Java Virtual Machine instruction.
voidvisitINVOKESTATIC(INVOKESTATIC o)
Symbolically executes the corresponding Java Virtual Machine instruction.
voidvisitINVOKEVIRTUAL(INVOKEVIRTUAL o)
Symbolically executes the corresponding Java Virtual Machine instruction.
voidvisitIOR(IOR o)
Symbolically executes the corresponding Java Virtual Machine instruction.
voidvisitIREM(IREM o)
Symbolically executes the corresponding Java Virtual Machine instruction.
voidvisitIRETURN(IRETURN o)
Symbolically executes the corresponding Java Virtual Machine instruction.
voidvisitISHL(ISHL o)
Symbolically executes the corresponding Java Virtual Machine instruction.
voidvisitISHR(ISHR o)
Symbolically executes the corresponding Java Virtual Machine instruction.
voidvisitISTORE(ISTORE o)
Symbolically executes the corresponding Java Virtual Machine instruction.
voidvisitISUB(ISUB o)
Symbolically executes the corresponding Java Virtual Machine instruction.
voidvisitIUSHR(IUSHR o)
Symbolically executes the corresponding Java Virtual Machine instruction.
voidvisitIXOR(IXOR o)
Symbolically executes the corresponding Java Virtual Machine instruction.
voidvisitJSR(JSR o)
Symbolically executes the corresponding Java Virtual Machine instruction.
voidvisitJSR_W(JSR_W o)
Symbolically executes the corresponding Java Virtual Machine instruction.
voidvisitL2D(L2D o)
Symbolically executes the corresponding Java Virtual Machine instruction.
voidvisitL2F(L2F o)
Symbolically executes the corresponding Java Virtual Machine instruction.
voidvisitL2I(L2I o)
Symbolically executes the corresponding Java Virtual Machine instruction.
voidvisitLADD(LADD o)
Symbolically executes the corresponding Java Virtual Machine instruction.
voidvisitLALOAD(LALOAD o)
Symbolically executes the corresponding Java Virtual Machine instruction.
voidvisitLAND(LAND o)
Symbolically executes the corresponding Java Virtual Machine instruction.
voidvisitLASTORE(LASTORE o)
Symbolically executes the corresponding Java Virtual Machine instruction.
voidvisitLCMP(LCMP o)
Symbolically executes the corresponding Java Virtual Machine instruction.
voidvisitLCONST(LCONST o)
Symbolically executes the corresponding Java Virtual Machine instruction.
voidvisitLDC(LDC o)
Symbolically executes the corresponding Java Virtual Machine instruction.
voidvisitLDC2_W(LDC2_W o)
Symbolically executes the corresponding Java Virtual Machine instruction.
voidvisitLDC_W(LDC_W o)
Symbolically executes the corresponding Java Virtual Machine instruction.
voidvisitLDIV(LDIV o)
Symbolically executes the corresponding Java Virtual Machine instruction.
voidvisitLLOAD(LLOAD o)
Symbolically executes the corresponding Java Virtual Machine instruction.
voidvisitLMUL(LMUL o)
Symbolically executes the corresponding Java Virtual Machine instruction.
voidvisitLNEG(LNEG o)
Symbolically executes the corresponding Java Virtual Machine instruction.
voidvisitLOOKUPSWITCH(LOOKUPSWITCH o)
Symbolically executes the corresponding Java Virtual Machine instruction.
voidvisitLOR(LOR o)
Symbolically executes the corresponding Java Virtual Machine instruction.
voidvisitLREM(LREM o)
Symbolically executes the corresponding Java Virtual Machine instruction.
voidvisitLRETURN(LRETURN o)
Symbolically executes the corresponding Java Virtual Machine instruction.
voidvisitLSHL(LSHL o)
Symbolically executes the corresponding Java Virtual Machine instruction.
voidvisitLSHR(LSHR o)
Symbolically executes the corresponding Java Virtual Machine instruction.
voidvisitLSTORE(LSTORE o)
Symbolically executes the corresponding Java Virtual Machine instruction.
voidvisitLSUB(LSUB o)
Symbolically executes the corresponding Java Virtual Machine instruction.
voidvisitLUSHR(LUSHR o)
Symbolically executes the corresponding Java Virtual Machine instruction.
voidvisitLXOR(LXOR o)
Symbolically executes the corresponding Java Virtual Machine instruction.
voidvisitMONITORENTER(MONITORENTER o)
Symbolically executes the corresponding Java Virtual Machine instruction.
voidvisitMONITOREXIT(MONITOREXIT o)
Symbolically executes the corresponding Java Virtual Machine instruction.
voidvisitMULTIANEWARRAY(MULTIANEWARRAY o)
Symbolically executes the corresponding Java Virtual Machine instruction.
voidvisitNEW(NEW o)
Symbolically executes the corresponding Java Virtual Machine instruction.
voidvisitNEWARRAY(NEWARRAY o)
Symbolically executes the corresponding Java Virtual Machine instruction.
voidvisitNOP(NOP o)
Symbolically executes the corresponding Java Virtual Machine instruction.
voidvisitPOP(POP o)
Symbolically executes the corresponding Java Virtual Machine instruction.
voidvisitPOP2(POP2 o)
Symbolically executes the corresponding Java Virtual Machine instruction.
voidvisitPUTFIELD(PUTFIELD o)
Symbolically executes the corresponding Java Virtual Machine instruction.
voidvisitPUTSTATIC(PUTSTATIC o)
Symbolically executes the corresponding Java Virtual Machine instruction.
voidvisitRET(RET o)
Symbolically executes the corresponding Java Virtual Machine instruction.
voidvisitRETURN(RETURN o)
Symbolically executes the corresponding Java Virtual Machine instruction.
voidvisitSALOAD(SALOAD o)
Symbolically executes the corresponding Java Virtual Machine instruction.
voidvisitSASTORE(SASTORE o)
Symbolically executes the corresponding Java Virtual Machine instruction.
voidvisitSIPUSH(SIPUSH o)
Symbolically executes the corresponding Java Virtual Machine instruction.
voidvisitSWAP(SWAP o)
Symbolically executes the corresponding Java Virtual Machine instruction.
voidvisitTABLESWITCH(TABLESWITCH o)
Symbolically executes the corresponding Java Virtual Machine instruction.

Constructor Detail

ExecutionVisitor

public ExecutionVisitor()
Constructor. Constructs a new instance of this class.

Method Detail

setConstantPoolGen

public void setConstantPoolGen(ConstantPoolGen cpg)
Sets the ConstantPoolGen needed for symbolic execution.

setFrame

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

visitAALOAD

public void visitAALOAD(AALOAD o)
Symbolically executes the corresponding Java Virtual Machine instruction.

visitAASTORE

public void visitAASTORE(AASTORE o)
Symbolically executes the corresponding Java Virtual Machine instruction.

visitACONST_NULL

public void visitACONST_NULL(ACONST_NULL o)
Symbolically executes the corresponding Java Virtual Machine instruction.

visitALOAD

public void visitALOAD(ALOAD o)
Symbolically executes the corresponding Java Virtual Machine instruction.

visitANEWARRAY

public void visitANEWARRAY(ANEWARRAY o)
Symbolically executes the corresponding Java Virtual Machine instruction.

visitARETURN

public void visitARETURN(ARETURN o)
Symbolically executes the corresponding Java Virtual Machine instruction.

visitARRAYLENGTH

public void visitARRAYLENGTH(ARRAYLENGTH o)
Symbolically executes the corresponding Java Virtual Machine instruction.

visitASTORE

public void visitASTORE(ASTORE o)
Symbolically executes the corresponding Java Virtual Machine instruction.

visitATHROW

public void visitATHROW(ATHROW o)
Symbolically executes the corresponding Java Virtual Machine instruction.

visitBALOAD

public void visitBALOAD(BALOAD o)
Symbolically executes the corresponding Java Virtual Machine instruction.

visitBASTORE

public void visitBASTORE(BASTORE o)
Symbolically executes the corresponding Java Virtual Machine instruction.

visitBIPUSH

public void visitBIPUSH(BIPUSH o)
Symbolically executes the corresponding Java Virtual Machine instruction.

visitCALOAD

public void visitCALOAD(CALOAD o)
Symbolically executes the corresponding Java Virtual Machine instruction.

visitCASTORE

public void visitCASTORE(CASTORE o)
Symbolically executes the corresponding Java Virtual Machine instruction.

visitCHECKCAST

public void visitCHECKCAST(CHECKCAST o)
Symbolically executes the corresponding Java Virtual Machine instruction.

visitD2F

public void visitD2F(D2F o)
Symbolically executes the corresponding Java Virtual Machine instruction.

visitD2I

public void visitD2I(D2I o)
Symbolically executes the corresponding Java Virtual Machine instruction.

visitD2L

public void visitD2L(D2L o)
Symbolically executes the corresponding Java Virtual Machine instruction.

visitDADD

public void visitDADD(DADD o)
Symbolically executes the corresponding Java Virtual Machine instruction.

visitDALOAD

public void visitDALOAD(DALOAD o)
Symbolically executes the corresponding Java Virtual Machine instruction.

visitDASTORE

public void visitDASTORE(DASTORE o)
Symbolically executes the corresponding Java Virtual Machine instruction.

visitDCMPG

public void visitDCMPG(DCMPG o)
Symbolically executes the corresponding Java Virtual Machine instruction.

visitDCMPL

public void visitDCMPL(DCMPL o)
Symbolically executes the corresponding Java Virtual Machine instruction.

visitDCONST

public void visitDCONST(DCONST o)
Symbolically executes the corresponding Java Virtual Machine instruction.

visitDDIV

public void visitDDIV(DDIV o)
Symbolically executes the corresponding Java Virtual Machine instruction.

visitDLOAD

public void visitDLOAD(DLOAD o)
Symbolically executes the corresponding Java Virtual Machine instruction.

visitDMUL

public void visitDMUL(DMUL o)
Symbolically executes the corresponding Java Virtual Machine instruction.

visitDNEG

public void visitDNEG(DNEG o)
Symbolically executes the corresponding Java Virtual Machine instruction.

visitDREM

public void visitDREM(DREM o)
Symbolically executes the corresponding Java Virtual Machine instruction.

visitDRETURN

public void visitDRETURN(DRETURN o)
Symbolically executes the corresponding Java Virtual Machine instruction.

visitDSTORE

public void visitDSTORE(DSTORE o)
Symbolically executes the corresponding Java Virtual Machine instruction.

visitDSUB

public void visitDSUB(DSUB o)
Symbolically executes the corresponding Java Virtual Machine instruction.

visitDUP

public void visitDUP(DUP o)
Symbolically executes the corresponding Java Virtual Machine instruction.

visitDUP2

public void visitDUP2(DUP2 o)
Symbolically executes the corresponding Java Virtual Machine instruction.

visitDUP2_X1

public void visitDUP2_X1(DUP2_X1 o)
Symbolically executes the corresponding Java Virtual Machine instruction.

visitDUP2_X2

public void visitDUP2_X2(DUP2_X2 o)
Symbolically executes the corresponding Java Virtual Machine instruction.

visitDUP_X1

public void visitDUP_X1(DUP_X1 o)
Symbolically executes the corresponding Java Virtual Machine instruction.

visitDUP_X2

public void visitDUP_X2(DUP_X2 o)
Symbolically executes the corresponding Java Virtual Machine instruction.

visitF2D

public void visitF2D(F2D o)
Symbolically executes the corresponding Java Virtual Machine instruction.

visitF2I

public void visitF2I(F2I o)
Symbolically executes the corresponding Java Virtual Machine instruction.

visitF2L

public void visitF2L(F2L o)
Symbolically executes the corresponding Java Virtual Machine instruction.

visitFADD

public void visitFADD(FADD o)
Symbolically executes the corresponding Java Virtual Machine instruction.

visitFALOAD

public void visitFALOAD(FALOAD o)
Symbolically executes the corresponding Java Virtual Machine instruction.

visitFASTORE

public void visitFASTORE(FASTORE o)
Symbolically executes the corresponding Java Virtual Machine instruction.

visitFCMPG

public void visitFCMPG(FCMPG o)
Symbolically executes the corresponding Java Virtual Machine instruction.

visitFCMPL

public void visitFCMPL(FCMPL o)
Symbolically executes the corresponding Java Virtual Machine instruction.

visitFCONST

public void visitFCONST(FCONST o)
Symbolically executes the corresponding Java Virtual Machine instruction.

visitFDIV

public void visitFDIV(FDIV o)
Symbolically executes the corresponding Java Virtual Machine instruction.

visitFLOAD

public void visitFLOAD(FLOAD o)
Symbolically executes the corresponding Java Virtual Machine instruction.

visitFMUL

public void visitFMUL(FMUL o)
Symbolically executes the corresponding Java Virtual Machine instruction.

visitFNEG

public void visitFNEG(FNEG o)
Symbolically executes the corresponding Java Virtual Machine instruction.

visitFREM

public void visitFREM(FREM o)
Symbolically executes the corresponding Java Virtual Machine instruction.

visitFRETURN

public void visitFRETURN(FRETURN o)
Symbolically executes the corresponding Java Virtual Machine instruction.

visitFSTORE

public void visitFSTORE(FSTORE o)
Symbolically executes the corresponding Java Virtual Machine instruction.

visitFSUB

public void visitFSUB(FSUB o)
Symbolically executes the corresponding Java Virtual Machine instruction.

visitGETFIELD

public void visitGETFIELD(GETFIELD o)
Symbolically executes the corresponding Java Virtual Machine instruction.

visitGETSTATIC

public void visitGETSTATIC(GETSTATIC o)
Symbolically executes the corresponding Java Virtual Machine instruction.

visitGOTO

public void visitGOTO(GOTO o)
Symbolically executes the corresponding Java Virtual Machine instruction.

visitGOTO_W

public void visitGOTO_W(GOTO_W o)
Symbolically executes the corresponding Java Virtual Machine instruction.

visitI2B

public void visitI2B(I2B o)
Symbolically executes the corresponding Java Virtual Machine instruction.

visitI2C

public void visitI2C(I2C o)
Symbolically executes the corresponding Java Virtual Machine instruction.

visitI2D

public void visitI2D(I2D o)
Symbolically executes the corresponding Java Virtual Machine instruction.

visitI2F

public void visitI2F(I2F o)
Symbolically executes the corresponding Java Virtual Machine instruction.

visitI2L

public void visitI2L(I2L o)
Symbolically executes the corresponding Java Virtual Machine instruction.

visitI2S

public void visitI2S(I2S o)
Symbolically executes the corresponding Java Virtual Machine instruction.

visitIADD

public void visitIADD(IADD o)
Symbolically executes the corresponding Java Virtual Machine instruction.

visitIALOAD

public void visitIALOAD(IALOAD o)
Symbolically executes the corresponding Java Virtual Machine instruction.

visitIAND

public void visitIAND(IAND o)
Symbolically executes the corresponding Java Virtual Machine instruction.

visitIASTORE

public void visitIASTORE(IASTORE o)
Symbolically executes the corresponding Java Virtual Machine instruction.

visitICONST

public void visitICONST(ICONST o)
Symbolically executes the corresponding Java Virtual Machine instruction.

visitIDIV

public void visitIDIV(IDIV o)
Symbolically executes the corresponding Java Virtual Machine instruction.

visitIFEQ

public void visitIFEQ(IFEQ o)
Symbolically executes the corresponding Java Virtual Machine instruction.

visitIFGE

public void visitIFGE(IFGE o)
Symbolically executes the corresponding Java Virtual Machine instruction.

visitIFGT

public void visitIFGT(IFGT o)
Symbolically executes the corresponding Java Virtual Machine instruction.

visitIFLE

public void visitIFLE(IFLE o)
Symbolically executes the corresponding Java Virtual Machine instruction.

visitIFLT

public void visitIFLT(IFLT o)
Symbolically executes the corresponding Java Virtual Machine instruction.

visitIFNE

public void visitIFNE(IFNE o)
Symbolically executes the corresponding Java Virtual Machine instruction.

visitIFNONNULL

public void visitIFNONNULL(IFNONNULL o)
Symbolically executes the corresponding Java Virtual Machine instruction.

visitIFNULL

public void visitIFNULL(IFNULL o)
Symbolically executes the corresponding Java Virtual Machine instruction.

visitIF_ACMPEQ

public void visitIF_ACMPEQ(IF_ACMPEQ o)
Symbolically executes the corresponding Java Virtual Machine instruction.

visitIF_ACMPNE

public void visitIF_ACMPNE(IF_ACMPNE o)
Symbolically executes the corresponding Java Virtual Machine instruction.

visitIF_ICMPEQ

public void visitIF_ICMPEQ(IF_ICMPEQ o)
Symbolically executes the corresponding Java Virtual Machine instruction.

visitIF_ICMPGE

public void visitIF_ICMPGE(IF_ICMPGE o)
Symbolically executes the corresponding Java Virtual Machine instruction.

visitIF_ICMPGT

public void visitIF_ICMPGT(IF_ICMPGT o)
Symbolically executes the corresponding Java Virtual Machine instruction.

visitIF_ICMPLE

public void visitIF_ICMPLE(IF_ICMPLE o)
Symbolically executes the corresponding Java Virtual Machine instruction.

visitIF_ICMPLT

public void visitIF_ICMPLT(IF_ICMPLT o)
Symbolically executes the corresponding Java Virtual Machine instruction.

visitIF_ICMPNE

public void visitIF_ICMPNE(IF_ICMPNE o)
Symbolically executes the corresponding Java Virtual Machine instruction.

visitIINC

public void visitIINC(IINC o)
Symbolically executes the corresponding Java Virtual Machine instruction.

visitILOAD

public void visitILOAD(ILOAD o)
Symbolically executes the corresponding Java Virtual Machine instruction.

visitIMUL

public void visitIMUL(IMUL o)
Symbolically executes the corresponding Java Virtual Machine instruction.

visitINEG

public void visitINEG(INEG o)
Symbolically executes the corresponding Java Virtual Machine instruction.

visitINSTANCEOF

public void visitINSTANCEOF(INSTANCEOF o)
Symbolically executes the corresponding Java Virtual Machine instruction.

visitINVOKEINTERFACE

public void visitINVOKEINTERFACE(INVOKEINTERFACE o)
Symbolically executes the corresponding Java Virtual Machine instruction.

visitINVOKESPECIAL

public void visitINVOKESPECIAL(INVOKESPECIAL o)
Symbolically executes the corresponding Java Virtual Machine instruction.

visitINVOKESTATIC

public void visitINVOKESTATIC(INVOKESTATIC o)
Symbolically executes the corresponding Java Virtual Machine instruction.

visitINVOKEVIRTUAL

public void visitINVOKEVIRTUAL(INVOKEVIRTUAL o)
Symbolically executes the corresponding Java Virtual Machine instruction.

visitIOR

public void visitIOR(IOR o)
Symbolically executes the corresponding Java Virtual Machine instruction.

visitIREM

public void visitIREM(IREM o)
Symbolically executes the corresponding Java Virtual Machine instruction.

visitIRETURN

public void visitIRETURN(IRETURN o)
Symbolically executes the corresponding Java Virtual Machine instruction.

visitISHL

public void visitISHL(ISHL o)
Symbolically executes the corresponding Java Virtual Machine instruction.

visitISHR

public void visitISHR(ISHR o)
Symbolically executes the corresponding Java Virtual Machine instruction.

visitISTORE

public void visitISTORE(ISTORE o)
Symbolically executes the corresponding Java Virtual Machine instruction.

visitISUB

public void visitISUB(ISUB o)
Symbolically executes the corresponding Java Virtual Machine instruction.

visitIUSHR

public void visitIUSHR(IUSHR o)
Symbolically executes the corresponding Java Virtual Machine instruction.

visitIXOR

public void visitIXOR(IXOR o)
Symbolically executes the corresponding Java Virtual Machine instruction.

visitJSR

public void visitJSR(JSR o)
Symbolically executes the corresponding Java Virtual Machine instruction.

visitJSR_W

public void visitJSR_W(JSR_W o)
Symbolically executes the corresponding Java Virtual Machine instruction.

visitL2D

public void visitL2D(L2D o)
Symbolically executes the corresponding Java Virtual Machine instruction.

visitL2F

public void visitL2F(L2F o)
Symbolically executes the corresponding Java Virtual Machine instruction.

visitL2I

public void visitL2I(L2I o)
Symbolically executes the corresponding Java Virtual Machine instruction.

visitLADD

public void visitLADD(LADD o)
Symbolically executes the corresponding Java Virtual Machine instruction.

visitLALOAD

public void visitLALOAD(LALOAD o)
Symbolically executes the corresponding Java Virtual Machine instruction.

visitLAND

public void visitLAND(LAND o)
Symbolically executes the corresponding Java Virtual Machine instruction.

visitLASTORE

public void visitLASTORE(LASTORE o)
Symbolically executes the corresponding Java Virtual Machine instruction.

visitLCMP

public void visitLCMP(LCMP o)
Symbolically executes the corresponding Java Virtual Machine instruction.

visitLCONST

public void visitLCONST(LCONST o)
Symbolically executes the corresponding Java Virtual Machine instruction.

visitLDC

public void visitLDC(LDC o)
Symbolically executes the corresponding Java Virtual Machine instruction.

visitLDC2_W

public void visitLDC2_W(LDC2_W o)
Symbolically executes the corresponding Java Virtual Machine instruction.

visitLDC_W

public void visitLDC_W(LDC_W o)
Symbolically executes the corresponding Java Virtual Machine instruction.

visitLDIV

public void visitLDIV(LDIV o)
Symbolically executes the corresponding Java Virtual Machine instruction.

visitLLOAD

public void visitLLOAD(LLOAD o)
Symbolically executes the corresponding Java Virtual Machine instruction.

visitLMUL

public void visitLMUL(LMUL o)
Symbolically executes the corresponding Java Virtual Machine instruction.

visitLNEG

public void visitLNEG(LNEG o)
Symbolically executes the corresponding Java Virtual Machine instruction.

visitLOOKUPSWITCH

public void visitLOOKUPSWITCH(LOOKUPSWITCH o)
Symbolically executes the corresponding Java Virtual Machine instruction.

visitLOR

public void visitLOR(LOR o)
Symbolically executes the corresponding Java Virtual Machine instruction.

visitLREM

public void visitLREM(LREM o)
Symbolically executes the corresponding Java Virtual Machine instruction.

visitLRETURN

public void visitLRETURN(LRETURN o)
Symbolically executes the corresponding Java Virtual Machine instruction.

visitLSHL

public void visitLSHL(LSHL o)
Symbolically executes the corresponding Java Virtual Machine instruction.

visitLSHR

public void visitLSHR(LSHR o)
Symbolically executes the corresponding Java Virtual Machine instruction.

visitLSTORE

public void visitLSTORE(LSTORE o)
Symbolically executes the corresponding Java Virtual Machine instruction.

visitLSUB

public void visitLSUB(LSUB o)
Symbolically executes the corresponding Java Virtual Machine instruction.

visitLUSHR

public void visitLUSHR(LUSHR o)
Symbolically executes the corresponding Java Virtual Machine instruction.

visitLXOR

public void visitLXOR(LXOR o)
Symbolically executes the corresponding Java Virtual Machine instruction.

visitMONITORENTER

public void visitMONITORENTER(MONITORENTER o)
Symbolically executes the corresponding Java Virtual Machine instruction.

visitMONITOREXIT

public void visitMONITOREXIT(MONITOREXIT o)
Symbolically executes the corresponding Java Virtual Machine instruction.

visitMULTIANEWARRAY

public void visitMULTIANEWARRAY(MULTIANEWARRAY o)
Symbolically executes the corresponding Java Virtual Machine instruction.

visitNEW

public void visitNEW(NEW o)
Symbolically executes the corresponding Java Virtual Machine instruction.

visitNEWARRAY

public void visitNEWARRAY(NEWARRAY o)
Symbolically executes the corresponding Java Virtual Machine instruction.

visitNOP

public void visitNOP(NOP o)
Symbolically executes the corresponding Java Virtual Machine instruction.

visitPOP

public void visitPOP(POP o)
Symbolically executes the corresponding Java Virtual Machine instruction.

visitPOP2

public void visitPOP2(POP2 o)
Symbolically executes the corresponding Java Virtual Machine instruction.

visitPUTFIELD

public void visitPUTFIELD(PUTFIELD o)
Symbolically executes the corresponding Java Virtual Machine instruction.

visitPUTSTATIC

public void visitPUTSTATIC(PUTSTATIC o)
Symbolically executes the corresponding Java Virtual Machine instruction.

visitRET

public void visitRET(RET o)
Symbolically executes the corresponding Java Virtual Machine instruction.

visitRETURN

public void visitRETURN(RETURN o)
Symbolically executes the corresponding Java Virtual Machine instruction.

visitSALOAD

public void visitSALOAD(SALOAD o)
Symbolically executes the corresponding Java Virtual Machine instruction.

visitSASTORE

public void visitSASTORE(SASTORE o)
Symbolically executes the corresponding Java Virtual Machine instruction.

visitSIPUSH

public void visitSIPUSH(SIPUSH o)
Symbolically executes the corresponding Java Virtual Machine instruction.

visitSWAP

public void visitSWAP(SWAP o)
Symbolically executes the corresponding Java Virtual Machine instruction.

visitTABLESWITCH

public void visitTABLESWITCH(TABLESWITCH o)
Symbolically executes the corresponding Java Virtual Machine instruction.