Package edu.umd.cs.findbugs.ba.type
Class TypeAnalysis
java.lang.Object
edu.umd.cs.findbugs.ba.BasicAbstractDataflowAnalysis<TypeFrame>
edu.umd.cs.findbugs.ba.AbstractDataflowAnalysis<TypeFrame>
edu.umd.cs.findbugs.ba.ForwardDataflowAnalysis<TypeFrame>
edu.umd.cs.findbugs.ba.FrameDataflowAnalysis<org.apache.bcel.generic.Type,TypeFrame>
edu.umd.cs.findbugs.ba.type.TypeAnalysis
- All Implemented Interfaces:
DataflowAnalysis<TypeFrame>
,EdgeTypes
public class TypeAnalysis
extends FrameDataflowAnalysis<org.apache.bcel.generic.Type,TypeFrame>
implements EdgeTypes
A forward dataflow analysis to determine the types of all values in the Java stack frame at all points in a Java method. The values include local variables and values on the Java operand stack.
As a side effect, the analysis computes the exception set throwable on each exception edge in the CFG. This information can be used to prune infeasible exception edges, and mark exception edges which propagate only implicit exceptions.
- Author:
- David Hovemeyer
- See Also:
-
Field Summary
Modifier and TypeFieldDescriptionprotected CFG
static final boolean
static final boolean
Force computation of accurate exceptions.protected org.apache.bcel.generic.MethodGen
Fields inherited from interface edu.umd.cs.findbugs.ba.EdgeTypes
BACKEDGE_SOURCE_EDGE, BACKEDGE_TARGET_EDGE, CHECKED_EXCEPTIONS_FLAG, EXIT_EDGE, EXPLICIT_EXCEPTIONS_FLAG, FALL_THROUGH_EDGE, GOTO_EDGE, HANDLED_EXCEPTION_EDGE, IFCMP_EDGE, JSR_EDGE, RET_EDGE, RETURN_EDGE, START_EDGE, SWITCH_DEFAULT_EDGE, SWITCH_EDGE, UNHANDLED_EXCEPTION_EDGE, UNKNOWN_EDGE
-
Constructor Summary
ConstructorDescriptionTypeAnalysis
(org.apache.bcel.classfile.Method method, org.apache.bcel.generic.MethodGen methodGen, CFG cfg, DepthFirstSearch dfs, RepositoryLookupFailureCallback lookupFailureCallback, ExceptionSetFactory exceptionSetFactory) Constructor which uses StandardTypeMerger.TypeAnalysis
(org.apache.bcel.classfile.Method method, org.apache.bcel.generic.MethodGen methodGen, CFG cfg, DepthFirstSearch dfs, TypeMerger typeMerger, RepositoryLookupFailureCallback lookupFailureCallback, ExceptionSetFactory exceptionSetFactory) Constructor.TypeAnalysis
(org.apache.bcel.classfile.Method method, org.apache.bcel.generic.MethodGen methodGen, CFG cfg, DepthFirstSearch dfs, TypeMerger typeMerger, TypeFrameModelingVisitor visitor, RepositoryLookupFailureCallback lookupFailureCallback, ExceptionSetFactory exceptionSetFactory) Constructor. -
Method Summary
Modifier and TypeMethodDescriptionvoid
Copy dataflow facts.Create empty (uninitialized) dataflow facts for one program point.getEdgeExceptionSet
(Edge edge) Get the set of exceptions that can be thrown on given edge.void
initEntryFact
(TypeFrame result) Initialize the "entry" fact for the graph.boolean
isFactValid
(TypeFrame fact) Determine whether the given fact is valid (neither top nor bottom).boolean
isImpliedByGenericTypes
(org.apache.bcel.generic.ReferenceType t) void
makeFactTop
(TypeFrame fact) Make given fact the top value.void
Meet a dataflow fact associated with an incoming edge into another fact.protected void
mergeValues
(TypeFrame otherFrame, TypeFrame resultFrame, int slot) Merge the values contained in a given slot of two Frames.boolean
Are given dataflow facts the same?void
Set the FieldStoreTypeDatabase.void
setValueNumberDataflow
(ValueNumberDataflow valueNumberDataflow) Set the ValueNumberDataflow for the method being analyzed.toString()
void
transfer
(BasicBlock basicBlock, org.apache.bcel.generic.InstructionHandle end, TypeFrame start, TypeFrame result) Transfer function for the analysis.void
transferInstruction
(org.apache.bcel.generic.InstructionHandle handle, BasicBlock basicBlock, TypeFrame fact) Transfer function for a single instruction.Methods inherited from class edu.umd.cs.findbugs.ba.FrameDataflowAnalysis
getFactAtPC, getFactBeforeExceptionCheck, getLastUpdateTimestamp, isTop, mergeInto, modifyFrame, setLastUpdateTimestamp
Methods inherited from class edu.umd.cs.findbugs.ba.ForwardDataflowAnalysis
getBlockOrder, getDepthFirstSearch, isForwards
Methods inherited from class edu.umd.cs.findbugs.ba.AbstractDataflowAnalysis
getFactAfterLocation, getFactAtLocation
Methods inherited from class edu.umd.cs.findbugs.ba.BasicAbstractDataflowAnalysis
edgeTransfer, factToString, finishIteration, getFactOnEdge, getResultFact, getStartFact, resultFactIterator, startIteration
-
Field Details
-
DEBUG
public static final boolean DEBUG -
FORCE_ACCURATE_EXCEPTIONS
public static final boolean FORCE_ACCURATE_EXCEPTIONSForce computation of accurate exceptions. -
methodGen
protected org.apache.bcel.generic.MethodGen methodGen -
cfg
-
-
Constructor Details
-
TypeAnalysis
public TypeAnalysis(org.apache.bcel.classfile.Method method, org.apache.bcel.generic.MethodGen methodGen, CFG cfg, DepthFirstSearch dfs, TypeMerger typeMerger, TypeFrameModelingVisitor visitor, RepositoryLookupFailureCallback lookupFailureCallback, ExceptionSetFactory exceptionSetFactory) Constructor.- Parameters:
method
- TODOmethodGen
- the MethodGen whose CFG we'll be analyzingcfg
- the control flow graphdfs
- DepthFirstSearch of the methodtypeMerger
- object to merge typesvisitor
- a TypeFrameModelingVisitor to use to model the effect of instructionslookupFailureCallback
- lookup failure callbackexceptionSetFactory
- factory for creating ExceptionSet objects
-
TypeAnalysis
public TypeAnalysis(org.apache.bcel.classfile.Method method, org.apache.bcel.generic.MethodGen methodGen, CFG cfg, DepthFirstSearch dfs, TypeMerger typeMerger, RepositoryLookupFailureCallback lookupFailureCallback, ExceptionSetFactory exceptionSetFactory) Constructor.- Parameters:
method
- TODOmethodGen
- the MethodGen whose CFG we'll be analyzingcfg
- the control flow graphdfs
- DepthFirstSearch of the methodtypeMerger
- object to merge typeslookupFailureCallback
- lookup failure callbackexceptionSetFactory
- factory for creating ExceptionSet objects
-
TypeAnalysis
public TypeAnalysis(org.apache.bcel.classfile.Method method, org.apache.bcel.generic.MethodGen methodGen, CFG cfg, DepthFirstSearch dfs, RepositoryLookupFailureCallback lookupFailureCallback, ExceptionSetFactory exceptionSetFactory) Constructor which uses StandardTypeMerger.- Parameters:
method
- TODOmethodGen
- the MethodGen whose CFG we'll be analyzingcfg
- the control flow graphdfs
- DepthFirstSearch of the methodlookupFailureCallback
- callback for Repository lookup failuresexceptionSetFactory
- factory for creating ExceptionSet objects
-
-
Method Details
-
setValueNumberDataflow
Set the ValueNumberDataflow for the method being analyzed. This is optional; if set, it will be used to make instanceof instructions more precise.- Parameters:
valueNumberDataflow
- the ValueNumberDataflow
-
setFieldStoreTypeDatabase
Set the FieldStoreTypeDatabase. This can be used to get more accurate types for values loaded from fields.- Parameters:
database
- the FieldStoreTypeDatabase
-
getEdgeExceptionSet
Get the set of exceptions that can be thrown on given edge. This should only be called after the analysis completes.- Parameters:
edge
- the Edge- Returns:
- the ExceptionSet
-
createFact
Description copied from interface:DataflowAnalysis
Create empty (uninitialized) dataflow facts for one program point. A valid value will be copied into it before it is used.- Specified by:
createFact
in interfaceDataflowAnalysis<TypeFrame>
-
initEntryFact
Description copied from interface:DataflowAnalysis
Initialize the "entry" fact for the graph.- Specified by:
initEntryFact
in interfaceDataflowAnalysis<TypeFrame>
-
copy
Description copied from interface:DataflowAnalysis
Copy dataflow facts.- Specified by:
copy
in interfaceDataflowAnalysis<TypeFrame>
- Overrides:
copy
in classFrameDataflowAnalysis<org.apache.bcel.generic.Type,
TypeFrame>
-
makeFactTop
Description copied from interface:DataflowAnalysis
Make given fact the top value.- Specified by:
makeFactTop
in interfaceDataflowAnalysis<TypeFrame>
- Overrides:
makeFactTop
in classFrameDataflowAnalysis<org.apache.bcel.generic.Type,
TypeFrame>
-
isFactValid
Description copied from class:AbstractDataflowAnalysis
Determine whether the given fact is valid (neither top nor bottom).- Overrides:
isFactValid
in classFrameDataflowAnalysis<org.apache.bcel.generic.Type,
TypeFrame>
-
same
Description copied from interface:DataflowAnalysis
Are given dataflow facts the same?- Specified by:
same
in interfaceDataflowAnalysis<TypeFrame>
- Overrides:
same
in classFrameDataflowAnalysis<org.apache.bcel.generic.Type,
TypeFrame>
-
transferInstruction
public void transferInstruction(org.apache.bcel.generic.InstructionHandle handle, BasicBlock basicBlock, TypeFrame fact) throws DataflowAnalysisException Description copied from class:AbstractDataflowAnalysis
Transfer function for a single instruction.- Specified by:
transferInstruction
in classAbstractDataflowAnalysis<TypeFrame>
- Parameters:
handle
- the instructionbasicBlock
- the BasicBlock containing the instruction; needed to disambiguate instructions in inlined JSR subroutinesfact
- which should be modified based on the instruction- Throws:
DataflowAnalysisException
-
transfer
public void transfer(BasicBlock basicBlock, @CheckForNull org.apache.bcel.generic.InstructionHandle end, TypeFrame start, TypeFrame result) throws DataflowAnalysisException Description copied from interface:DataflowAnalysis
Transfer function for the analysis. Taking dataflow facts at start (which might be either the entry or exit of the block, depending on whether the analysis is forwards or backwards), modify result to be the facts at the other end of the block.- Specified by:
transfer
in interfaceDataflowAnalysis<TypeFrame>
- Overrides:
transfer
in classAbstractDataflowAnalysis<TypeFrame>
- Parameters:
basicBlock
- the basic blockend
- if nonnull, stop before considering this instruction; otherwise, consider all of the instructions in the basic blockstart
- dataflow facts at beginning of block (if forward analysis) or end of block (if backwards analysis)result
- resulting dataflow facts at other end of block- Throws:
DataflowAnalysisException
-
meetInto
Description copied from interface:DataflowAnalysis
Meet a dataflow fact associated with an incoming edge into another fact. This is used to determine the start fact for a basic block.- Specified by:
meetInto
in interfaceDataflowAnalysis<TypeFrame>
- Parameters:
fact
- the predecessor fact (incoming edge)edge
- the edge from the predecessorresult
- the result fact- Throws:
DataflowAnalysisException
-
mergeValues
protected void mergeValues(TypeFrame otherFrame, TypeFrame resultFrame, int slot) throws DataflowAnalysisException Description copied from class:FrameDataflowAnalysis
Merge the values contained in a given slot of two Frames.- Specified by:
mergeValues
in classFrameDataflowAnalysis<org.apache.bcel.generic.Type,
TypeFrame> - Parameters:
otherFrame
- a FrameresultFrame
- a Frame which will contain the resulting merged valueslot
- a slot in both frames- Throws:
DataflowAnalysisException
-
toString
-
isImpliedByGenericTypes
public boolean isImpliedByGenericTypes(org.apache.bcel.generic.ReferenceType t)
-