edu.umd.cs.findbugs.ba.npe
public class UnconditionalDerefAnalysis extends BackwardDataflowAnalysis<UnconditionalDerefSet>
Deprecated: Use UnconditionalValueDerefAnalysis instead
Dataflow analysis to look for parameters dereferenced unconditionally. Flow values are sets of parameters (indexed starting from 0) which are dereferenced on every path past the current location.Constructor Summary | |
---|---|
UnconditionalDerefAnalysis(ReverseDepthFirstSearch rdfs, DepthFirstSearch dfs, CFG cfg, MethodGen methodGen, ValueNumberDataflow vnaDataflow, TypeDataflow typeDataflow) |
Method Summary | |
---|---|
void | copy(UnconditionalDerefSet source, UnconditionalDerefSet dest) |
UnconditionalDerefSet | createFact() |
void | initEntryFact(UnconditionalDerefSet result) |
void | initResultFact(UnconditionalDerefSet result) |
boolean | isTop(UnconditionalDerefSet fact) |
static void | main(String[] argv) |
void | makeFactTop(UnconditionalDerefSet fact) |
void | meetInto(UnconditionalDerefSet fact, Edge edge, UnconditionalDerefSet result) |
boolean | same(UnconditionalDerefSet fact1, UnconditionalDerefSet fact2) |