Package | Description |
---|---|
edu.umd.cs.findbugs |
Main package for the FindBugs application - contains the
engine class (FindBugs), the object model classes for bug instances
(BugInstance, BugAnnotation), and other miscellany.
|
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.detect |
Modifier and Type | Method and Description |
---|---|
abstract void |
ResourceTrackingDetector.inspectResult(ClassContext classContext,
org.apache.bcel.generic.MethodGen methodGen,
CFG cfg,
Dataflow<ResourceValueFrame,ResourceValueAnalysis<Resource>> dataflow,
Resource resource) |
Modifier and Type | Class and Description |
---|---|
class |
AbstractDataflow<Fact,AnalysisType extends BasicAbstractDataflowAnalysis<Fact>>
Convenience class for defining Dataflow classes which use a
BasicAbstractDataflowAnalysis subtype.
|
class |
BlockTypeDataflow |
class |
LiveLocalStoreDataflow
Dataflow class for LiveLocalStoreAnalysis.
|
class |
LockDataflow
Dataflow class for LockAnalysis.
|
class |
ReturnPathDataflow |
Modifier and Type | Method and Description |
---|---|
static <Fact,AnalysisType extends BasicAbstractDataflowAnalysis<Fact>> |
DataflowCFGPrinter.printCFG(Dataflow<Fact,AnalysisType> dataflow,
java.io.PrintStream out)
Print CFG annotated with results from given dataflow analysis.
|
Constructor and Description |
---|
DataflowCFGPrinter(Dataflow<Fact,AnalysisType> dataflow)
Constructor.
|
Modifier and Type | Class and Description |
---|---|
class |
CallListDataflow
Dataflow class for CallListAnalysis.
|
Modifier and Type | Class and Description |
---|---|
class |
ConstantDataflow
Dataflow class for ConstantAnalysis.
|
Modifier and Type | Class and Description |
---|---|
class |
UnconditionalValueDerefDataflow
Dataflow to find value numbers unconditionally dereferenced.
|
Modifier and Type | Class and Description |
---|---|
class |
LoadDataflow |
class |
StoreDataflow |
Modifier and Type | Class and Description |
---|---|
class |
BackwardTypeQualifierDataflow
Dataflow class for BackwardTypeQualifierDataflowAnalysis.
|
class |
ForwardTypeQualifierDataflow
Dataflow object for ForwardTypeQualifierDataflowAnalysis.
|
class |
TypeQualifierDataflow<AnalysisType extends TypeQualifierDataflowAnalysis>
Dataflow class for TypeQualifierDataflowAnalysis.
|
Modifier and Type | Class and Description |
---|---|
class |
IsNullValueDataflow |
class |
ReturnPathTypeDataflow
Dataflow class for ReturnPathTypeAnalysis.
|
Modifier and Type | Class and Description |
---|---|
class |
ObligationDataflow
Dataflow class for ObligationAnalysis.
|
Modifier and Type | Class and Description |
---|---|
class |
TypeDataflow |
Modifier and Type | Class and Description |
---|---|
class |
ValueNumberDataflow |
Modifier and Type | Method and Description |
---|---|
void |
ValueNumberAnalysis.compactValueNumbers(Dataflow<ValueNumberFrame,ValueNumberAnalysis> dataflow)
Deprecated.
|
Modifier and Type | Method and Description |
---|---|
void |
FindUnreleasedLock.inspectResult(ClassContext classContext,
org.apache.bcel.generic.MethodGen methodGen,
CFG cfg,
Dataflow<ResourceValueFrame,ResourceValueAnalysis<edu.umd.cs.findbugs.detect.Lock>> dataflow,
edu.umd.cs.findbugs.detect.Lock resource) |
void |
FindOpenStream.inspectResult(ClassContext classContext,
org.apache.bcel.generic.MethodGen methodGen,
CFG cfg,
Dataflow<ResourceValueFrame,ResourceValueAnalysis<Stream>> dataflow,
Stream stream) |
FindBugs™ is licenced under the LGPL. Copyright © 2006 University of Maryland.