Package edu.umd.cs.findbugs.ba.interproc

@NullMarked @AnalysisContextContained package edu.umd.cs.findbugs.ba.interproc

Related Packages

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.

Class	Description
FieldPropertyDatabase<Property>	Interprocedural field property database.
MethodPropertyDatabase<Property>	A MethodPropertyDatabase keeps track of properties of methods.
ParameterProperty	Method property recording which parameters are have some property (originally, which were required to be nonnull, now made more generic)
PropertyDatabase<KeyType extends FieldOrMethodDescriptor, ValueType>	Property database for interprocedural analysis.
PropertyDatabaseFormatException