edu.umd.cs.findbugs.ba.npe

Class UnconditionalDerefAnalysis

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.

Author: David Hovemeyer

Constructor Summary
UnconditionalDerefAnalysis(ReverseDepthFirstSearch rdfs, DepthFirstSearch dfs, CFG cfg, MethodGen methodGen, ValueNumberDataflow vnaDataflow, TypeDataflow typeDataflow)
Method Summary
voidcopy(UnconditionalDerefSet source, UnconditionalDerefSet dest)
UnconditionalDerefSetcreateFact()
voidinitEntryFact(UnconditionalDerefSet result)
voidinitResultFact(UnconditionalDerefSet result)
booleanisTop(UnconditionalDerefSet fact)
static voidmain(String[] argv)
voidmakeFactTop(UnconditionalDerefSet fact)
voidmeetInto(UnconditionalDerefSet fact, Edge edge, UnconditionalDerefSet result)
booleansame(UnconditionalDerefSet fact1, UnconditionalDerefSet fact2)

Constructor Detail

UnconditionalDerefAnalysis

public UnconditionalDerefAnalysis(ReverseDepthFirstSearch rdfs, DepthFirstSearch dfs, CFG cfg, MethodGen methodGen, ValueNumberDataflow vnaDataflow, TypeDataflow typeDataflow)

Method Detail

copy

public void copy(UnconditionalDerefSet source, UnconditionalDerefSet dest)

createFact

public UnconditionalDerefSet createFact()

initEntryFact

public void initEntryFact(UnconditionalDerefSet result)

initResultFact

public void initResultFact(UnconditionalDerefSet result)

isTop

public boolean isTop(UnconditionalDerefSet fact)

main

public static void main(String[] argv)

makeFactTop

public void makeFactTop(UnconditionalDerefSet fact)

meetInto

public void meetInto(UnconditionalDerefSet fact, Edge edge, UnconditionalDerefSet result)

same

public boolean same(UnconditionalDerefSet fact1, UnconditionalDerefSet fact2)
FindBugs™ is licenced under the LGPL. Copyright © 2006 University of Maryland.