FindBugs™ 1.3.9

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

Packages that use BasicAbstractDataflowAnalysis
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.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   
edu.umd.cs.findbugs.classfile.engine.bcel 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 BasicAbstractDataflowAnalysis
 class 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.ba
 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 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.
 

Methods in edu.umd.cs.findbugs.ba with type parameters of type BasicAbstractDataflowAnalysis
static
<Fact,AnalysisType extends BasicAbstractDataflowAnalysis<Fact>>
void
DataflowCFGPrinter.printCFG(Dataflow<Fact,AnalysisType> dataflow, java.io.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
 class CallListAnalysis
           
 

Uses of BasicAbstractDataflowAnalysis in edu.umd.cs.findbugs.ba.constant
 

Subclasses of BasicAbstractDataflowAnalysis in edu.umd.cs.findbugs.ba.constant
 class ConstantAnalysis
          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.deref
 class UnconditionalValueDerefAnalysis
          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
 class FieldSetAnalysis
           
 class LoadAnalysis
           
 class StoreAnalysis
           
 

Uses of BasicAbstractDataflowAnalysis in edu.umd.cs.findbugs.ba.jsr305
 

Subclasses of BasicAbstractDataflowAnalysis in edu.umd.cs.findbugs.ba.jsr305
 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 BasicAbstractDataflowAnalysis in edu.umd.cs.findbugs.ba.npe
 

Subclasses of BasicAbstractDataflowAnalysis in edu.umd.cs.findbugs.ba.npe
 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 BasicAbstractDataflowAnalysis in edu.umd.cs.findbugs.ba.npe2
 

Subclasses of BasicAbstractDataflowAnalysis 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 BasicAbstractDataflowAnalysis in edu.umd.cs.findbugs.ba.obl
 

Subclasses of BasicAbstractDataflowAnalysis 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 BasicAbstractDataflowAnalysis in edu.umd.cs.findbugs.ba.type
 

Subclasses of BasicAbstractDataflowAnalysis 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 BasicAbstractDataflowAnalysis in edu.umd.cs.findbugs.ba.vna
 

Subclasses of BasicAbstractDataflowAnalysis 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.
 

Uses of BasicAbstractDataflowAnalysis in edu.umd.cs.findbugs.classfile.engine.bcel
 

Subclasses of BasicAbstractDataflowAnalysis in edu.umd.cs.findbugs.classfile.engine.bcel
 class NonExceptionPostdominatorsAnalysis
          PostDominatorsAnalysis variant in which all exception edges are ignored.
 class NonImplicitExceptionPostDominatorsAnalysis
          PostDominatorsAnalysis variant in which implicit exception edges are ignored.
 


FindBugs™ 1.3.9

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