Package edu.umd.cs.findbugs.ba.heap
Class FieldSetAnalysis
java.lang.Object
edu.umd.cs.findbugs.ba.BasicAbstractDataflowAnalysis<FieldSet>
edu.umd.cs.findbugs.ba.AbstractDataflowAnalysis<FieldSet>
edu.umd.cs.findbugs.ba.ForwardDataflowAnalysis<FieldSet>
edu.umd.cs.findbugs.ba.heap.FieldSetAnalysis
- All Implemented Interfaces:
DataflowAnalysis<FieldSet>
- Direct Known Subclasses:
LoadAnalysis
,StoreAnalysis
- Author:
- David Hovemeyer
-
Constructor Summary
ConstructorDescriptionFieldSetAnalysis
(DepthFirstSearch dfs, org.apache.bcel.generic.ConstantPoolGen cpg) -
Method Summary
Modifier and TypeMethodDescriptionvoid
Copy dataflow facts.Create empty (uninitialized) dataflow facts for one program point.org.apache.bcel.generic.ConstantPoolGen
getCPG()
void
initEntryFact
(FieldSet result) Initialize the "entry" fact for the graph.boolean
isFactValid
(FieldSet fact) Determine whether the given fact is valid (neither top nor bottom).boolean
Is the given fact the top value.void
makeFactTop
(FieldSet fact) Make given fact the top value.void
Meet a dataflow fact associated with an incoming edge into another fact.boolean
Are given dataflow facts the same?protected abstract void
protected abstract void
void
transferInstruction
(org.apache.bcel.generic.InstructionHandle handle, BasicBlock basicBlock, FieldSet fact) Transfer function for a single instruction.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, transfer
Methods inherited from class edu.umd.cs.findbugs.ba.BasicAbstractDataflowAnalysis
edgeTransfer, factToString, finishIteration, getFactOnEdge, getLastUpdateTimestamp, getResultFact, getStartFact, resultFactIterator, setLastUpdateTimestamp, startIteration
-
Constructor Details
-
FieldSetAnalysis
-
-
Method Details
-
getCPG
public org.apache.bcel.generic.ConstantPoolGen getCPG() -
makeFactTop
Description copied from interface:DataflowAnalysis
Make given fact the top value. -
isTop
Description copied from interface:DataflowAnalysis
Is the given fact the top value. -
initEntryFact
Description copied from interface:DataflowAnalysis
Initialize the "entry" fact for the graph.- 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.- Parameters:
fact
- the predecessor fact (incoming edge)edge
- the edge from the predecessorresult
- the result fact- Throws:
DataflowAnalysisException
-
same
Description copied from interface:DataflowAnalysis
Are given dataflow facts the same? -
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. -
isFactValid
Description copied from class:AbstractDataflowAnalysis
Determine whether the given fact is valid (neither top nor bottom).- Specified by:
isFactValid
in classAbstractDataflowAnalysis<FieldSet>
-
copy
Description copied from interface:DataflowAnalysis
Copy dataflow facts. -
transferInstruction
public void transferInstruction(org.apache.bcel.generic.InstructionHandle handle, BasicBlock basicBlock, FieldSet fact) throws DataflowAnalysisException Description copied from class:AbstractDataflowAnalysis
Transfer function for a single instruction.- Specified by:
transferInstruction
in classAbstractDataflowAnalysis<FieldSet>
- 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
-
sawLoad
-
sawStore
-