| Package | Description |
|---|---|
| edu.umd.cs.findbugs.ba |
A bytecode analysis framework for BCEL, providing CFG construction, generic
dataflow analysis, and a variety of specific dataflow analyses.
|
| edu.umd.cs.findbugs.ba.constant | |
| edu.umd.cs.findbugs.ba.npe | |
| edu.umd.cs.findbugs.ba.type | |
| edu.umd.cs.findbugs.ba.vna | |
| edu.umd.cs.findbugs.detect |
| Modifier and Type | Class and Description |
|---|---|
class |
ResourceValueFrameModelingVisitor |
| Modifier and Type | Class and Description |
|---|---|
class |
ConstantFrameModelingVisitor
Visitor to model the effect of bytecode instructions on ConstantFrames.
|
| Modifier and Type | Class and Description |
|---|---|
class |
IsNullValueFrameModelingVisitor |
| Modifier and Type | Class and Description |
|---|---|
class |
TypeFrameModelingVisitor
Visitor to model the effects of bytecode instructions on the types of the
values (local and operand stack) in Java stack frames.
|
| Modifier and Type | Class and Description |
|---|---|
class |
ValueNumberFrameModelingVisitor
Visitor which models the effects of bytecode instructions on value numbers of
values in the operand stack frames.
|
| Modifier and Type | Class and Description |
|---|---|
class |
StreamFrameModelingVisitor
A visitor to model the effect of instructions on the status of the resource
(in this case, Streams).
|
SpotBugs is licensed under the LGPL.