Uses of Class
edu.umd.cs.findbugs.ba.BasicAbstractDataflowAnalysis
Packages that use BasicAbstractDataflowAnalysis
Package
Description
Support for analyzing code containing JSR-305 type qualifier annotations.
Support for analyses based on the BCEL bytecode framework.
-
Uses of BasicAbstractDataflowAnalysis in edu.umd.cs.findbugs.ba
Classes in edu.umd.cs.findbugs.ba with type parameters of type BasicAbstractDataflowAnalysisModifier and TypeClassDescriptionclass
AbstractDataflow<Fact,
AnalysisType extends BasicAbstractDataflowAnalysis<Fact>> Convenience class for defining Dataflow classes which use a BasicAbstractDataflowAnalysis subtype.Subclasses of BasicAbstractDataflowAnalysis in edu.umd.cs.findbugs.baModifier and TypeClassDescriptionclass
AbstractDataflowAnalysis<Fact>
Abstract base class providing functionality that will be useful for most dataflow analysis implementations that model instructions within basic blocks.class
A dataflow analysis to compute dominator relationships between basic blocks.class
BackwardDataflowAnalysis<Fact>
Abstract base class for backward dataflow analyses.class
Dataflow analysis to determine the nesting of catch and finally blocks within a method.class
Dataflow analysis to compute dominator sets for a CFG.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
Dataflow analysis to compute postdominator sets for a CFG.class
ResourceValueAnalysis<Resource>
class
class
A really simple forward dataflow analysis to find the depth of the Java operand stack.Methods in edu.umd.cs.findbugs.ba with type parameters of type BasicAbstractDataflowAnalysisModifier and TypeMethodDescriptionstatic <Fact,
AnalysisType extends BasicAbstractDataflowAnalysis<Fact>>
voidDataflowCFGPrinter.printCFG
(Dataflow<Fact, AnalysisType> dataflow, PrintStream out) Print CFG annotated with results from given dataflow analysis. -
Uses of BasicAbstractDataflowAnalysis in edu.umd.cs.findbugs.ba.ca
Subclasses of BasicAbstractDataflowAnalysis in edu.umd.cs.findbugs.ba.ca -
Uses of BasicAbstractDataflowAnalysis in edu.umd.cs.findbugs.ba.constant
Subclasses of BasicAbstractDataflowAnalysis in edu.umd.cs.findbugs.ba.constantModifier and TypeClassDescriptionclass
Dataflow analysis to find constant values. -
Uses of BasicAbstractDataflowAnalysis in edu.umd.cs.findbugs.ba.deref
Subclasses of BasicAbstractDataflowAnalysis in edu.umd.cs.findbugs.ba.derefModifier and TypeClassDescriptionclass
Dataflow analysis to find values unconditionally dereferenced in the future. -
Uses of BasicAbstractDataflowAnalysis in edu.umd.cs.findbugs.ba.heap
Subclasses of BasicAbstractDataflowAnalysis in edu.umd.cs.findbugs.ba.heap -
Uses of BasicAbstractDataflowAnalysis in edu.umd.cs.findbugs.ba.jsr305
Subclasses of BasicAbstractDataflowAnalysis 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 BasicAbstractDataflowAnalysis in edu.umd.cs.findbugs.ba.npe
Subclasses of BasicAbstractDataflowAnalysis in edu.umd.cs.findbugs.ba.npeModifier and TypeClassDescriptionclass
A dataflow analysis to detect potential null pointer dereferences.class
A dataflow analysis to determine, at each location in a method's CFG, whether or not it is possible to return normally at that location. -
Uses of BasicAbstractDataflowAnalysis in edu.umd.cs.findbugs.ba.obl
Subclasses of BasicAbstractDataflowAnalysis 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 BasicAbstractDataflowAnalysis in edu.umd.cs.findbugs.ba.type
Subclasses of BasicAbstractDataflowAnalysis 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 BasicAbstractDataflowAnalysis in edu.umd.cs.findbugs.ba.vna
Subclasses of BasicAbstractDataflowAnalysis 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. -
Uses of BasicAbstractDataflowAnalysis in edu.umd.cs.findbugs.classfile.engine.bcel
Subclasses of BasicAbstractDataflowAnalysis in edu.umd.cs.findbugs.classfile.engine.bcelModifier and TypeClassDescriptionclass
PostDominatorsAnalysis variant in which all exception edges are ignored.class
PostDominatorsAnalysis variant in which implicit exception edges are ignored.