|
||||||||||
| PREV NEXT | FRAMES NO FRAMES | |||||||||
| Packages that use TypeDataflow | |
|---|---|
| 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.npe | |
| edu.umd.cs.findbugs.ba.obl | |
| Uses of TypeDataflow in edu.umd.cs.findbugs.ba |
|---|
| Methods in edu.umd.cs.findbugs.ba that return TypeDataflow | |
|---|---|
TypeDataflow |
ClassContext.getTypeDataflow(org.apache.bcel.classfile.Method method)
Get a TypeDataflow for given method. |
| Constructors in edu.umd.cs.findbugs.ba with parameters of type TypeDataflow | |
|---|---|
PruneInfeasibleExceptionEdges(CFG cfg,
org.apache.bcel.generic.MethodGen methodGen,
TypeDataflow typeDataflow)
Constructor. |
|
PruneInfeasibleExceptionEdges2(CFG cfg,
org.apache.bcel.generic.MethodGen methodGen,
TypeDataflow typeDataflow)
Constructor. |
|
| Uses of TypeDataflow in edu.umd.cs.findbugs.ba.npe |
|---|
| Constructors in edu.umd.cs.findbugs.ba.npe with parameters of type TypeDataflow | |
|---|---|
UnconditionalDerefAnalysis(ReverseDepthFirstSearch rdfs,
CFG cfg,
org.apache.bcel.generic.MethodGen methodGen,
ValueNumberDataflow vnaDataflow,
TypeDataflow typeDataflow)
|
|
WillBeDereferencedAnalysis(ReverseDepthFirstSearch rdfs,
CFG cfg,
org.apache.bcel.generic.MethodGen methodGen,
ValueNumberDataflow vnaDataflow,
TypeDataflow typeDataflow)
|
|
| Uses of TypeDataflow in edu.umd.cs.findbugs.ba.obl |
|---|
| Constructors in edu.umd.cs.findbugs.ba.obl with parameters of type TypeDataflow | |
|---|---|
ObligationAnalysis(DepthFirstSearch dfs,
TypeDataflow typeDataflow,
org.apache.bcel.generic.MethodGen methodGen,
ObligationFactory factory,
PolicyDatabase database,
RepositoryLookupFailureCallback lookupFailureCallback)
Constructor. |
|
|
||||||||||
| PREV NEXT | FRAMES NO FRAMES | |||||||||