Uses of Package
edu.umd.cs.findbugs.ba.type
Packages that use edu.umd.cs.findbugs.ba.type
Package
Description
A bytecode analysis framework for BCEL, providing CFG construction, generic
dataflow analysis, and a variety of specific dataflow analyses.
Implementation of dataflow analysis for checking whether obligations to close streams and other resources
(e.g., database objects) are satisfied.
Support for analyses based on the BCEL bytecode framework.
-
Classes in edu.umd.cs.findbugs.ba.type used by edu.umd.cs.findbugs.baClassDescriptionA specialization of
Frame
for determining the types of values in the Java stack frame (locals and operand stack).Interface for object which merges types for TypeAnalysis. -
Classes in edu.umd.cs.findbugs.ba.type used by edu.umd.cs.findbugs.ba.deref
-
Classes in edu.umd.cs.findbugs.ba.type used by edu.umd.cs.findbugs.ba.npe
-
Classes in edu.umd.cs.findbugs.ba.type used by edu.umd.cs.findbugs.ba.obl
-
Classes in edu.umd.cs.findbugs.ba.type used by edu.umd.cs.findbugs.ba.typeClassDescriptionSpecial "bottom" type.Class for keeping track of exceptions that can be thrown by an instruction.Object to iterate over the exception types in the set.Extended type codes used by StackAndLocalTypes and StackAndLocalTypeAnalysis for typing locals and stack values used in Java bytecode.Field property storing the types of values stored in a field.Special type used to represent the "extra" part of a long value.Special type representing the null value.An exception thrown from an instruction.A forward dataflow analysis to determine the types of all values in the Java stack frame at all points in a Java method.Repository of information about thrown exceptions computed for a basic block and its outgoing exception edges.Cached information about an instanceof check.A specialization of
Frame
for determining the types of values in the Java stack frame (locals and operand stack).Visitor to model the effects of bytecode instructions on the types of the values (local and operand stack) in Java stack frames.Interface for object which merges types for TypeAnalysis. -
Classes in edu.umd.cs.findbugs.ba.type used by edu.umd.cs.findbugs.classfile.engine.bcel
-
Classes in edu.umd.cs.findbugs.ba.type used by edu.umd.cs.findbugs.detectClassDescriptionExtended type codes used by StackAndLocalTypes and StackAndLocalTypeAnalysis for typing locals and stack values used in Java bytecode.A TypeMerger which applies standard Java semantics when merging Types.A forward dataflow analysis to determine the types of all values in the Java stack frame at all points in a Java method.A specialization of
Frame
for determining the types of values in the Java stack frame (locals and operand stack).Visitor to model the effects of bytecode instructions on the types of the values (local and operand stack) in Java stack frames.Interface for object which merges types for TypeAnalysis.