FindBugs™ 1.3.9

Uses of Class
edu.umd.cs.findbugs.ba.ForwardDataflowAnalysis

Packages that use ForwardDataflowAnalysis
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.npe2 This package is a rewrite of the null-pointer analysis to use sets of value numbers rather than frames. 
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
 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
 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
 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
 class IsNullValueAnalysis
          A dataflow analysis to detect potential null pointer dereferences.
 

Uses of ForwardDataflowAnalysis in edu.umd.cs.findbugs.ba.npe2
 

Subclasses of ForwardDataflowAnalysis in edu.umd.cs.findbugs.ba.npe2
 class DefinitelyNullSetAnalysis
          A simple null-pointer analysis that keeps track of which value numbers are definitely known to be null.
 

Uses of ForwardDataflowAnalysis in edu.umd.cs.findbugs.ba.obl
 

Subclasses of ForwardDataflowAnalysis in edu.umd.cs.findbugs.ba.obl
 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
 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
 class ValueNumberAnalysis
          A dataflow analysis to track the production and flow of values in the Java stack frame.
 


FindBugs™ 1.3.9

FindBugs™ is licenced under the LGPL. Copyright © 2006 University of Maryland.