edu.umd.cs.findbugs.ba.deref

Class UnconditionalValueDerefDataflow

java.lang.Object

edu.umd.cs.findbugs.ba.Dataflow<Fact,AnalysisType>

edu.umd.cs.findbugs.ba.AbstractDataflow<UnconditionalValueDerefSet,UnconditionalValueDerefAnalysis>

edu.umd.cs.findbugs.ba.deref.UnconditionalValueDerefDataflow

public class UnconditionalValueDerefDataflow
extends AbstractDataflow<UnconditionalValueDerefSet,UnconditionalValueDerefAnalysis>

Dataflow to find value numbers unconditionally dereferenced.

Author:

David Hovemeyer

Field Summary

Fields inherited from class edu.umd.cs.findbugs.ba.Dataflow

DEBUG

Constructor Summary

Constructors

Constructor and Description
UnconditionalValueDerefDataflow(CFG cfg, UnconditionalValueDerefAnalysis analysis) Constructor.

Method Summary

Methods inherited from class edu.umd.cs.findbugs.ba.AbstractDataflow

getFactOnEdge

Methods inherited from class edu.umd.cs.findbugs.ba.Dataflow

dumpDataflow, execute, getAnalysis, getCFG, getFactAfterLocation, getFactAtLocation, getNumIterations, getResultFact, getStartFact

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

UnconditionalValueDerefDataflow

public UnconditionalValueDerefDataflow(CFG cfg,
                                       UnconditionalValueDerefAnalysis analysis)

Constructor.

Parameters:

cfg - the control flow graph

analysis - the analysis