@ParametersAreNonnullByDefault @AnalysisContextContained
Package edu.umd.cs.findbugs.ba.deref
-
Class Summary Class Description UnconditionalValueDerefAnalysis Dataflow analysis to find values unconditionally dereferenced in the future.UnconditionalValueDerefDataflow Dataflow to find value numbers unconditionally dereferenced.UnconditionalValueDerefSet A set of values unconditionally dereferenced in the future.