@ParametersAreNonnullByDefault @AnalysisContextContained

Package edu.umd.cs.findbugs.ba

A bytecode analysis framework for BCEL, providing CFG construction, generic dataflow analysis, and a variety of specific dataflow analyses.