edu.umd.cs.findbugs.ba
public class LiveLocalStoreAnalysis extends BackwardDataflowAnalysis<BitSet> implements Debug
This analysis also computes which stores that were killed by a subsequent store on any subsequent reachable path. (The FindDeadLocalStores detector uses this information to reduce false positives.)
Constructor Summary | |
---|---|
LiveLocalStoreAnalysis(MethodGen methodGen, ReverseDepthFirstSearch rdfs, DepthFirstSearch dfs) |
Method Summary | |
---|---|
void | copy(BitSet source, BitSet dest) |
BitSet | createFact() |
void | initEntryFact(BitSet result) |
void | initResultFact(BitSet result) |
boolean | isStoreAlive(BitSet fact, int local)
Return whether or not a store of given local is alive.
|
boolean | isTop(BitSet fact)
Return whether or not given fact is the special TOP value. |
boolean | killedByStore(BitSet fact, int local)
Return whether or not a store of given local was killed
by a subsequent (dominated) store. |
static void | main(String[] argv) |
void | makeFactTop(BitSet fact) |
void | meetInto(BitSet fact, Edge edge, BitSet result) |
boolean | same(BitSet fact1, BitSet fact2) |
Parameters: fact a dataflow fact created by this analysis local the local