Uses of Package
edu.umd.cs.findbugs.ba.type
-
Packages that use edu.umd.cs.findbugs.ba.type 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 -
Classes in edu.umd.cs.findbugs.ba.type used by edu.umd.cs.findbugs.ba Class Description ExceptionSetFactory FieldStoreTypeDatabase TypeDataflow TypeFrame A specialization ofFrame
for determining the types of values in the Java stack frame (locals and operand stack).TypeMerger Interface for object which merges types for TypeAnalysis. -
Classes in edu.umd.cs.findbugs.ba.type used by edu.umd.cs.findbugs.ba.deref Class Description TypeDataflow -
Classes in edu.umd.cs.findbugs.ba.type used by edu.umd.cs.findbugs.ba.npe Class Description TypeDataflow -
Classes in edu.umd.cs.findbugs.ba.type used by edu.umd.cs.findbugs.ba.obl Class Description TypeDataflow -
Classes in edu.umd.cs.findbugs.ba.type used by edu.umd.cs.findbugs.ba.type 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 ofFrame
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. -
Classes in edu.umd.cs.findbugs.ba.type used by edu.umd.cs.findbugs.classfile.engine.bcel Class Description ExceptionSetFactory TypeDataflow -
Classes in edu.umd.cs.findbugs.ba.type used by edu.umd.cs.findbugs.detect Class Description ExtendedTypes Extended type codes used by StackAndLocalTypes and StackAndLocalTypeAnalysis for typing locals and stack values used in Java bytecode.