Global flags controlling ValueNumberAnalysis.
An 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.
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.
Visitor which models the effects of bytecode instructions on value numbers of values in the operand stack frames.
Helper methods to find out information about the source of the value represented by a given ValueNumber.
FindBugs™ is licenced under the LGPL. Copyright © 2006 University of Maryland.