|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use EdgeTypes | |
---|---|
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.bcp | |
edu.umd.cs.findbugs.ba.npe | |
edu.umd.cs.findbugs.ba.type |
Uses of EdgeTypes in edu.umd.cs.findbugs.ba |
---|
Classes in edu.umd.cs.findbugs.ba that implement EdgeTypes | |
---|---|
class |
BetterCFGBuilder2
A CFGBuilder that really tries to construct accurate control flow graphs. |
class |
Edge
An edge of a control flow graph. |
class |
PruneInfeasibleExceptionEdges
Prune a CFG to remove infeasible exception edges. |
class |
PruneInfeasibleExceptionEdges2
Remove obviously infeasible exception edgges, and mark all exception edges of a CFG to indicate if they can throw a checked exception, and if they throw "explicit" exceptions (thrown via ATHROW or from a called method which explicitly declares thrown exceptions) |
class |
PruneUnconditionalExceptionThrowerEdges
|
class |
ResourceValueAnalysis<Resource>
|
class |
ReturnPathAnalysis
|
class |
SimplePathEnumerator
Object to enumerate (some subset of) the simple paths in a CFG. |
class |
TargetEnumeratingVisitor
Visitor to find all of the targets of an instruction whose InstructionHandle is given. |
Uses of EdgeTypes in edu.umd.cs.findbugs.ba.bcp |
---|
Classes in edu.umd.cs.findbugs.ba.bcp that implement EdgeTypes | |
---|---|
class |
IfNull
|
Uses of EdgeTypes in edu.umd.cs.findbugs.ba.npe |
---|
Classes in edu.umd.cs.findbugs.ba.npe that implement EdgeTypes | |
---|---|
class |
IsNullConditionDecision
A control decision which resulted in information being gained about whether a particular value is null or non-null on the IFCMP_EDGE and FALL_THROUGH_EDGE branches. |
class |
IsNullValueAnalysis
A dataflow analysis to detect potential null pointer dereferences. |
Uses of EdgeTypes in edu.umd.cs.findbugs.ba.type |
---|
Classes in edu.umd.cs.findbugs.ba.type that implement EdgeTypes | |
---|---|
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. |
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |