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 | 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 | 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 | 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 | Description |
---|---|
DataflowCFGPrinter(Dataflow<Fact,AnalysisType> dataflow) |
Constructor.
|
Modifier and Type | Class | Description |
---|---|---|
class |
CallListDataflow |
Dataflow class for CallListAnalysis.
|
Modifier and Type | Class | Description |
---|---|---|
class |
ConstantDataflow |
Dataflow class for ConstantAnalysis.
|
Modifier and Type | Class | Description |
---|---|---|
class |
UnconditionalValueDerefDataflow |
Dataflow to find value numbers unconditionally dereferenced.
|
Modifier and Type | Class | Description |
---|---|---|
class |
LoadDataflow |
|
class |
StoreDataflow |
Modifier and Type | Class | 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 | Description |
---|---|---|
class |
IsNullValueDataflow |
|
class |
ReturnPathTypeDataflow |
Dataflow class for ReturnPathTypeAnalysis.
|
Modifier and Type | Class | Description |
---|---|---|
class |
ObligationDataflow |
Dataflow class for ObligationAnalysis.
|
Modifier and Type | Class | Description |
---|---|---|
class |
TypeDataflow |
Modifier and Type | Class | Description |
---|---|---|
class |
ValueNumberDataflow |
Modifier and Type | Method | Description |
---|---|---|
void |
ValueNumberAnalysis.compactValueNumbers(Dataflow<ValueNumberFrame,ValueNumberAnalysis> dataflow) |
Deprecated.
|
Modifier and Type | Method | Description |
---|---|---|
void |
FindOpenStream.inspectResult(ClassContext classContext,
org.apache.bcel.generic.MethodGen methodGen,
CFG cfg,
Dataflow<ResourceValueFrame,ResourceValueAnalysis<Stream>> dataflow,
Stream stream) |
|
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) |
FindBugs™ is licenced under the LGPL. Copyright © 2006 University of Maryland.