| 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.bcp | |
| edu.umd.cs.findbugs.ba.deref | |
| 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.type | |
| edu.umd.cs.findbugs.ba.vna | |
| edu.umd.cs.findbugs.classfile.engine.bcel |
Support for analyses based on the BCEL bytecode framework.
|
| edu.umd.cs.findbugs.detect |
| Class and Description |
|---|
| LoadedFieldSet
Object which stores which fields are loaded and stored by the instructions in
a method (including through inner-class access methods), and also which
fields are loaded/stored by the overall method.
|
| ValueNumber
A "value number" is a value produced somewhere in a methods.
|
| ValueNumberDataflow |
| ValueNumberFactory
Factory for ValueNumbers.
|
| ValueNumberFrame
A dataflow value representing a Java stack frame with value number
information.
|
| Class and Description |
|---|
| ValueNumber
A "value number" is a value produced somewhere in a methods.
|
| ValueNumberFrame
A dataflow value representing a Java stack frame with value number
information.
|
| Class and Description |
|---|
| ValueNumber
A "value number" is a value produced somewhere in a methods.
|
| ValueNumberDataflow |
| ValueNumberFactory
Factory for ValueNumbers.
|
| ValueNumberFrame
A dataflow value representing a Java stack frame with value number
information.
|
| Class and Description |
|---|
| ValueNumber
A "value number" is a value produced somewhere in a methods.
|
| ValueNumberDataflow |
| Class and Description |
|---|
| ValueNumber
A "value number" is a value produced somewhere in a methods.
|
| ValueNumberDataflow |
| ValueNumberFrame
A dataflow value representing a Java stack frame with value number
information.
|
| Class and Description |
|---|
| ValueNumber
A "value number" is a value produced somewhere in a methods.
|
| ValueNumberDataflow |
| Class and Description |
|---|
| AvailableLoad
An AvailableLoad indicates a field and (optionally) object reference for
which a value is available.
|
| LoadedFieldSet
Object which stores which fields are loaded and stored by the instructions in
a method (including through inner-class access methods), and also which
fields are loaded/stored by the overall method.
|
| LoadedFieldSet.LoadStoreCount
Count number of times a field is loaded and/or stored in the method.
|
| MergeTree
Data structure to keep track of which input ValueNumbers were combined to
produce which other output ValueNumbers.
|
| ValueNumber
A "value number" is a value produced somewhere in a methods.
|
| ValueNumberAnalysis
A dataflow analysis to track the production and flow of values in the Java
stack frame.
|
| ValueNumberAnalysisFeatures
Global flags controlling ValueNumberAnalysis.
|
| ValueNumberCache
A cache mapping instructions and input values to the output values they
produce.
|
| ValueNumberCache.Entry
An entry in the cache.
|
| ValueNumberFactory
Factory for ValueNumbers.
|
| ValueNumberFrame
A dataflow value representing a Java stack frame with value number
information.
|
| Class and Description |
|---|
| LoadedFieldSet
Object which stores which fields are loaded and stored by the instructions in
a method (including through inner-class access methods), and also which
fields are loaded/stored by the overall method.
|
| ValueNumberDataflow |
| Class and Description |
|---|
| ValueNumber
A "value number" is a value produced somewhere in a methods.
|
| ValueNumberDataflow |
| ValueNumberFrame
A dataflow value representing a Java stack frame with value number
information.
|
FindBugs™ is licenced under the LGPL. Copyright © 2006 University of Maryland.