Uses of Package
edu.umd.cs.findbugs.ba.vna
Packages that use edu.umd.cs.findbugs.ba.vna
Package
Description
A bytecode analysis framework for BCEL, providing CFG construction, generic
dataflow analysis, and a variety of specific dataflow analyses.
Support for analyzing code containing JSR-305 type qualifier annotations.
Support for analyses based on the BCEL bytecode framework.
-
Classes in edu.umd.cs.findbugs.ba.vna used by edu.umd.cs.findbugs.baClassDescriptionObject 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.A "value number" is a value produced somewhere in a methods.A dataflow analysis to track the production and flow of values in the Java stack frame.Factory for ValueNumbers.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.bcpClassDescriptionA "value number" is a value produced somewhere in a methods.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.derefClassDescriptionA "value number" is a value produced somewhere in a methods.Factory for ValueNumbers.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.jsr305ClassDescriptionA "value number" is a value produced somewhere in a methods.
-
Classes in edu.umd.cs.findbugs.ba.vna used by edu.umd.cs.findbugs.ba.npeClassDescriptionA "value number" is a value produced somewhere in a methods.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.typeClassDescriptionA "value number" is a value produced somewhere in a methods.
-
Classes in edu.umd.cs.findbugs.ba.vna used by edu.umd.cs.findbugs.ba.vnaClassDescriptionAn AvailableLoad indicates a field and (optionally) object reference for which a value is available.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.Count number of times a field is loaded and/or stored in the method.Data structure to keep track of which input ValueNumbers were combined to produce which other output ValueNumbers.A "value number" is a value produced somewhere in a methods.A dataflow analysis to track the production and flow of values in the Java stack frame.Global flags controlling ValueNumberAnalysis.A cache mapping instructions and input values to the output values they produce.An entry in the cache.Factory for ValueNumbers.A dataflow value representing a Java stack frame with value number information.A wrapper for the AvailableLoad to ValueNumber[] map also keeping track of a reverse map.Visitor which models the effects of bytecode instructions on value numbers of values in the operand stack frames.
-
Classes in edu.umd.cs.findbugs.ba.vna used by edu.umd.cs.findbugs.classfile.engine.bcelClassDescriptionObject 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.A "value number" is a value produced somewhere in a methods.
-
Classes in edu.umd.cs.findbugs.ba.vna used by edu.umd.cs.findbugs.detectClassDescriptionA "value number" is a value produced somewhere in a methods.A dataflow analysis to track the production and flow of values in the Java stack frame.A dataflow value representing a Java stack frame with value number information.