DataflowAnalysis<Fact>
DefinitelyNullSetAnalysis
, FieldSetAnalysis
, FrameDataflowAnalysis
, LockAnalysis
, ObligationAnalysis
, ReturnPathAnalysis
, StackDepthAnalysis
public abstract class ForwardDataflowAnalysis<Fact> extends AbstractDataflowAnalysis<Fact>
Dataflow
,
DataflowAnalysis
Constructor | Description |
---|---|
ForwardDataflowAnalysis(DepthFirstSearch dfs) |
Modifier and Type | Method | Description |
---|---|---|
BlockOrder |
getBlockOrder(CFG cfg) |
Return the BlockOrder specifying the order in which BasicBlocks
should be visited in the main dataflow loop.
|
protected DepthFirstSearch |
getDepthFirstSearch() |
|
boolean |
isForwards() |
Returns true if the analysis is forwards, false if backwards.
|
getFactAfterLocation, getFactAtLocation, isFactValid, transfer, transferInstruction
edgeTransfer, factToString, finishIteration, getFactOnEdge, getLastUpdateTimestamp, getResultFact, getStartFact, resultFactIterator, setLastUpdateTimestamp, startIteration
copy, createFact, initEntryFact, isTop, makeFactTop, meetInto, same
public ForwardDataflowAnalysis(DepthFirstSearch dfs)
protected DepthFirstSearch getDepthFirstSearch()
public boolean isForwards()
DataflowAnalysis
public BlockOrder getBlockOrder(CFG cfg)
DataflowAnalysis
cfg
- the CFG upon which we're performing dataflow analysisFindBugs™ is licenced under the LGPL. Copyright © 2006 University of Maryland.