| 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.deref | |
| edu.umd.cs.findbugs.ba.npe | |
| edu.umd.cs.findbugs.ba.obl |
Implementation of dataflow analysis for checking whether
obligations to close streams and other resources (e.g.
|
| edu.umd.cs.findbugs.ba.type | |
| edu.umd.cs.findbugs.classfile.engine.bcel |
Support for analyses based on the BCEL bytecode framework.
|
| edu.umd.cs.findbugs.detect |
| Class and Description |
|---|
| ExceptionSetFactory |
| FieldStoreTypeDatabase |
| TypeDataflow |
| TypeFrame
A specialization of
Frame for determining the types of values in the
Java stack frame (locals and operand stack). |
| TypeMerger
Interface for object which merges types for TypeAnalysis.
|
| Class and Description |
|---|
| TypeDataflow |
| Class and Description |
|---|
| TypeDataflow |
| Class and Description |
|---|
| TypeDataflow |
| Class and Description |
|---|
| ExceptionSet
Class for keeping track of exceptions that can be thrown by an instruction.
|
| ExceptionSet.ThrownExceptionIterator
Object to iterate over the exception types in the set.
|
| ExceptionSetFactory |
| ExtendedTypes
Extended type codes used by StackAndLocalTypes and StackAndLocalTypeAnalysis
for typing locals and stack values used in Java bytecode.
|
| FieldStoreType
Field property storing the types of values stored in a field.
|
| FieldStoreTypeDatabase |
| NullType
Special type representing the null value.
|
| ThrownException
An exception thrown from an instruction.
|
| TypeAnalysis
A forward dataflow analysis to determine the types of all values in the Java
stack frame at all points in a Java method.
|
| TypeDataflow.LocationAndFactPair |
| TypeFrame
A specialization of
Frame for determining the types of values in the
Java stack frame (locals and operand stack). |
| TypeFrameModelingVisitor
Visitor to model the effects of bytecode instructions on the types of the
values (local and operand stack) in Java stack frames.
|
| TypeMerger
Interface for object which merges types for TypeAnalysis.
|
| Class and Description |
|---|
| ExceptionSetFactory |
| TypeDataflow |
| Class and Description |
|---|
| ExtendedTypes
Extended type codes used by StackAndLocalTypes and StackAndLocalTypeAnalysis
for typing locals and stack values used in Java bytecode.
|
FindBugs™ is licenced under the LGPL. Copyright © 2006 University of Maryland.