FindBugs™ 1.3.9

Uses of Class
edu.umd.cs.findbugs.ba.vna.ValueNumberDataflow

Packages that use ValueNumberDataflow
edu.umd.cs.findbugs.ba A bytecode analysis framework for BCEL, providing CFG construction, generic dataflow analysis, and a variety of specific dataflow analyses. 
edu.umd.cs.findbugs.ba.deref   
edu.umd.cs.findbugs.ba.jsr305 Support for analyzing code containing JSR-305 type qualifier annotations. 
edu.umd.cs.findbugs.ba.npe   
edu.umd.cs.findbugs.ba.npe2 This package is a rewrite of the null-pointer analysis to use sets of value numbers rather than frames. 
edu.umd.cs.findbugs.ba.type   
edu.umd.cs.findbugs.classfile.engine.bcel Support for analyses based on the BCEL bytecode framework
edu.umd.cs.findbugs.detect   
 

Uses of ValueNumberDataflow in edu.umd.cs.findbugs.ba
 

Methods in edu.umd.cs.findbugs.ba that return ValueNumberDataflow
 ValueNumberDataflow ClassContext.getValueNumberDataflow(org.apache.bcel.classfile.Method method)
          Get a ValueNumberDataflow for given method.
 

Methods in edu.umd.cs.findbugs.ba with parameters of type ValueNumberDataflow
static void ClassContext.dumpDataflowInformation(org.apache.bcel.classfile.Method method, CFG cfg, ValueNumberDataflow vnd, IsNullValueDataflow inv, UnconditionalValueDerefDataflow dataflow, TypeDataflow typeDataflow)
           
 

Constructors in edu.umd.cs.findbugs.ba with parameters of type ValueNumberDataflow
LockAnalysis(org.apache.bcel.generic.MethodGen methodGen, ValueNumberDataflow vnaDataflow, DepthFirstSearch dfs)
           
 

Uses of ValueNumberDataflow in edu.umd.cs.findbugs.ba.deref
 

Constructors in edu.umd.cs.findbugs.ba.deref with parameters of type ValueNumberDataflow
UnconditionalValueDerefAnalysis(ReverseDepthFirstSearch rdfs, DepthFirstSearch dfs, CFG cfg, org.apache.bcel.classfile.Method method, org.apache.bcel.generic.MethodGen methodGen, ValueNumberDataflow vnaDataflow, AssertionMethods assertionMethods)
          Constructor.
 

Uses of ValueNumberDataflow in edu.umd.cs.findbugs.ba.jsr305
 

Fields in edu.umd.cs.findbugs.ba.jsr305 declared as ValueNumberDataflow
protected  ValueNumberDataflow TypeQualifierDataflowAnalysis.vnaDataflow
           
 

Methods in edu.umd.cs.findbugs.ba.jsr305 with parameters of type ValueNumberDataflow
protected  BackwardTypeQualifierDataflow BackwardTypeQualifierDataflowFactory.getDataflow(DepthFirstSearch dfs, XMethod xmethod, CFG cfg, ValueNumberDataflow vnaDataflow, org.apache.bcel.generic.ConstantPoolGen cpg, IAnalysisCache analysisCache, MethodDescriptor methodDescriptor, TypeQualifierValue typeQualifierValue)
           
protected  ForwardTypeQualifierDataflow ForwardTypeQualifierDataflowFactory.getDataflow(DepthFirstSearch dfs, XMethod xmethod, CFG cfg, ValueNumberDataflow vnaDataflow, org.apache.bcel.generic.ConstantPoolGen cpg, IAnalysisCache analysisCache, MethodDescriptor methodDescriptor, TypeQualifierValue typeQualifierValue)
           
protected abstract  DataflowType TypeQualifierDataflowFactory.getDataflow(DepthFirstSearch dfs, XMethod xmethod, CFG cfg, ValueNumberDataflow vnaDataflow, org.apache.bcel.generic.ConstantPoolGen cpg, IAnalysisCache analysisCache, MethodDescriptor methodDescriptor, TypeQualifierValue typeQualifierValue)
           
protected  void BackwardTypeQualifierDataflowFactory.populateDatabase(BackwardTypeQualifierDataflow dataflow, ValueNumberDataflow vnaDataflow, XMethod xmethod, TypeQualifierValue tqv)
           
protected abstract  void TypeQualifierDataflowFactory.populateDatabase(DataflowType dataflow, ValueNumberDataflow vnaDataflow, XMethod xmethod, TypeQualifierValue tqv)
           
protected  void ForwardTypeQualifierDataflowFactory.populateDatabase(ForwardTypeQualifierDataflow dataflow, ValueNumberDataflow vnaDataflow, XMethod xmethod, TypeQualifierValue tqv)
           
 

Constructors in edu.umd.cs.findbugs.ba.jsr305 with parameters of type ValueNumberDataflow
BackwardTypeQualifierDataflowAnalysis(DepthFirstSearch dfs, ReverseDepthFirstSearch rdfs, XMethod xmethod, CFG cfg, ValueNumberDataflow vnaDataflow, org.apache.bcel.generic.ConstantPoolGen cpg, TypeQualifierValue typeQualifierValue)
          Constructor.
ForwardTypeQualifierDataflowAnalysis(DepthFirstSearch dfs, XMethod xmethod, CFG cfg, ValueNumberDataflow vnaDataflow, org.apache.bcel.generic.ConstantPoolGen cpg, TypeQualifierValue typeQualifierValue)
          Constructor.
TypeQualifierDataflowAnalysis(XMethod xmethod, CFG cfg, ValueNumberDataflow vnaDataflow, org.apache.bcel.generic.ConstantPoolGen cpg, TypeQualifierValue typeQualifierValue)
          Constructor.
 

Uses of ValueNumberDataflow in edu.umd.cs.findbugs.ba.npe
 

Methods in edu.umd.cs.findbugs.ba.npe with parameters of type ValueNumberDataflow
 void NullDerefAndRedundantComparisonCollector.foundGuaranteedNullDeref(java.util.Set<Location> assignedNullLocationSet, java.util.Set<Location> derefLocationSet, java.util.SortedSet<Location> doomedLocations, ValueNumberDataflow vna, ValueNumber refValue, BugAnnotation variableAnnotation, NullValueUnconditionalDeref deref, boolean npeIfStatementCovered)
          Subclasses should override this method to capture values assigned null (or that become null through a comparison and branch) that are guaranteed to reach a dereference (ignoring implicit exception paths).
 PointerUsageRequiringNonNullValue UsagesRequiringNonNullValues.get(Location loc, ValueNumber vn, ValueNumberDataflow vnaDataflow)
           
static IsNullValueAnalysis.PointerEqualityCheck IsNullValueAnalysis.getForPointerEqualityCheck(CFG cfg, ValueNumberDataflow vna)
           
 

Constructors in edu.umd.cs.findbugs.ba.npe with parameters of type ValueNumberDataflow
IsNullValueAnalysis(MethodDescriptor descriptor, org.apache.bcel.generic.MethodGen methodGen, CFG cfg, ValueNumberDataflow vnaDataflow, TypeDataflow typeDataflow, DepthFirstSearch dfs, AssertionMethods assertionMethods)
           
IsNullValueFrameModelingVisitor(org.apache.bcel.generic.ConstantPoolGen cpg, AssertionMethods assertionMethods, ValueNumberDataflow vnaDataflow, TypeDataflow typeDataflow, boolean trackValueNumbers)
           
 

Uses of ValueNumberDataflow in edu.umd.cs.findbugs.ba.npe2
 

Constructors in edu.umd.cs.findbugs.ba.npe2 with parameters of type ValueNumberDataflow
DefinitelyNullSetAnalysis(DepthFirstSearch dfs, ValueNumberDataflow vnaDataflow, CompactLocationNumbering compactLocationNumbering)
          Constructor.
 

Uses of ValueNumberDataflow in edu.umd.cs.findbugs.ba.type
 

Methods in edu.umd.cs.findbugs.ba.type with parameters of type ValueNumberDataflow
 void TypeAnalysis.setValueNumberDataflow(ValueNumberDataflow valueNumberDataflow)
          Set the ValueNumberDataflow for the method being analyzed.
 void TypeFrameModelingVisitor.setValueNumberDataflow(ValueNumberDataflow valueNumberDataflow)
          Set ValueNumberDataflow for the method being analyzed.
 

Uses of ValueNumberDataflow in edu.umd.cs.findbugs.classfile.engine.bcel
 

Methods in edu.umd.cs.findbugs.classfile.engine.bcel that return ValueNumberDataflow
 ValueNumberDataflow ValueNumberDataflowFactory.analyze(IAnalysisCache analysisCache, MethodDescriptor descriptor)
           
protected  ValueNumberDataflow AnalysisFactory.getValueNumberDataflow(IAnalysisCache analysisCache, MethodDescriptor methodDescriptor)
           
 

Uses of ValueNumberDataflow in edu.umd.cs.findbugs.detect
 

Methods in edu.umd.cs.findbugs.detect with parameters of type ValueNumberDataflow
 void FindNullDeref.foundGuaranteedNullDeref(java.util.Set<Location> assignedNullLocationSet, java.util.Set<Location> derefLocationSet, java.util.SortedSet<Location> doomedLocations, ValueNumberDataflow vna, ValueNumber refValue, BugAnnotation variableAnnotation, NullValueUnconditionalDeref deref, boolean npeIfStatementCovered)
           
 void NoiseNullDeref.foundGuaranteedNullDeref(java.util.Set<Location> assignedNullLocationSet, java.util.Set<Location> derefLocationSet, java.util.SortedSet<Location> doomedLocations, ValueNumberDataflow vna, ValueNumber refValue, BugAnnotation variableAnnotation, NullValueUnconditionalDeref deref, boolean npeIfStatementCovered)
           
 


FindBugs™ 1.3.9

FindBugs™ is licenced under the LGPL. Copyright © 2006 University of Maryland.