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.deref | |
edu.umd.cs.findbugs.ba.npe | |
edu.umd.cs.findbugs.classfile.engine.bcel |
Support for analyses based on the BCEL bytecode framework.
|
Modifier and Type | Method | Description |
---|---|---|
AssertionMethods |
ClassContext.getAssertionMethods() |
Get AssertionMethods for class.
|
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 |
---|---|
IsNullValueAnalysis(MethodDescriptor descriptor,
org.apache.bcel.generic.MethodGen methodGen,
CFG cfg,
ValueNumberDataflow vnaDataflow,
TypeDataflow typeDataflow,
DepthFirstSearch dfs,
AssertionMethods assertionMethods) |
|
IsNullValueFrameModelingVisitor(org.apache.bcel.generic.ConstantPoolGen cpg,
AssertionMethods assertionMethods,
ValueNumberDataflow vnaDataflow,
TypeDataflow typeDataflow,
boolean trackValueNumbers) |
Modifier and Type | Method | Description |
---|---|---|
AssertionMethods |
AssertionMethodsFactory.analyze(IAnalysisCache analysisCache,
ClassDescriptor descriptor) |
|
protected AssertionMethods |
AnalysisFactory.getAssertionMethods(IAnalysisCache analysisCache,
ClassDescriptor classDescriptor) |
FindBugs™ is licenced under the LGPL. Copyright © 2006 University of Maryland.