@DefaultAnnotationForParameters(value=NonNull.class)

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

Interface Summary
ValueNumberAnalysisFeatures Global flags controlling ValueNumberAnalysis.
 

Class Summary
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.
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.