Uses of Interface
edu.umd.cs.findbugs.ba.DataflowAnalysis
-
Packages that use DataflowAnalysis Package Description 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.ca edu.umd.cs.findbugs.ba.constant edu.umd.cs.findbugs.ba.deref edu.umd.cs.findbugs.ba.heap 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.obl Implementation of dataflow analysis for checking whether obligations to close streams and other resources (e.g.edu.umd.cs.findbugs.ba.type edu.umd.cs.findbugs.ba.vna edu.umd.cs.findbugs.classfile.engine.bcel Support for analyses based on the BCEL bytecode framework.edu.umd.cs.findbugs.detect -
-
Uses of DataflowAnalysis in edu.umd.cs.findbugs.ba
Classes in edu.umd.cs.findbugs.ba with type parameters of type DataflowAnalysis Modifier and Type Class Description class
Dataflow<Fact,AnalysisType extends DataflowAnalysis<Fact>>
Perform dataflow analysis on a method using a control flow graph.class
DataflowCFGPrinter<Fact,AnalysisType extends DataflowAnalysis<Fact>>
CFGPrinter class which prints dataflow values at each basic block and instruction.Classes in edu.umd.cs.findbugs.ba that implement DataflowAnalysis Modifier and Type Class Description class
AbstractDataflowAnalysis<Fact>
Abstract base class providing functionality that will be useful for most dataflow analysis implementations that model instructions within basic blocks.class
AbstractDominatorsAnalysis
A dataflow analysis to compute dominator relationships between basic blocks.class
BackwardDataflowAnalysis<Fact>
Abstract base class for backward dataflow analyses.class
BasicAbstractDataflowAnalysis<Fact>
A useful starting point for defining a dataflow analysis.class
BlockTypeAnalysis
Dataflow analysis to determine the nesting of catch and finally blocks within a method.class
DominatorsAnalysis
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
LiveLocalStoreAnalysis
Dataflow analysis to find live stores of locals.class
LockAnalysis
Analysis to determine where particular values are locked in a method.class
PostDominatorsAnalysis
Dataflow analysis to compute postdominator sets for a CFG.class
ResourceValueAnalysis<Resource>
class
ReturnPathAnalysis
class
StackDepthAnalysis
A really simple forward dataflow analysis to find the depth of the Java operand stack. -
Uses of DataflowAnalysis in edu.umd.cs.findbugs.ba.ca
Classes in edu.umd.cs.findbugs.ba.ca that implement DataflowAnalysis Modifier and Type Class Description class
CallListAnalysis
-
Uses of DataflowAnalysis in edu.umd.cs.findbugs.ba.constant
Classes in edu.umd.cs.findbugs.ba.constant that implement DataflowAnalysis Modifier and Type Class Description class
ConstantAnalysis
Dataflow analysis to find constant values. -
Uses of DataflowAnalysis in edu.umd.cs.findbugs.ba.deref
Classes in edu.umd.cs.findbugs.ba.deref that implement DataflowAnalysis Modifier and Type Class Description class
UnconditionalValueDerefAnalysis
Dataflow analysis to find values unconditionally dereferenced in the future. -
Uses of DataflowAnalysis in edu.umd.cs.findbugs.ba.heap
Classes in edu.umd.cs.findbugs.ba.heap that implement DataflowAnalysis Modifier and Type Class Description class
FieldSetAnalysis
class
LoadAnalysis
class
StoreAnalysis
-
Uses of DataflowAnalysis in edu.umd.cs.findbugs.ba.jsr305
Classes in edu.umd.cs.findbugs.ba.jsr305 that implement DataflowAnalysis Modifier and Type Class Description class
BackwardTypeQualifierDataflowAnalysis
Backwards type qualifier dataflow analysis.class
ForwardTypeQualifierDataflowAnalysis
Forward type qualifier dataflow analysis.class
TypeQualifierDataflowAnalysis
Abstract base class for type qualifier dataflow analyses. -
Uses of DataflowAnalysis in edu.umd.cs.findbugs.ba.npe
Classes in edu.umd.cs.findbugs.ba.npe that implement DataflowAnalysis Modifier and Type Class Description class
IsNullValueAnalysis
A dataflow analysis to detect potential null pointer dereferences.class
ReturnPathTypeAnalysis
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 DataflowAnalysis in edu.umd.cs.findbugs.ba.obl
Classes in edu.umd.cs.findbugs.ba.obl that implement DataflowAnalysis Modifier and Type Class Description class
ObligationAnalysis
Dataflow analysis to track obligations (i/o streams and other resources which must be closed). -
Uses of DataflowAnalysis in edu.umd.cs.findbugs.ba.type
Classes in edu.umd.cs.findbugs.ba.type that implement DataflowAnalysis Modifier and Type Class Description class
TypeAnalysis
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 DataflowAnalysis in edu.umd.cs.findbugs.ba.vna
Classes in edu.umd.cs.findbugs.ba.vna that implement DataflowAnalysis Modifier and Type Class Description class
ValueNumberAnalysis
A dataflow analysis to track the production and flow of values in the Java stack frame. -
Uses of DataflowAnalysis in edu.umd.cs.findbugs.classfile.engine.bcel
Classes in edu.umd.cs.findbugs.classfile.engine.bcel that implement DataflowAnalysis Modifier and Type Class Description class
NonExceptionPostdominatorsAnalysis
PostDominatorsAnalysis variant in which all exception edges are ignored.class
NonImplicitExceptionPostDominatorsAnalysis
PostDominatorsAnalysis variant in which implicit exception edges are ignored. -
Uses of DataflowAnalysis in edu.umd.cs.findbugs.detect
Classes in edu.umd.cs.findbugs.detect with type parameters of type DataflowAnalysis Modifier and Type Class Description class
TestDataflowAnalysis<Fact,AnalysisType extends DataflowAnalysis<Fact>>
This detector is just a test harness to test a dataflow analysis class specified by the dataflow.classname property.
-