| edu.umd.cs.findbugs.ba.vna |
|
| Java Source File Name | Type | Comment |
| AvailableLoad.java | Class | An AvailableLoad indicates a field and (optionally) object reference
for which a value is available. |
| LoadedFieldSet.java | Class | 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. |
| MergeTree.java | Class | Data structure to keep track of which input ValueNumbers were
combined to produce which other output ValueNumbers. |
| package-info.java | | |
| ValueNumber.java | Class | A "value number" is a value produced somewhere in a methods.
We use value numbers as dataflow values in Frames. |
| ValueNumberAnalysis.java | Class | A dataflow analysis to track the production and flow of values in the Java
stack frame. |
| ValueNumberAnalysisFeatures.java | Interface | Global flags controlling ValueNumberAnalysis. |
| ValueNumberCache.java | Class | A cache mapping instructions and input values to the output values they
produce. |
| ValueNumberDataflow.java | Class | |
| ValueNumberFactory.java | Class | Factory for ValueNumbers. |
| ValueNumberFrame.java | Class | A dataflow value representing a Java stack frame with value number
information. |
| ValueNumberFrameModelingVisitor.java | Class | Visitor which models the effects of bytecode instructions
on value numbers of values in the operand stack frames. |
| ValueNumberSourceInfo.java | Class | Helper methods to find out information about the
source of the value represented by a given ValueNumber. |