Uses of Class
edu.umd.cs.findbugs.ba.vna.ValueNumberDataflow
Packages that use ValueNumberDataflow
Package
Description
Support for analyzing code containing JSR-305 type qualifier annotations.
Support for analyses based on the BCEL bytecode framework.
-
Uses of ValueNumberDataflow in edu.umd.cs.findbugs.ba
Methods in edu.umd.cs.findbugs.ba that return ValueNumberDataflowModifier and TypeMethodDescriptionClassContext.getValueNumberDataflow
(org.apache.bcel.classfile.Method method) Get a ValueNumberDataflow for given method.Methods in edu.umd.cs.findbugs.ba with parameters of type ValueNumberDataflowModifier and TypeMethodDescriptionstatic 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 ValueNumberDataflowModifierConstructorDescriptionLockAnalysis
(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 ValueNumberDataflowModifierConstructorDescriptionUnconditionalValueDerefAnalysis
(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 ValueNumberDataflowModifier and TypeFieldDescriptionprotected final ValueNumberDataflow
TypeQualifierDataflowAnalysis.vnaDataflow
Methods in edu.umd.cs.findbugs.ba.jsr305 with parameters of type ValueNumberDataflowModifier and TypeMethodDescriptionprotected 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 methodDescriptor1, TypeQualifierValue<?> typeQualifierValue) protected void
BackwardTypeQualifierDataflowFactory.populateDatabase
(BackwardTypeQualifierDataflow dataflow, ValueNumberDataflow vnaDataflow, XMethod xmethod, TypeQualifierValue<?> tqv) protected void
ForwardTypeQualifierDataflowFactory.populateDatabase
(ForwardTypeQualifierDataflow dataflow, ValueNumberDataflow vnaDataflow, XMethod xmethod, TypeQualifierValue<?> tqv) protected abstract void
TypeQualifierDataflowFactory.populateDatabase
(DataflowType dataflow, ValueNumberDataflow vnaDataflow, XMethod xmethod, TypeQualifierValue<?> tqv) Constructors in edu.umd.cs.findbugs.ba.jsr305 with parameters of type ValueNumberDataflowModifierConstructorDescriptionBackwardTypeQualifierDataflowAnalysis
(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 ValueNumberDataflowModifier and TypeMethodDescriptionvoid
NullDerefAndRedundantComparisonCollector.foundGuaranteedNullDeref
(Set<Location> assignedNullLocationSet, Set<Location> derefLocationSet, 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).UsagesRequiringNonNullValues.get
(Location loc, ValueNumber vn, ValueNumberDataflow vnaDataflow) IsNullValueAnalysis.getForPointerEqualityCheck
(CFG cfg, ValueNumberDataflow vna) Constructors in edu.umd.cs.findbugs.ba.npe with parameters of type ValueNumberDataflowModifierConstructorDescriptionIsNullValueAnalysis
(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.type
Methods in edu.umd.cs.findbugs.ba.type with parameters of type ValueNumberDataflowModifier and TypeMethodDescriptionvoid
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 ValueNumberDataflowModifier and TypeMethodDescriptionValueNumberDataflowFactory.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 ValueNumberDataflowModifier and TypeMethodDescriptionvoid
FindNullDeref.foundGuaranteedNullDeref
(Set<Location> assignedNullLocationSet, Set<Location> derefLocationSet, SortedSet<Location> doomedLocations, ValueNumberDataflow vna, ValueNumber refValue, BugAnnotation variableAnnotation, NullValueUnconditionalDeref deref, boolean npeIfStatementCovered) void
NoiseNullDeref.foundGuaranteedNullDeref
(Set<Location> assignedNullLocationSet, Set<Location> derefLocationSet, SortedSet<Location> doomedLocations, ValueNumberDataflow vna, ValueNumber refValue, BugAnnotation variableAnnotation, NullValueUnconditionalDeref deref, boolean npeIfStatementCovered)