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

@ParametersAreNonnullByDefault @AnalysisContextContained package 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.
    ValueNumberDataflow
     
    ValueNumberFactory
    Factory for ValueNumbers.
    ValueNumberFrame
    A dataflow value representing a Java stack frame with value number information.
    ValueNumberFrameModelingVisitor
    Visitor which models the effects of bytecode instructions on value numbers of values in the operand stack frames.
    ValueNumberSourceInfo
    Helper methods to find out information about the source of the value represented by a given ValueNumber.