Class ExecutionVisitor
- All Implemented Interfaces:
Visitor
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 behavior 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:
-
Constructor Summary
Constructors -
Method Summary
Modifier and TypeMethodDescriptionvoidSets the ConstantPoolGen needed for symbolic execution.voidThe only method granting access to the single instance of the ExecutionVisitor class.voidSymbolically executes the corresponding Java Virtual Machine instruction.voidSymbolically executes the corresponding Java Virtual Machine instruction.voidSymbolically executes the corresponding Java Virtual Machine instruction.voidvisitALOAD(ALOAD o) Symbolically executes the corresponding Java Virtual Machine instruction.voidSymbolically executes the corresponding Java Virtual Machine instruction.voidSymbolically executes the corresponding Java Virtual Machine instruction.voidSymbolically executes the corresponding Java Virtual Machine instruction.voidSymbolically executes the corresponding Java Virtual Machine instruction.voidSymbolically executes the corresponding Java Virtual Machine instruction.voidSymbolically executes the corresponding Java Virtual Machine instruction.voidSymbolically executes the corresponding Java Virtual Machine instruction.voidSymbolically executes the corresponding Java Virtual Machine instruction.voidSymbolically executes the corresponding Java Virtual Machine instruction.voidSymbolically executes the corresponding Java Virtual Machine instruction.voidSymbolically executes the corresponding Java Virtual Machine instruction.voidSymbolically executes the corresponding Java Virtual Machine instruction.voidSymbolically executes the corresponding Java Virtual Machine instruction.voidSymbolically executes the corresponding Java Virtual Machine instruction.voidSymbolically executes the corresponding Java Virtual Machine instruction.voidSymbolically executes the corresponding Java Virtual Machine instruction.voidSymbolically 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.voidSymbolically executes the corresponding Java Virtual Machine instruction.voidSymbolically executes the corresponding Java Virtual Machine instruction.voidvisitDLOAD(DLOAD o) Symbolically executes the corresponding Java Virtual Machine instruction.voidSymbolically executes the corresponding Java Virtual Machine instruction.voidSymbolically executes the corresponding Java Virtual Machine instruction.voidSymbolically executes the corresponding Java Virtual Machine instruction.voidSymbolically executes the corresponding Java Virtual Machine instruction.voidSymbolically executes the corresponding Java Virtual Machine instruction.voidSymbolically executes the corresponding Java Virtual Machine instruction.voidSymbolically executes the corresponding Java Virtual Machine instruction.voidSymbolically executes the corresponding Java Virtual Machine instruction.voidSymbolically executes the corresponding Java Virtual Machine instruction.voidSymbolically executes the corresponding Java Virtual Machine instruction.voidSymbolically executes the corresponding Java Virtual Machine instruction.voidSymbolically executes the corresponding Java Virtual Machine instruction.voidSymbolically executes the corresponding Java Virtual Machine instruction.voidSymbolically executes the corresponding Java Virtual Machine instruction.voidSymbolically executes the corresponding Java Virtual Machine instruction.voidSymbolically executes the corresponding Java Virtual Machine instruction.voidSymbolically executes the corresponding Java Virtual Machine instruction.voidSymbolically 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.voidSymbolically executes the corresponding Java Virtual Machine instruction.voidSymbolically executes the corresponding Java Virtual Machine instruction.voidvisitFLOAD(FLOAD o) Symbolically executes the corresponding Java Virtual Machine instruction.voidSymbolically executes the corresponding Java Virtual Machine instruction.voidSymbolically executes the corresponding Java Virtual Machine instruction.voidSymbolically executes the corresponding Java Virtual Machine instruction.voidSymbolically executes the corresponding Java Virtual Machine instruction.voidSymbolically executes the corresponding Java Virtual Machine instruction.voidSymbolically executes the corresponding Java Virtual Machine instruction.voidSymbolically executes the corresponding Java Virtual Machine instruction.voidSymbolically executes the corresponding Java Virtual Machine instruction.voidSymbolically executes the corresponding Java Virtual Machine instruction.voidSymbolically executes the corresponding Java Virtual Machine instruction.voidSymbolically executes the corresponding Java Virtual Machine instruction.voidSymbolically executes the corresponding Java Virtual Machine instruction.voidSymbolically executes the corresponding Java Virtual Machine instruction.voidSymbolically executes the corresponding Java Virtual Machine instruction.voidSymbolically executes the corresponding Java Virtual Machine instruction.voidSymbolically executes the corresponding Java Virtual Machine instruction.voidSymbolically executes the corresponding Java Virtual Machine instruction.voidSymbolically executes the corresponding Java Virtual Machine instruction.voidSymbolically executes the corresponding Java Virtual Machine instruction.voidSymbolically executes the corresponding Java Virtual Machine instruction.voidSymbolically executes the corresponding Java Virtual Machine instruction.voidSymbolically executes the corresponding Java Virtual Machine instruction.voidSymbolically executes the corresponding Java Virtual Machine instruction.voidSymbolically executes the corresponding Java Virtual Machine instruction.voidSymbolically executes the corresponding Java Virtual Machine instruction.voidSymbolically executes the corresponding Java Virtual Machine instruction.voidSymbolically executes the corresponding Java Virtual Machine instruction.voidSymbolically executes the corresponding Java Virtual Machine instruction.voidSymbolically executes the corresponding Java Virtual Machine instruction.voidSymbolically executes the corresponding Java Virtual Machine instruction.voidSymbolically executes the corresponding Java Virtual Machine instruction.voidSymbolically executes the corresponding Java Virtual Machine instruction.voidSymbolically executes the corresponding Java Virtual Machine instruction.voidSymbolically executes the corresponding Java Virtual Machine instruction.voidSymbolically executes the corresponding Java Virtual Machine instruction.voidSymbolically executes the corresponding Java Virtual Machine instruction.voidSymbolically executes the corresponding Java Virtual Machine instruction.voidSymbolically executes the corresponding Java Virtual Machine instruction.voidSymbolically executes the corresponding Java Virtual Machine instruction.voidvisitILOAD(ILOAD o) Symbolically executes the corresponding Java Virtual Machine instruction.voidSymbolically executes the corresponding Java Virtual Machine instruction.voidSymbolically executes the corresponding Java Virtual Machine instruction.voidSymbolically executes the corresponding Java Virtual Machine instruction.voidSymbolically executes the corresponding Java Virtual Machine instruction.voidSymbolically executes the corresponding Java Virtual Machine instruction.voidSymbolically executes the corresponding Java Virtual Machine instruction.voidSymbolically executes the corresponding Java Virtual Machine instruction.voidSymbolically executes the corresponding Java Virtual Machine instruction.voidSymbolically executes the corresponding Java Virtual Machine instruction.voidSymbolically executes the corresponding Java Virtual Machine instruction.voidSymbolically executes the corresponding Java Virtual Machine instruction.voidSymbolically executes the corresponding Java Virtual Machine instruction.voidSymbolically executes the corresponding Java Virtual Machine instruction.voidSymbolically executes the corresponding Java Virtual Machine instruction.voidSymbolically executes the corresponding Java Virtual Machine instruction.voidvisitIUSHR(IUSHR o) Symbolically executes the corresponding Java Virtual Machine instruction.voidSymbolically executes the corresponding Java Virtual Machine instruction.voidSymbolically executes the corresponding Java Virtual Machine instruction.voidvisitJSR_W(JSR_W o) Symbolically executes the corresponding Java Virtual Machine instruction.voidSymbolically executes the corresponding Java Virtual Machine instruction.voidSymbolically executes the corresponding Java Virtual Machine instruction.voidSymbolically executes the corresponding Java Virtual Machine instruction.voidSymbolically executes the corresponding Java Virtual Machine instruction.voidSymbolically executes the corresponding Java Virtual Machine instruction.voidSymbolically executes the corresponding Java Virtual Machine instruction.voidSymbolically executes the corresponding Java Virtual Machine instruction.voidSymbolically executes the corresponding Java Virtual Machine instruction.voidSymbolically executes the corresponding Java Virtual Machine instruction.voidSymbolically executes the corresponding Java Virtual Machine instruction.voidvisitLDC_W(LDC_W o) Symbolically executes the corresponding Java Virtual Machine instruction.voidSymbolically executes the corresponding Java Virtual Machine instruction.voidSymbolically executes the corresponding Java Virtual Machine instruction.voidvisitLLOAD(LLOAD o) Symbolically executes the corresponding Java Virtual Machine instruction.voidSymbolically executes the corresponding Java Virtual Machine instruction.voidSymbolically executes the corresponding Java Virtual Machine instruction.voidSymbolically executes the corresponding Java Virtual Machine instruction.voidSymbolically executes the corresponding Java Virtual Machine instruction.voidSymbolically executes the corresponding Java Virtual Machine instruction.voidSymbolically executes the corresponding Java Virtual Machine instruction.voidSymbolically executes the corresponding Java Virtual Machine instruction.voidSymbolically executes the corresponding Java Virtual Machine instruction.voidSymbolically executes the corresponding Java Virtual Machine instruction.voidSymbolically executes the corresponding Java Virtual Machine instruction.voidvisitLUSHR(LUSHR o) Symbolically executes the corresponding Java Virtual Machine instruction.voidSymbolically executes the corresponding Java Virtual Machine instruction.voidSymbolically executes the corresponding Java Virtual Machine instruction.voidSymbolically executes the corresponding Java Virtual Machine instruction.voidSymbolically executes the corresponding Java Virtual Machine instruction.voidSymbolically executes the corresponding Java Virtual Machine instruction.voidSymbolically executes the corresponding Java Virtual Machine instruction.voidSymbolically executes the corresponding Java Virtual Machine instruction.voidSymbolically executes the corresponding Java Virtual Machine instruction.voidSymbolically executes the corresponding Java Virtual Machine instruction.voidSymbolically executes the corresponding Java Virtual Machine instruction.voidSymbolically executes the corresponding Java Virtual Machine instruction.voidSymbolically executes the corresponding Java Virtual Machine instruction.voidSymbolically executes the corresponding Java Virtual Machine instruction.voidSymbolically executes the corresponding Java Virtual Machine instruction.voidSymbolically executes the corresponding Java Virtual Machine instruction.voidSymbolically executes the corresponding Java Virtual Machine instruction.voidSymbolically executes the corresponding Java Virtual Machine instruction.voidSymbolically executes the corresponding Java Virtual Machine instruction.Methods inherited from class org.apache.bcel.generic.EmptyVisitor
visitAllocationInstruction, visitArithmeticInstruction, visitArrayInstruction, visitBranchInstruction, visitBREAKPOINT, visitConstantPushInstruction, visitConversionInstruction, visitCPInstruction, visitExceptionThrower, visitFieldInstruction, visitFieldOrMethod, visitGotoInstruction, visitIfInstruction, visitIMPDEP1, visitIMPDEP2, visitInvokeInstruction, visitJsrInstruction, visitLoadClass, visitLoadInstruction, visitLocalVariableInstruction, visitPopInstruction, visitPushInstruction, visitReturnInstruction, visitSelect, visitStackConsumer, visitStackInstruction, visitStackProducer, visitStoreInstruction, visitTypedInstruction, visitUnconditionalBranch, visitVariableLengthInstruction
-
Constructor Details
-
ExecutionVisitor
public ExecutionVisitor()Constructs a new instance of this class.
-
-
Method Details
-
setConstantPoolGen
Sets the ConstantPoolGen needed for symbolic execution. -
setFrame
The only method granting access to the single instance of the ExecutionVisitor class. Before actively using this instance, SET THE ConstantPoolGen FIRST.- See Also:
-
visitAALOAD
Symbolically executes the corresponding Java Virtual Machine instruction.- Specified by:
visitAALOADin interfaceVisitor- Overrides:
visitAALOADin classEmptyVisitor
-
visitAASTORE
Symbolically executes the corresponding Java Virtual Machine instruction.- Specified by:
visitAASTOREin interfaceVisitor- Overrides:
visitAASTOREin classEmptyVisitor
-
visitACONST_NULL
Symbolically executes the corresponding Java Virtual Machine instruction.- Specified by:
visitACONST_NULLin interfaceVisitor- Overrides:
visitACONST_NULLin classEmptyVisitor
-
visitALOAD
Symbolically executes the corresponding Java Virtual Machine instruction.- Specified by:
visitALOADin interfaceVisitor- Overrides:
visitALOADin classEmptyVisitor
-
visitANEWARRAY
Symbolically executes the corresponding Java Virtual Machine instruction.- Specified by:
visitANEWARRAYin interfaceVisitor- Overrides:
visitANEWARRAYin classEmptyVisitor
-
visitARETURN
Symbolically executes the corresponding Java Virtual Machine instruction.- Specified by:
visitARETURNin interfaceVisitor- Overrides:
visitARETURNin classEmptyVisitor
-
visitARRAYLENGTH
Symbolically executes the corresponding Java Virtual Machine instruction.- Specified by:
visitARRAYLENGTHin interfaceVisitor- Overrides:
visitARRAYLENGTHin classEmptyVisitor
-
visitASTORE
Symbolically executes the corresponding Java Virtual Machine instruction.- Specified by:
visitASTOREin interfaceVisitor- Overrides:
visitASTOREin classEmptyVisitor
-
visitATHROW
Symbolically executes the corresponding Java Virtual Machine instruction.- Specified by:
visitATHROWin interfaceVisitor- Overrides:
visitATHROWin classEmptyVisitor
-
visitBALOAD
Symbolically executes the corresponding Java Virtual Machine instruction.- Specified by:
visitBALOADin interfaceVisitor- Overrides:
visitBALOADin classEmptyVisitor
-
visitBASTORE
Symbolically executes the corresponding Java Virtual Machine instruction.- Specified by:
visitBASTOREin interfaceVisitor- Overrides:
visitBASTOREin classEmptyVisitor
-
visitBIPUSH
Symbolically executes the corresponding Java Virtual Machine instruction.- Specified by:
visitBIPUSHin interfaceVisitor- Overrides:
visitBIPUSHin classEmptyVisitor
-
visitCALOAD
Symbolically executes the corresponding Java Virtual Machine instruction.- Specified by:
visitCALOADin interfaceVisitor- Overrides:
visitCALOADin classEmptyVisitor
-
visitCASTORE
Symbolically executes the corresponding Java Virtual Machine instruction.- Specified by:
visitCASTOREin interfaceVisitor- Overrides:
visitCASTOREin classEmptyVisitor
-
visitCHECKCAST
Symbolically executes the corresponding Java Virtual Machine instruction.- Specified by:
visitCHECKCASTin interfaceVisitor- Overrides:
visitCHECKCASTin classEmptyVisitor
-
visitD2F
Symbolically executes the corresponding Java Virtual Machine instruction.- Specified by:
visitD2Fin interfaceVisitor- Overrides:
visitD2Fin classEmptyVisitor
-
visitD2I
Symbolically executes the corresponding Java Virtual Machine instruction.- Specified by:
visitD2Iin interfaceVisitor- Overrides:
visitD2Iin classEmptyVisitor
-
visitD2L
Symbolically executes the corresponding Java Virtual Machine instruction.- Specified by:
visitD2Lin interfaceVisitor- Overrides:
visitD2Lin classEmptyVisitor
-
visitDADD
Symbolically executes the corresponding Java Virtual Machine instruction.- Specified by:
visitDADDin interfaceVisitor- Overrides:
visitDADDin classEmptyVisitor
-
visitDALOAD
Symbolically executes the corresponding Java Virtual Machine instruction.- Specified by:
visitDALOADin interfaceVisitor- Overrides:
visitDALOADin classEmptyVisitor
-
visitDASTORE
Symbolically executes the corresponding Java Virtual Machine instruction.- Specified by:
visitDASTOREin interfaceVisitor- Overrides:
visitDASTOREin classEmptyVisitor
-
visitDCMPG
Symbolically executes the corresponding Java Virtual Machine instruction.- Specified by:
visitDCMPGin interfaceVisitor- Overrides:
visitDCMPGin classEmptyVisitor
-
visitDCMPL
Symbolically executes the corresponding Java Virtual Machine instruction.- Specified by:
visitDCMPLin interfaceVisitor- Overrides:
visitDCMPLin classEmptyVisitor
-
visitDCONST
Symbolically executes the corresponding Java Virtual Machine instruction.- Specified by:
visitDCONSTin interfaceVisitor- Overrides:
visitDCONSTin classEmptyVisitor
-
visitDDIV
Symbolically executes the corresponding Java Virtual Machine instruction.- Specified by:
visitDDIVin interfaceVisitor- Overrides:
visitDDIVin classEmptyVisitor
-
visitDLOAD
Symbolically executes the corresponding Java Virtual Machine instruction.- Specified by:
visitDLOADin interfaceVisitor- Overrides:
visitDLOADin classEmptyVisitor
-
visitDMUL
Symbolically executes the corresponding Java Virtual Machine instruction.- Specified by:
visitDMULin interfaceVisitor- Overrides:
visitDMULin classEmptyVisitor
-
visitDNEG
Symbolically executes the corresponding Java Virtual Machine instruction.- Specified by:
visitDNEGin interfaceVisitor- Overrides:
visitDNEGin classEmptyVisitor
-
visitDREM
Symbolically executes the corresponding Java Virtual Machine instruction.- Specified by:
visitDREMin interfaceVisitor- Overrides:
visitDREMin classEmptyVisitor
-
visitDRETURN
Symbolically executes the corresponding Java Virtual Machine instruction.- Specified by:
visitDRETURNin interfaceVisitor- Overrides:
visitDRETURNin classEmptyVisitor
-
visitDSTORE
Symbolically executes the corresponding Java Virtual Machine instruction.- Specified by:
visitDSTOREin interfaceVisitor- Overrides:
visitDSTOREin classEmptyVisitor
-
visitDSUB
Symbolically executes the corresponding Java Virtual Machine instruction.- Specified by:
visitDSUBin interfaceVisitor- Overrides:
visitDSUBin classEmptyVisitor
-
visitDUP
Symbolically executes the corresponding Java Virtual Machine instruction.- Specified by:
visitDUPin interfaceVisitor- Overrides:
visitDUPin classEmptyVisitor
-
visitDUP_X1
Symbolically executes the corresponding Java Virtual Machine instruction.- Specified by:
visitDUP_X1in interfaceVisitor- Overrides:
visitDUP_X1in classEmptyVisitor
-
visitDUP_X2
Symbolically executes the corresponding Java Virtual Machine instruction.- Specified by:
visitDUP_X2in interfaceVisitor- Overrides:
visitDUP_X2in classEmptyVisitor
-
visitDUP2
Symbolically executes the corresponding Java Virtual Machine instruction.- Specified by:
visitDUP2in interfaceVisitor- Overrides:
visitDUP2in classEmptyVisitor
-
visitDUP2_X1
Symbolically executes the corresponding Java Virtual Machine instruction.- Specified by:
visitDUP2_X1in interfaceVisitor- Overrides:
visitDUP2_X1in classEmptyVisitor
-
visitDUP2_X2
Symbolically executes the corresponding Java Virtual Machine instruction.- Specified by:
visitDUP2_X2in interfaceVisitor- Overrides:
visitDUP2_X2in classEmptyVisitor
-
visitF2D
Symbolically executes the corresponding Java Virtual Machine instruction.- Specified by:
visitF2Din interfaceVisitor- Overrides:
visitF2Din classEmptyVisitor
-
visitF2I
Symbolically executes the corresponding Java Virtual Machine instruction.- Specified by:
visitF2Iin interfaceVisitor- Overrides:
visitF2Iin classEmptyVisitor
-
visitF2L
Symbolically executes the corresponding Java Virtual Machine instruction.- Specified by:
visitF2Lin interfaceVisitor- Overrides:
visitF2Lin classEmptyVisitor
-
visitFADD
Symbolically executes the corresponding Java Virtual Machine instruction.- Specified by:
visitFADDin interfaceVisitor- Overrides:
visitFADDin classEmptyVisitor
-
visitFALOAD
Symbolically executes the corresponding Java Virtual Machine instruction.- Specified by:
visitFALOADin interfaceVisitor- Overrides:
visitFALOADin classEmptyVisitor
-
visitFASTORE
Symbolically executes the corresponding Java Virtual Machine instruction.- Specified by:
visitFASTOREin interfaceVisitor- Overrides:
visitFASTOREin classEmptyVisitor
-
visitFCMPG
Symbolically executes the corresponding Java Virtual Machine instruction.- Specified by:
visitFCMPGin interfaceVisitor- Overrides:
visitFCMPGin classEmptyVisitor
-
visitFCMPL
Symbolically executes the corresponding Java Virtual Machine instruction.- Specified by:
visitFCMPLin interfaceVisitor- Overrides:
visitFCMPLin classEmptyVisitor
-
visitFCONST
Symbolically executes the corresponding Java Virtual Machine instruction.- Specified by:
visitFCONSTin interfaceVisitor- Overrides:
visitFCONSTin classEmptyVisitor
-
visitFDIV
Symbolically executes the corresponding Java Virtual Machine instruction.- Specified by:
visitFDIVin interfaceVisitor- Overrides:
visitFDIVin classEmptyVisitor
-
visitFLOAD
Symbolically executes the corresponding Java Virtual Machine instruction.- Specified by:
visitFLOADin interfaceVisitor- Overrides:
visitFLOADin classEmptyVisitor
-
visitFMUL
Symbolically executes the corresponding Java Virtual Machine instruction.- Specified by:
visitFMULin interfaceVisitor- Overrides:
visitFMULin classEmptyVisitor
-
visitFNEG
Symbolically executes the corresponding Java Virtual Machine instruction.- Specified by:
visitFNEGin interfaceVisitor- Overrides:
visitFNEGin classEmptyVisitor
-
visitFREM
Symbolically executes the corresponding Java Virtual Machine instruction.- Specified by:
visitFREMin interfaceVisitor- Overrides:
visitFREMin classEmptyVisitor
-
visitFRETURN
Symbolically executes the corresponding Java Virtual Machine instruction.- Specified by:
visitFRETURNin interfaceVisitor- Overrides:
visitFRETURNin classEmptyVisitor
-
visitFSTORE
Symbolically executes the corresponding Java Virtual Machine instruction.- Specified by:
visitFSTOREin interfaceVisitor- Overrides:
visitFSTOREin classEmptyVisitor
-
visitFSUB
Symbolically executes the corresponding Java Virtual Machine instruction.- Specified by:
visitFSUBin interfaceVisitor- Overrides:
visitFSUBin classEmptyVisitor
-
visitGETFIELD
Symbolically executes the corresponding Java Virtual Machine instruction.- Specified by:
visitGETFIELDin interfaceVisitor- Overrides:
visitGETFIELDin classEmptyVisitor
-
visitGETSTATIC
Symbolically executes the corresponding Java Virtual Machine instruction.- Specified by:
visitGETSTATICin interfaceVisitor- Overrides:
visitGETSTATICin classEmptyVisitor
-
visitGOTO
Symbolically executes the corresponding Java Virtual Machine instruction.- Specified by:
visitGOTOin interfaceVisitor- Overrides:
visitGOTOin classEmptyVisitor
-
visitGOTO_W
Symbolically executes the corresponding Java Virtual Machine instruction.- Specified by:
visitGOTO_Win interfaceVisitor- Overrides:
visitGOTO_Win classEmptyVisitor
-
visitI2B
Symbolically executes the corresponding Java Virtual Machine instruction.- Specified by:
visitI2Bin interfaceVisitor- Overrides:
visitI2Bin classEmptyVisitor
-
visitI2C
Symbolically executes the corresponding Java Virtual Machine instruction.- Specified by:
visitI2Cin interfaceVisitor- Overrides:
visitI2Cin classEmptyVisitor
-
visitI2D
Symbolically executes the corresponding Java Virtual Machine instruction.- Specified by:
visitI2Din interfaceVisitor- Overrides:
visitI2Din classEmptyVisitor
-
visitI2F
Symbolically executes the corresponding Java Virtual Machine instruction.- Specified by:
visitI2Fin interfaceVisitor- Overrides:
visitI2Fin classEmptyVisitor
-
visitI2L
Symbolically executes the corresponding Java Virtual Machine instruction.- Specified by:
visitI2Lin interfaceVisitor- Overrides:
visitI2Lin classEmptyVisitor
-
visitI2S
Symbolically executes the corresponding Java Virtual Machine instruction.- Specified by:
visitI2Sin interfaceVisitor- Overrides:
visitI2Sin classEmptyVisitor
-
visitIADD
Symbolically executes the corresponding Java Virtual Machine instruction.- Specified by:
visitIADDin interfaceVisitor- Overrides:
visitIADDin classEmptyVisitor
-
visitIALOAD
Symbolically executes the corresponding Java Virtual Machine instruction.- Specified by:
visitIALOADin interfaceVisitor- Overrides:
visitIALOADin classEmptyVisitor
-
visitIAND
Symbolically executes the corresponding Java Virtual Machine instruction.- Specified by:
visitIANDin interfaceVisitor- Overrides:
visitIANDin classEmptyVisitor
-
visitIASTORE
Symbolically executes the corresponding Java Virtual Machine instruction.- Specified by:
visitIASTOREin interfaceVisitor- Overrides:
visitIASTOREin classEmptyVisitor
-
visitICONST
Symbolically executes the corresponding Java Virtual Machine instruction.- Specified by:
visitICONSTin interfaceVisitor- Overrides:
visitICONSTin classEmptyVisitor
-
visitIDIV
Symbolically executes the corresponding Java Virtual Machine instruction.- Specified by:
visitIDIVin interfaceVisitor- Overrides:
visitIDIVin classEmptyVisitor
-
visitIF_ACMPEQ
Symbolically executes the corresponding Java Virtual Machine instruction.- Specified by:
visitIF_ACMPEQin interfaceVisitor- Overrides:
visitIF_ACMPEQin classEmptyVisitor
-
visitIF_ACMPNE
Symbolically executes the corresponding Java Virtual Machine instruction.- Specified by:
visitIF_ACMPNEin interfaceVisitor- Overrides:
visitIF_ACMPNEin classEmptyVisitor
-
visitIF_ICMPEQ
Symbolically executes the corresponding Java Virtual Machine instruction.- Specified by:
visitIF_ICMPEQin interfaceVisitor- Overrides:
visitIF_ICMPEQin classEmptyVisitor
-
visitIF_ICMPGE
Symbolically executes the corresponding Java Virtual Machine instruction.- Specified by:
visitIF_ICMPGEin interfaceVisitor- Overrides:
visitIF_ICMPGEin classEmptyVisitor
-
visitIF_ICMPGT
Symbolically executes the corresponding Java Virtual Machine instruction.- Specified by:
visitIF_ICMPGTin interfaceVisitor- Overrides:
visitIF_ICMPGTin classEmptyVisitor
-
visitIF_ICMPLE
Symbolically executes the corresponding Java Virtual Machine instruction.- Specified by:
visitIF_ICMPLEin interfaceVisitor- Overrides:
visitIF_ICMPLEin classEmptyVisitor
-
visitIF_ICMPLT
Symbolically executes the corresponding Java Virtual Machine instruction.- Specified by:
visitIF_ICMPLTin interfaceVisitor- Overrides:
visitIF_ICMPLTin classEmptyVisitor
-
visitIF_ICMPNE
Symbolically executes the corresponding Java Virtual Machine instruction.- Specified by:
visitIF_ICMPNEin interfaceVisitor- Overrides:
visitIF_ICMPNEin classEmptyVisitor
-
visitIFEQ
Symbolically executes the corresponding Java Virtual Machine instruction.- Specified by:
visitIFEQin interfaceVisitor- Overrides:
visitIFEQin classEmptyVisitor
-
visitIFGE
Symbolically executes the corresponding Java Virtual Machine instruction.- Specified by:
visitIFGEin interfaceVisitor- Overrides:
visitIFGEin classEmptyVisitor
-
visitIFGT
Symbolically executes the corresponding Java Virtual Machine instruction.- Specified by:
visitIFGTin interfaceVisitor- Overrides:
visitIFGTin classEmptyVisitor
-
visitIFLE
Symbolically executes the corresponding Java Virtual Machine instruction.- Specified by:
visitIFLEin interfaceVisitor- Overrides:
visitIFLEin classEmptyVisitor
-
visitIFLT
Symbolically executes the corresponding Java Virtual Machine instruction.- Specified by:
visitIFLTin interfaceVisitor- Overrides:
visitIFLTin classEmptyVisitor
-
visitIFNE
Symbolically executes the corresponding Java Virtual Machine instruction.- Specified by:
visitIFNEin interfaceVisitor- Overrides:
visitIFNEin classEmptyVisitor
-
visitIFNONNULL
Symbolically executes the corresponding Java Virtual Machine instruction.- Specified by:
visitIFNONNULLin interfaceVisitor- Overrides:
visitIFNONNULLin classEmptyVisitor
-
visitIFNULL
Symbolically executes the corresponding Java Virtual Machine instruction.- Specified by:
visitIFNULLin interfaceVisitor- Overrides:
visitIFNULLin classEmptyVisitor
-
visitIINC
Symbolically executes the corresponding Java Virtual Machine instruction.- Specified by:
visitIINCin interfaceVisitor- Overrides:
visitIINCin classEmptyVisitor
-
visitILOAD
Symbolically executes the corresponding Java Virtual Machine instruction.- Specified by:
visitILOADin interfaceVisitor- Overrides:
visitILOADin classEmptyVisitor
-
visitIMUL
Symbolically executes the corresponding Java Virtual Machine instruction.- Specified by:
visitIMULin interfaceVisitor- Overrides:
visitIMULin classEmptyVisitor
-
visitINEG
Symbolically executes the corresponding Java Virtual Machine instruction.- Specified by:
visitINEGin interfaceVisitor- Overrides:
visitINEGin classEmptyVisitor
-
visitINSTANCEOF
Symbolically executes the corresponding Java Virtual Machine instruction.- Specified by:
visitINSTANCEOFin interfaceVisitor- Overrides:
visitINSTANCEOFin classEmptyVisitor
-
visitINVOKEDYNAMIC
Symbolically executes the corresponding Java Virtual Machine instruction.- Specified by:
visitINVOKEDYNAMICin interfaceVisitor- Overrides:
visitINVOKEDYNAMICin classEmptyVisitor- Since:
- 6.0
-
visitINVOKEINTERFACE
Symbolically executes the corresponding Java Virtual Machine instruction.- Specified by:
visitINVOKEINTERFACEin interfaceVisitor- Overrides:
visitINVOKEINTERFACEin classEmptyVisitor
-
visitINVOKESPECIAL
Symbolically executes the corresponding Java Virtual Machine instruction.- Specified by:
visitINVOKESPECIALin interfaceVisitor- Overrides:
visitINVOKESPECIALin classEmptyVisitor
-
visitINVOKESTATIC
Symbolically executes the corresponding Java Virtual Machine instruction.- Specified by:
visitINVOKESTATICin interfaceVisitor- Overrides:
visitINVOKESTATICin classEmptyVisitor
-
visitINVOKEVIRTUAL
Symbolically executes the corresponding Java Virtual Machine instruction.- Specified by:
visitINVOKEVIRTUALin interfaceVisitor- Overrides:
visitINVOKEVIRTUALin classEmptyVisitor
-
visitIOR
Symbolically executes the corresponding Java Virtual Machine instruction.- Specified by:
visitIORin interfaceVisitor- Overrides:
visitIORin classEmptyVisitor
-
visitIREM
Symbolically executes the corresponding Java Virtual Machine instruction.- Specified by:
visitIREMin interfaceVisitor- Overrides:
visitIREMin classEmptyVisitor
-
visitIRETURN
Symbolically executes the corresponding Java Virtual Machine instruction.- Specified by:
visitIRETURNin interfaceVisitor- Overrides:
visitIRETURNin classEmptyVisitor
-
visitISHL
Symbolically executes the corresponding Java Virtual Machine instruction.- Specified by:
visitISHLin interfaceVisitor- Overrides:
visitISHLin classEmptyVisitor
-
visitISHR
Symbolically executes the corresponding Java Virtual Machine instruction.- Specified by:
visitISHRin interfaceVisitor- Overrides:
visitISHRin classEmptyVisitor
-
visitISTORE
Symbolically executes the corresponding Java Virtual Machine instruction.- Specified by:
visitISTOREin interfaceVisitor- Overrides:
visitISTOREin classEmptyVisitor
-
visitISUB
Symbolically executes the corresponding Java Virtual Machine instruction.- Specified by:
visitISUBin interfaceVisitor- Overrides:
visitISUBin classEmptyVisitor
-
visitIUSHR
Symbolically executes the corresponding Java Virtual Machine instruction.- Specified by:
visitIUSHRin interfaceVisitor- Overrides:
visitIUSHRin classEmptyVisitor
-
visitIXOR
Symbolically executes the corresponding Java Virtual Machine instruction.- Specified by:
visitIXORin interfaceVisitor- Overrides:
visitIXORin classEmptyVisitor
-
visitJSR
Symbolically executes the corresponding Java Virtual Machine instruction.- Specified by:
visitJSRin interfaceVisitor- Overrides:
visitJSRin classEmptyVisitor
-
visitJSR_W
Symbolically executes the corresponding Java Virtual Machine instruction.- Specified by:
visitJSR_Win interfaceVisitor- Overrides:
visitJSR_Win classEmptyVisitor
-
visitL2D
Symbolically executes the corresponding Java Virtual Machine instruction.- Specified by:
visitL2Din interfaceVisitor- Overrides:
visitL2Din classEmptyVisitor
-
visitL2F
Symbolically executes the corresponding Java Virtual Machine instruction.- Specified by:
visitL2Fin interfaceVisitor- Overrides:
visitL2Fin classEmptyVisitor
-
visitL2I
Symbolically executes the corresponding Java Virtual Machine instruction.- Specified by:
visitL2Iin interfaceVisitor- Overrides:
visitL2Iin classEmptyVisitor
-
visitLADD
Symbolically executes the corresponding Java Virtual Machine instruction.- Specified by:
visitLADDin interfaceVisitor- Overrides:
visitLADDin classEmptyVisitor
-
visitLALOAD
Symbolically executes the corresponding Java Virtual Machine instruction.- Specified by:
visitLALOADin interfaceVisitor- Overrides:
visitLALOADin classEmptyVisitor
-
visitLAND
Symbolically executes the corresponding Java Virtual Machine instruction.- Specified by:
visitLANDin interfaceVisitor- Overrides:
visitLANDin classEmptyVisitor
-
visitLASTORE
Symbolically executes the corresponding Java Virtual Machine instruction.- Specified by:
visitLASTOREin interfaceVisitor- Overrides:
visitLASTOREin classEmptyVisitor
-
visitLCMP
Symbolically executes the corresponding Java Virtual Machine instruction.- Specified by:
visitLCMPin interfaceVisitor- Overrides:
visitLCMPin classEmptyVisitor
-
visitLCONST
Symbolically executes the corresponding Java Virtual Machine instruction.- Specified by:
visitLCONSTin interfaceVisitor- Overrides:
visitLCONSTin classEmptyVisitor
-
visitLDC
Symbolically executes the corresponding Java Virtual Machine instruction.- Specified by:
visitLDCin interfaceVisitor- Overrides:
visitLDCin classEmptyVisitor
-
visitLDC_W
Symbolically executes the corresponding Java Virtual Machine instruction. -
visitLDC2_W
Symbolically executes the corresponding Java Virtual Machine instruction.- Specified by:
visitLDC2_Win interfaceVisitor- Overrides:
visitLDC2_Win classEmptyVisitor
-
visitLDIV
Symbolically executes the corresponding Java Virtual Machine instruction.- Specified by:
visitLDIVin interfaceVisitor- Overrides:
visitLDIVin classEmptyVisitor
-
visitLLOAD
Symbolically executes the corresponding Java Virtual Machine instruction.- Specified by:
visitLLOADin interfaceVisitor- Overrides:
visitLLOADin classEmptyVisitor
-
visitLMUL
Symbolically executes the corresponding Java Virtual Machine instruction.- Specified by:
visitLMULin interfaceVisitor- Overrides:
visitLMULin classEmptyVisitor
-
visitLNEG
Symbolically executes the corresponding Java Virtual Machine instruction.- Specified by:
visitLNEGin interfaceVisitor- Overrides:
visitLNEGin classEmptyVisitor
-
visitLOOKUPSWITCH
Symbolically executes the corresponding Java Virtual Machine instruction.- Specified by:
visitLOOKUPSWITCHin interfaceVisitor- Overrides:
visitLOOKUPSWITCHin classEmptyVisitor
-
visitLOR
Symbolically executes the corresponding Java Virtual Machine instruction.- Specified by:
visitLORin interfaceVisitor- Overrides:
visitLORin classEmptyVisitor
-
visitLREM
Symbolically executes the corresponding Java Virtual Machine instruction.- Specified by:
visitLREMin interfaceVisitor- Overrides:
visitLREMin classEmptyVisitor
-
visitLRETURN
Symbolically executes the corresponding Java Virtual Machine instruction.- Specified by:
visitLRETURNin interfaceVisitor- Overrides:
visitLRETURNin classEmptyVisitor
-
visitLSHL
Symbolically executes the corresponding Java Virtual Machine instruction.- Specified by:
visitLSHLin interfaceVisitor- Overrides:
visitLSHLin classEmptyVisitor
-
visitLSHR
Symbolically executes the corresponding Java Virtual Machine instruction.- Specified by:
visitLSHRin interfaceVisitor- Overrides:
visitLSHRin classEmptyVisitor
-
visitLSTORE
Symbolically executes the corresponding Java Virtual Machine instruction.- Specified by:
visitLSTOREin interfaceVisitor- Overrides:
visitLSTOREin classEmptyVisitor
-
visitLSUB
Symbolically executes the corresponding Java Virtual Machine instruction.- Specified by:
visitLSUBin interfaceVisitor- Overrides:
visitLSUBin classEmptyVisitor
-
visitLUSHR
Symbolically executes the corresponding Java Virtual Machine instruction.- Specified by:
visitLUSHRin interfaceVisitor- Overrides:
visitLUSHRin classEmptyVisitor
-
visitLXOR
Symbolically executes the corresponding Java Virtual Machine instruction.- Specified by:
visitLXORin interfaceVisitor- Overrides:
visitLXORin classEmptyVisitor
-
visitMONITORENTER
Symbolically executes the corresponding Java Virtual Machine instruction.- Specified by:
visitMONITORENTERin interfaceVisitor- Overrides:
visitMONITORENTERin classEmptyVisitor
-
visitMONITOREXIT
Symbolically executes the corresponding Java Virtual Machine instruction.- Specified by:
visitMONITOREXITin interfaceVisitor- Overrides:
visitMONITOREXITin classEmptyVisitor
-
visitMULTIANEWARRAY
Symbolically executes the corresponding Java Virtual Machine instruction.- Specified by:
visitMULTIANEWARRAYin interfaceVisitor- Overrides:
visitMULTIANEWARRAYin classEmptyVisitor
-
visitNEW
Symbolically executes the corresponding Java Virtual Machine instruction.- Specified by:
visitNEWin interfaceVisitor- Overrides:
visitNEWin classEmptyVisitor
-
visitNEWARRAY
Symbolically executes the corresponding Java Virtual Machine instruction.- Specified by:
visitNEWARRAYin interfaceVisitor- Overrides:
visitNEWARRAYin classEmptyVisitor
-
visitNOP
Symbolically executes the corresponding Java Virtual Machine instruction.- Specified by:
visitNOPin interfaceVisitor- Overrides:
visitNOPin classEmptyVisitor
-
visitPOP
Symbolically executes the corresponding Java Virtual Machine instruction.- Specified by:
visitPOPin interfaceVisitor- Overrides:
visitPOPin classEmptyVisitor
-
visitPOP2
Symbolically executes the corresponding Java Virtual Machine instruction.- Specified by:
visitPOP2in interfaceVisitor- Overrides:
visitPOP2in classEmptyVisitor
-
visitPUTFIELD
Symbolically executes the corresponding Java Virtual Machine instruction.- Specified by:
visitPUTFIELDin interfaceVisitor- Overrides:
visitPUTFIELDin classEmptyVisitor
-
visitPUTSTATIC
Symbolically executes the corresponding Java Virtual Machine instruction.- Specified by:
visitPUTSTATICin interfaceVisitor- Overrides:
visitPUTSTATICin classEmptyVisitor
-
visitRET
Symbolically executes the corresponding Java Virtual Machine instruction.- Specified by:
visitRETin interfaceVisitor- Overrides:
visitRETin classEmptyVisitor
-
visitRETURN
Symbolically executes the corresponding Java Virtual Machine instruction.- Specified by:
visitRETURNin interfaceVisitor- Overrides:
visitRETURNin classEmptyVisitor
-
visitSALOAD
Symbolically executes the corresponding Java Virtual Machine instruction.- Specified by:
visitSALOADin interfaceVisitor- Overrides:
visitSALOADin classEmptyVisitor
-
visitSASTORE
Symbolically executes the corresponding Java Virtual Machine instruction.- Specified by:
visitSASTOREin interfaceVisitor- Overrides:
visitSASTOREin classEmptyVisitor
-
visitSIPUSH
Symbolically executes the corresponding Java Virtual Machine instruction.- Specified by:
visitSIPUSHin interfaceVisitor- Overrides:
visitSIPUSHin classEmptyVisitor
-
visitSWAP
Symbolically executes the corresponding Java Virtual Machine instruction.- Specified by:
visitSWAPin interfaceVisitor- Overrides:
visitSWAPin classEmptyVisitor
-
visitTABLESWITCH
Symbolically executes the corresponding Java Virtual Machine instruction.- Specified by:
visitTABLESWITCHin interfaceVisitor- Overrides:
visitTABLESWITCHin classEmptyVisitor
-