FindBugs™ 1.3.9

Uses of Package
edu.umd.cs.findbugs.ba.vna

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

FindBugs™ is licenced under the LGPL. Copyright © 2006 University of Maryland.