Uses of Class
edu.umd.cs.findbugs.ba.AbstractDataflowAnalysis
Packages that use AbstractDataflowAnalysis
Package
Description
Support for analyzing code containing JSR-305 type qualifier annotations.
-
Uses of AbstractDataflowAnalysis in edu.umd.cs.findbugs.ba
Subclasses of AbstractDataflowAnalysis in edu.umd.cs.findbugs.baModifier and TypeClassDescriptionclass
BackwardDataflowAnalysis<Fact>
Abstract base class for backward dataflow analyses.class
ForwardDataflowAnalysis<Fact>
Abstract base class for forward dataflow analyses.class
FrameDataflowAnalysis<ValueType,
FrameType extends Frame<ValueType>> A convenient base class for dataflow analysis classes which use Frames as values.class
Dataflow analysis to find live stores of locals.class
Analysis to determine where particular values are locked in a method.class
ResourceValueAnalysis<Resource>
class
class
A really simple forward dataflow analysis to find the depth of the Java operand stack. -
Uses of AbstractDataflowAnalysis in edu.umd.cs.findbugs.ba.ca
Subclasses of AbstractDataflowAnalysis in edu.umd.cs.findbugs.ba.ca -
Uses of AbstractDataflowAnalysis in edu.umd.cs.findbugs.ba.constant
Subclasses of AbstractDataflowAnalysis in edu.umd.cs.findbugs.ba.constantModifier and TypeClassDescriptionclass
Dataflow analysis to find constant values. -
Uses of AbstractDataflowAnalysis in edu.umd.cs.findbugs.ba.deref
Subclasses of AbstractDataflowAnalysis in edu.umd.cs.findbugs.ba.derefModifier and TypeClassDescriptionclass
Dataflow analysis to find values unconditionally dereferenced in the future. -
Uses of AbstractDataflowAnalysis in edu.umd.cs.findbugs.ba.heap
Subclasses of AbstractDataflowAnalysis in edu.umd.cs.findbugs.ba.heap -
Uses of AbstractDataflowAnalysis in edu.umd.cs.findbugs.ba.jsr305
Subclasses of AbstractDataflowAnalysis in edu.umd.cs.findbugs.ba.jsr305Modifier and TypeClassDescriptionclass
Backwards type qualifier dataflow analysis.class
Forward type qualifier dataflow analysis.class
Abstract base class for type qualifier dataflow analyses. -
Uses of AbstractDataflowAnalysis in edu.umd.cs.findbugs.ba.npe
Subclasses of AbstractDataflowAnalysis in edu.umd.cs.findbugs.ba.npeModifier and TypeClassDescriptionclass
A dataflow analysis to detect potential null pointer dereferences. -
Uses of AbstractDataflowAnalysis in edu.umd.cs.findbugs.ba.obl
Subclasses of AbstractDataflowAnalysis in edu.umd.cs.findbugs.ba.oblModifier and TypeClassDescriptionclass
Dataflow analysis to track obligations (i/o streams and other resources which must be closed). -
Uses of AbstractDataflowAnalysis in edu.umd.cs.findbugs.ba.type
Subclasses of AbstractDataflowAnalysis in edu.umd.cs.findbugs.ba.typeModifier and TypeClassDescriptionclass
A forward dataflow analysis to determine the types of all values in the Java stack frame at all points in a Java method. -
Uses of AbstractDataflowAnalysis in edu.umd.cs.findbugs.ba.vna
Subclasses of AbstractDataflowAnalysis in edu.umd.cs.findbugs.ba.vnaModifier and TypeClassDescriptionclass
A dataflow analysis to track the production and flow of values in the Java stack frame.