|
FindBugs™ 1.3.9 | |||||||||
| PREV NEXT | FRAMES NO FRAMES | |||||||||
| Packages that use edu.umd.cs.findbugs.ba.vna | |
|---|---|
| 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.npe2 | This package is a rewrite of the null-pointer analysis to use sets of value numbers rather than frames. |
| 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 | |
| Classes in edu.umd.cs.findbugs.ba.vna used by edu.umd.cs.findbugs.ba | |
|---|---|
| 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. |
|
| Classes in edu.umd.cs.findbugs.ba.vna used by edu.umd.cs.findbugs.ba.bcp | |
|---|---|
| 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. |
|
| Classes in edu.umd.cs.findbugs.ba.vna used by edu.umd.cs.findbugs.ba.deref | |
|---|---|
| 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. |
|
| Classes in edu.umd.cs.findbugs.ba.vna used by edu.umd.cs.findbugs.ba.jsr305 | |
|---|---|
| ValueNumber
A "value number" is a value produced somewhere in a methods. |
|
| ValueNumberDataflow
|
|
| Classes in edu.umd.cs.findbugs.ba.vna used by edu.umd.cs.findbugs.ba.npe | |
|---|---|
| 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. |
|
| Classes in edu.umd.cs.findbugs.ba.vna used by edu.umd.cs.findbugs.ba.npe2 | |
|---|---|
| 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. |
|
| Classes in edu.umd.cs.findbugs.ba.vna used by edu.umd.cs.findbugs.ba.type | |
|---|---|
| ValueNumber
A "value number" is a value produced somewhere in a methods. |
|
| ValueNumberDataflow
|
|
| Classes in edu.umd.cs.findbugs.ba.vna used by edu.umd.cs.findbugs.ba.vna | |
|---|---|
| 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. |
|
| Classes in edu.umd.cs.findbugs.ba.vna used by edu.umd.cs.findbugs.classfile.engine.bcel | |
|---|---|
| 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
|
|
| Classes in edu.umd.cs.findbugs.ba.vna used by edu.umd.cs.findbugs.detect | |
|---|---|
| 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™ 1.3.9 | |||||||||
| PREV NEXT | FRAMES NO FRAMES | |||||||||