edu.umd.cs.findbugs.ba.vna
Class ValueNumberFrameModelingVisitor
java.lang.Object
edu.umd.cs.findbugs.ba.AbstractFrameModelingVisitor<ValueNumber,ValueNumberFrame>
edu.umd.cs.findbugs.ba.vna.ValueNumberFrameModelingVisitor
- All Implemented Interfaces:
- Debug, ValueNumberAnalysisFeatures, org.apache.bcel.generic.Visitor
public class ValueNumberFrameModelingVisitor
- extends AbstractFrameModelingVisitor<ValueNumber,ValueNumberFrame>
- implements Debug, ValueNumberAnalysisFeatures
Visitor which models the effects of bytecode instructions
on value numbers of values in the operand stack frames.
- Author:
- David Hovemeyer
- See Also:
ValueNumber
,
ValueNumberFrame
,
ValueNumberAnalysis
Methods inherited from class edu.umd.cs.findbugs.ba.AbstractFrameModelingVisitor |
analyzeInstruction, getCPG, getFrame, getLocation, getNumWordsConsumed, getNumWordsProduced, handleLoadInstruction, handleNormalInstruction, handleStoreInstruction, modelInstruction, setFrameAndLocation, visitAALOAD, visitAASTORE, visitACONST_NULL, visitAllocationInstruction, visitALOAD, visitANEWARRAY, visitARETURN, visitArithmeticInstruction, visitArrayInstruction, visitARRAYLENGTH, visitASTORE, visitATHROW, visitBALOAD, visitBASTORE, visitBIPUSH, visitBranchInstruction, visitBREAKPOINT, visitCALOAD, visitCASTORE, visitConstantPushInstruction, visitConversionInstruction, visitCPInstruction, visitD2F, visitD2I, visitD2L, visitDADD, visitDALOAD, visitDASTORE, visitDCMPG, visitDCMPL, visitDCONST, visitDDIV, visitDLOAD, visitDMUL, visitDNEG, visitDREM, visitDRETURN, visitDSTORE, visitDSUB, visitDUP_X1, visitDUP_X2, visitDUP, visitDUP2_X1, visitDUP2_X2, visitDUP2, visitExceptionThrower, visitF2D, visitF2I, visitF2L, visitFADD, visitFALOAD, visitFASTORE, visitFCMPG, visitFCMPL, visitFCONST, visitFDIV, visitFieldInstruction, visitFieldOrMethod, visitFLOAD, visitFMUL, visitFNEG, visitFREM, visitFRETURN, visitFSTORE, visitFSUB, visitGOTO_W, visitGOTO, visitGotoInstruction, visitI2B, visitI2C, visitI2D, visitI2F, visitI2L, visitI2S, visitIADD, visitIALOAD, visitIAND, visitIASTORE, visitICONST, visitIDIV, visitIF_ACMPEQ, visitIF_ACMPNE, visitIF_ICMPEQ, visitIF_ICMPGE, visitIF_ICMPGT, visitIF_ICMPLE, visitIF_ICMPLT, visitIF_ICMPNE, visitIFEQ, visitIFGE, visitIFGT, visitIfInstruction, visitIFLE, visitIFLT, visitIFNE, visitIFNONNULL, visitIFNULL, visitILOAD, visitIMPDEP1, visitIMPDEP2, visitIMUL, visitINEG, visitINSTANCEOF, visitInvokeInstruction, visitIOR, visitIREM, visitIRETURN, visitISHL, visitISHR, visitISTORE, visitISUB, visitIUSHR, visitIXOR, visitJSR_W, visitJSR, visitJsrInstruction, visitL2D, visitL2F, visitL2I, visitLADD, visitLALOAD, visitLAND, visitLASTORE, visitLCMP, visitLCONST, visitLDC2_W, visitLDIV, visitLLOAD, visitLMUL, visitLNEG, visitLoadClass, visitLoadInstruction, visitLocalVariableInstruction, visitLOOKUPSWITCH, visitLOR, visitLREM, visitLRETURN, visitLSHL, visitLSHR, visitLSTORE, visitLSUB, visitLUSHR, visitLXOR, visitMONITOREXIT, visitMULTIANEWARRAY, visitNEW, visitNEWARRAY, visitNOP, visitPOP, visitPOP2, visitPopInstruction, visitPushInstruction, visitRET, visitRETURN, visitReturnInstruction, visitSALOAD, visitSASTORE, visitSelect, visitSIPUSH, visitStackConsumer, visitStackInstruction, visitStackProducer, visitStoreInstruction, visitSWAP, visitTABLESWITCH, visitTypedInstruction, visitUnconditionalBranch, visitVariableLengthInstruction |
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
ValueNumberFrameModelingVisitor
public ValueNumberFrameModelingVisitor(org.apache.bcel.generic.MethodGen methodGen,
ValueNumberFactory factory,
ValueNumberCache cache,
LoadedFieldSet loadedFieldSet,
RepositoryLookupFailureCallback lookupFailureCallback)
- Constructor.
- Parameters:
methodGen
- the method being analyzedfactory
- factory for ValueNumbers for the methodcache
- cache of input/output transformations for each instructionloadedFieldSet
- fields loaded/stored by each instruction and entire methodlookupFailureCallback
- callback to use to report class lookup failures
getDefaultValue
public ValueNumber getDefaultValue()
- Description copied from class:
AbstractFrameModelingVisitor
- Produce a "default" value.
This is what is pushed onto the stack by the
handleNormalInstruction() method for instructions which produce stack values.
- Specified by:
getDefaultValue
in class AbstractFrameModelingVisitor<ValueNumber,ValueNumberFrame>
setHandle
public void setHandle(org.apache.bcel.generic.InstructionHandle handle)
- Set the instruction handle of the instruction currently being visited.
This must be called before the instruction accepts this visitor!
modelNormalInstruction
public void modelNormalInstruction(org.apache.bcel.generic.Instruction ins,
int numWordsConsumed,
int numWordsProduced)
- This is the default instruction modeling method.
- Overrides:
modelNormalInstruction
in class AbstractFrameModelingVisitor<ValueNumber,ValueNumberFrame>
- Parameters:
ins
- the Instruction to modelnumWordsConsumed
- number of stack words consumednumWordsProduced
- number of stack words produced
visitGETFIELD
public void visitGETFIELD(org.apache.bcel.generic.GETFIELD obj)
- Specified by:
visitGETFIELD
in interface org.apache.bcel.generic.Visitor
- Overrides:
visitGETFIELD
in class AbstractFrameModelingVisitor<ValueNumber,ValueNumberFrame>
visitPUTFIELD
public void visitPUTFIELD(org.apache.bcel.generic.PUTFIELD obj)
- Specified by:
visitPUTFIELD
in interface org.apache.bcel.generic.Visitor
- Overrides:
visitPUTFIELD
in class AbstractFrameModelingVisitor<ValueNumber,ValueNumberFrame>
visitGETSTATIC
public void visitGETSTATIC(org.apache.bcel.generic.GETSTATIC obj)
- Specified by:
visitGETSTATIC
in interface org.apache.bcel.generic.Visitor
- Overrides:
visitGETSTATIC
in class AbstractFrameModelingVisitor<ValueNumber,ValueNumberFrame>
visitPUTSTATIC
public void visitPUTSTATIC(org.apache.bcel.generic.PUTSTATIC obj)
- Specified by:
visitPUTSTATIC
in interface org.apache.bcel.generic.Visitor
- Overrides:
visitPUTSTATIC
in class AbstractFrameModelingVisitor<ValueNumber,ValueNumberFrame>
visitINVOKESTATIC
public void visitINVOKESTATIC(org.apache.bcel.generic.INVOKESTATIC obj)
- Specified by:
visitINVOKESTATIC
in interface org.apache.bcel.generic.Visitor
- Overrides:
visitINVOKESTATIC
in class AbstractFrameModelingVisitor<ValueNumber,ValueNumberFrame>
visitMONITORENTER
public void visitMONITORENTER(org.apache.bcel.generic.MONITORENTER obj)
- Specified by:
visitMONITORENTER
in interface org.apache.bcel.generic.Visitor
- Overrides:
visitMONITORENTER
in class AbstractFrameModelingVisitor<ValueNumber,ValueNumberFrame>
visitINVOKESPECIAL
public void visitINVOKESPECIAL(org.apache.bcel.generic.INVOKESPECIAL obj)
- Specified by:
visitINVOKESPECIAL
in interface org.apache.bcel.generic.Visitor
- Overrides:
visitINVOKESPECIAL
in class AbstractFrameModelingVisitor<ValueNumber,ValueNumberFrame>
visitINVOKEINTERFACE
public void visitINVOKEINTERFACE(org.apache.bcel.generic.INVOKEINTERFACE obj)
- Specified by:
visitINVOKEINTERFACE
in interface org.apache.bcel.generic.Visitor
- Overrides:
visitINVOKEINTERFACE
in class AbstractFrameModelingVisitor<ValueNumber,ValueNumberFrame>
visitINVOKEVIRTUAL
public void visitINVOKEVIRTUAL(org.apache.bcel.generic.INVOKEVIRTUAL obj)
- Specified by:
visitINVOKEVIRTUAL
in interface org.apache.bcel.generic.Visitor
- Overrides:
visitINVOKEVIRTUAL
in class AbstractFrameModelingVisitor<ValueNumber,ValueNumberFrame>
visitLDC
public void visitLDC(org.apache.bcel.generic.LDC obj)
- Specified by:
visitLDC
in interface org.apache.bcel.generic.Visitor
- Overrides:
visitLDC
in class AbstractFrameModelingVisitor<ValueNumber,ValueNumberFrame>
visitIINC
public void visitIINC(org.apache.bcel.generic.IINC obj)
- Specified by:
visitIINC
in interface org.apache.bcel.generic.Visitor
- Overrides:
visitIINC
in class AbstractFrameModelingVisitor<ValueNumber,ValueNumberFrame>
visitCHECKCAST
public void visitCHECKCAST(org.apache.bcel.generic.CHECKCAST obj)
- Specified by:
visitCHECKCAST
in interface org.apache.bcel.generic.Visitor
- Overrides:
visitCHECKCAST
in class AbstractFrameModelingVisitor<ValueNumber,ValueNumberFrame>
FindBugs™ is licenced under the LGPL. Copyright © 2006 University of Maryland.