|
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 |