|
FindBugs™ 1.3.9 | |||||||||
PREV NEXT | FRAMES NO FRAMES |
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
|
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 | |||||||||
PREV NEXT | FRAMES NO FRAMES |