Package edu.umd.cs.findbugs.ba.heap
Class LoadAnalysis
- All Implemented Interfaces:
DataflowAnalysis<FieldSet>
-
Constructor Summary
ConstructorDescriptionLoadAnalysis
(DepthFirstSearch dfs, org.apache.bcel.generic.ConstantPoolGen cpg) -
Method Summary
Methods inherited from class edu.umd.cs.findbugs.ba.heap.FieldSetAnalysis
copy, createFact, getCPG, initEntryFact, isFactValid, isTop, makeFactTop, meetInto, same, transferInstruction
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
-
LoadAnalysis
-
-
Method Details
-
sawLoad
- Specified by:
sawLoad
in classFieldSetAnalysis
-
sawStore
- Specified by:
sawStore
in classFieldSetAnalysis
-