Uses of Class
edu.umd.cs.findbugs.ba.ForwardDataflowAnalysis
Packages that use ForwardDataflowAnalysis
Package
Description
A bytecode analysis framework for BCEL, providing CFG construction, generic
dataflow analysis, and a variety of specific dataflow analyses.
Implementation of dataflow analysis for checking whether obligations to close streams and other resources
(e.g., database objects) are satisfied.
-
Uses of ForwardDataflowAnalysis in edu.umd.cs.findbugs.ba
Subclasses of ForwardDataflowAnalysis in edu.umd.cs.findbugs.baModifier and TypeClassDescriptionclass
FrameDataflowAnalysis<ValueType,
FrameType extends Frame<ValueType>> A convenient base class for dataflow analysis classes which use Frames as values.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 ForwardDataflowAnalysis in edu.umd.cs.findbugs.ba.constant
Subclasses of ForwardDataflowAnalysis in edu.umd.cs.findbugs.ba.constantModifier and TypeClassDescriptionclass
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 -
Uses of ForwardDataflowAnalysis in edu.umd.cs.findbugs.ba.npe
Subclasses of ForwardDataflowAnalysis in edu.umd.cs.findbugs.ba.npeModifier and TypeClassDescriptionclass
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.oblModifier and TypeClassDescriptionclass
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.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 ForwardDataflowAnalysis in edu.umd.cs.findbugs.ba.vna
Subclasses of ForwardDataflowAnalysis 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 ForwardDataflowAnalysis in edu.umd.cs.findbugs.detect
Subclasses of ForwardDataflowAnalysis in edu.umd.cs.findbugs.detectModifier and TypeClassDescriptionprivate static final class