Uses of Package
edu.umd.cs.findbugs.ba.vna
-
Packages that use edu.umd.cs.findbugs.ba.vna 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 -
Classes in edu.umd.cs.findbugs.ba.vna used by edu.umd.cs.findbugs.ba Class 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. -
Classes in edu.umd.cs.findbugs.ba.vna used by edu.umd.cs.findbugs.ba.bcp Class 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. -
Classes in edu.umd.cs.findbugs.ba.vna used by edu.umd.cs.findbugs.ba.deref Class 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. -
Classes in edu.umd.cs.findbugs.ba.vna used by edu.umd.cs.findbugs.ba.jsr305 Class Description 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 Class 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. -
Classes in edu.umd.cs.findbugs.ba.vna used by edu.umd.cs.findbugs.ba.type Class Description 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 Class 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. -
Classes in edu.umd.cs.findbugs.ba.vna used by edu.umd.cs.findbugs.classfile.engine.bcel Class 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 -
Classes in edu.umd.cs.findbugs.ba.vna used by edu.umd.cs.findbugs.detect Class 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.