Package | Description |
---|---|
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.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.
|
Modifier and Type | Field | Description |
---|---|---|
DepthFirstSearch |
ReverseDFSOrder.dfs |
Modifier and Type | Method | Description |
---|---|---|
DepthFirstSearch |
ClassContext.getDepthFirstSearch(org.apache.bcel.classfile.Method method) |
Get a DepthFirstSearch for given method.
|
protected DepthFirstSearch |
ForwardDataflowAnalysis.getDepthFirstSearch() |
Constructor | Description |
---|---|
CallListAnalysis(CFG cfg,
DepthFirstSearch dfs,
org.apache.bcel.generic.ConstantPoolGen cpg) |
Constructor | Description |
---|---|
ConstantAnalysis(org.apache.bcel.generic.MethodGen methodGen,
DepthFirstSearch dfs) |
Constructor | Description |
---|---|
UnconditionalValueDerefAnalysis(ReverseDepthFirstSearch rdfs,
DepthFirstSearch dfs,
CFG cfg,
org.apache.bcel.classfile.Method method,
org.apache.bcel.generic.MethodGen methodGen,
ValueNumberDataflow vnaDataflow,
AssertionMethods assertionMethods) |
Constructor.
|
Constructor | Description |
---|---|
FieldSetAnalysis(DepthFirstSearch dfs,
org.apache.bcel.generic.ConstantPoolGen cpg) |
|
LoadAnalysis(DepthFirstSearch dfs,
org.apache.bcel.generic.ConstantPoolGen cpg) |
|
StoreAnalysis(DepthFirstSearch dfs,
org.apache.bcel.generic.ConstantPoolGen cpg) |
Modifier and Type | Method | Description |
---|---|---|
protected BackwardTypeQualifierDataflow |
BackwardTypeQualifierDataflowFactory.getDataflow(DepthFirstSearch dfs,
XMethod xmethod,
CFG cfg,
ValueNumberDataflow vnaDataflow,
org.apache.bcel.generic.ConstantPoolGen cpg,
IAnalysisCache analysisCache,
MethodDescriptor methodDescriptor,
TypeQualifierValue<?> typeQualifierValue) |
|
protected ForwardTypeQualifierDataflow |
ForwardTypeQualifierDataflowFactory.getDataflow(DepthFirstSearch dfs,
XMethod xmethod,
CFG cfg,
ValueNumberDataflow vnaDataflow,
org.apache.bcel.generic.ConstantPoolGen cpg,
IAnalysisCache analysisCache,
MethodDescriptor methodDescriptor,
TypeQualifierValue<?> typeQualifierValue) |
|
protected abstract DataflowType |
TypeQualifierDataflowFactory.getDataflow(DepthFirstSearch dfs,
XMethod xmethod,
CFG cfg,
ValueNumberDataflow vnaDataflow,
org.apache.bcel.generic.ConstantPoolGen cpg,
IAnalysisCache analysisCache,
MethodDescriptor methodDescriptor1,
TypeQualifierValue<?> typeQualifierValue) |
Constructor | Description |
---|---|
BackwardTypeQualifierDataflowAnalysis(DepthFirstSearch dfs,
ReverseDepthFirstSearch rdfs,
XMethod xmethod,
CFG cfg,
ValueNumberDataflow vnaDataflow,
org.apache.bcel.generic.ConstantPoolGen cpg,
TypeQualifierValue<?> typeQualifierValue) |
Constructor.
|
ForwardTypeQualifierDataflowAnalysis(DepthFirstSearch dfs,
XMethod xmethod,
CFG cfg,
ValueNumberDataflow vnaDataflow,
org.apache.bcel.generic.ConstantPoolGen cpg,
TypeQualifierValue<?> typeQualifierValue) |
Constructor.
|
Constructor | Description |
---|---|
IsNullValueAnalysis(MethodDescriptor descriptor,
org.apache.bcel.generic.MethodGen methodGen,
CFG cfg,
ValueNumberDataflow vnaDataflow,
TypeDataflow typeDataflow,
DepthFirstSearch dfs,
AssertionMethods assertionMethods) |
|
ReturnPathTypeAnalysis(CFG cfg,
ReverseDepthFirstSearch rdfs,
DepthFirstSearch dfs) |
Constructor.
|
Constructor | Description |
---|---|
ObligationAnalysis(DepthFirstSearch dfs,
XMethod xmethod,
org.apache.bcel.generic.ConstantPoolGen cpg,
ObligationFactory factory,
ObligationPolicyDatabase database,
TypeDataflow typeDataflow,
IsNullValueDataflow invDataflow,
IErrorLogger errorLogger) |
Constructor.
|
Constructor | Description |
---|---|
TypeAnalysis(org.apache.bcel.classfile.Method method,
org.apache.bcel.generic.MethodGen methodGen,
CFG cfg,
DepthFirstSearch dfs,
RepositoryLookupFailureCallback lookupFailureCallback,
ExceptionSetFactory exceptionSetFactory) |
Constructor which uses StandardTypeMerger.
|
TypeAnalysis(org.apache.bcel.classfile.Method method,
org.apache.bcel.generic.MethodGen methodGen,
CFG cfg,
DepthFirstSearch dfs,
TypeMerger typeMerger,
RepositoryLookupFailureCallback lookupFailureCallback,
ExceptionSetFactory exceptionSetFactory) |
Constructor.
|
TypeAnalysis(org.apache.bcel.classfile.Method method,
org.apache.bcel.generic.MethodGen methodGen,
CFG cfg,
DepthFirstSearch dfs,
TypeMerger typeMerger,
TypeFrameModelingVisitor visitor,
RepositoryLookupFailureCallback lookupFailureCallback,
ExceptionSetFactory exceptionSetFactory) |
Constructor.
|
Constructor | Description |
---|---|
ValueNumberAnalysis(org.apache.bcel.generic.MethodGen methodGen,
DepthFirstSearch dfs,
LoadedFieldSet loadedFieldSet,
RepositoryLookupFailureCallback lookupFailureCallback) |
Modifier and Type | Method | Description |
---|---|---|
DepthFirstSearch |
DepthFirstSearchFactory.analyze(IAnalysisCache analysisCache,
MethodDescriptor descriptor) |
|
protected DepthFirstSearch |
AnalysisFactory.getDepthFirstSearch(IAnalysisCache analysisCache,
MethodDescriptor methodDescriptor) |
Constructor | Description |
---|---|
NonExceptionPostdominatorsAnalysis(CFG cfg,
ReverseDepthFirstSearch rdfs,
DepthFirstSearch dfs) |
Constructor.
|
NonImplicitExceptionPostDominatorsAnalysis(CFG cfg,
ReverseDepthFirstSearch rdfs,
DepthFirstSearch dfs) |
FindBugs™ is licenced under the LGPL. Copyright © 2006 University of Maryland.