Uses of Class
edu.umd.cs.findbugs.ba.ForwardDataflowAnalysis
-
Packages that use ForwardDataflowAnalysis 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.constant edu.umd.cs.findbugs.ba.heap 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 -
-
Uses of ForwardDataflowAnalysis in edu.umd.cs.findbugs.ba
Subclasses of ForwardDataflowAnalysis in edu.umd.cs.findbugs.ba Modifier and Type Class Description class
FrameDataflowAnalysis<ValueType,FrameType extends Frame<ValueType>>
A convenient base class for dataflow analysis classes which use Frames as values.class
LockAnalysis
Analysis to determine where particular values are locked in a method.class
ResourceValueAnalysis<Resource>
class
ReturnPathAnalysis
class
StackDepthAnalysis
A really simple forward dataflow analysis to find the depth of the Java operand stack. -
Uses of ForwardDataflowAnalysis in edu.umd.cs.findbugs.ba.constant
Subclasses of ForwardDataflowAnalysis in edu.umd.cs.findbugs.ba.constant Modifier and Type Class Description class
ConstantAnalysis
Dataflow analysis to find constant values. -
Uses of ForwardDataflowAnalysis in edu.umd.cs.findbugs.ba.heap
Subclasses of ForwardDataflowAnalysis in edu.umd.cs.findbugs.ba.heap Modifier and Type Class Description class
FieldSetAnalysis
class
LoadAnalysis
class
StoreAnalysis
-
Uses of ForwardDataflowAnalysis in edu.umd.cs.findbugs.ba.npe
Subclasses of ForwardDataflowAnalysis in edu.umd.cs.findbugs.ba.npe Modifier and Type Class Description class
IsNullValueAnalysis
A dataflow analysis to detect potential null pointer dereferences. -
Uses of ForwardDataflowAnalysis in edu.umd.cs.findbugs.ba.obl
Subclasses of ForwardDataflowAnalysis in edu.umd.cs.findbugs.ba.obl Modifier and Type Class Description class
ObligationAnalysis
Dataflow analysis to track obligations (i/o streams and other resources which must be closed). -
Uses of ForwardDataflowAnalysis in edu.umd.cs.findbugs.ba.type
Subclasses of ForwardDataflowAnalysis in edu.umd.cs.findbugs.ba.type 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 ForwardDataflowAnalysis in edu.umd.cs.findbugs.ba.vna
Subclasses of ForwardDataflowAnalysis in edu.umd.cs.findbugs.ba.vna Modifier and Type Class Description class
ValueNumberAnalysis
A dataflow analysis to track the production and flow of values in the Java stack frame.
-