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 | Description |
---|---|
ExceptionSetFactory | |
FieldStoreTypeDatabase | |
TypeDataflow | |
TypeFrame |
A specialization of
Frame for determining the types
of values in the Java stack frame (locals and operand stack). |
Class | Description |
---|---|
TypeDataflow |
Class | Description |
---|---|
TypeDataflow |
Class | Description |
---|---|
TypeDataflow |
Class | 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 | Description |
---|---|
ExceptionSetFactory | |
TypeDataflow |
Class | 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.