@ParametersAreNonnullByDefault

Package edu.umd.cs.findbugs.classfile.engine.bcel

Support for analyses based on the BCEL bytecode framework.

Class Summary

Class	Description
AnalysisFactory<Analysis>	Abstract factory class for creating analysis objects.
AssertionMethodsFactory	Class analysis engine for creating AssertionMethods objects.
AssignedFieldMapFactory	Analysis engine for producing an AssignedFieldMap for a class.
BackwardTypeQualifierDataflowFactoryFactory	Factory to create BackwardTypeQualifierDataflowFactory objects.
BlockTypeAnalysisFactory	Analysis engine for producing BlockTypeDataflow for an analyzed method.
CallListDataflowFactory	Analysis engine to produce CallListDataflow objects for a method.
CFGFactory	Analysis engine to produce CFG (control flow graph) objects for an analyzed method.
ClassContextClassAnalysisEngine	Adapter to produce the ClassContext for a given class.
CompactLocationNumberingFactory	Analysis engine to produce CompactLocationNumbering objects for methods.
ConstantDataflowFactory	Analysis engine to produce ConstantDataflow objects for an analyzed method.
ConstantPoolGenFactory	Analysis engine to produce ConstantPoolGen objects for an analyzed class.
DepthFirstSearchFactory	Analysis engine to produce DepthFirstSearch objects for analyzed methods.
DominatorsAnalysisFactory	Analysis engine to produce DominatorsAnalysis objects for analyzed methods.
EngineRegistrar	Register BCEL-framework analysis engines.
ExceptionSetFactoryFactory	Analysis engine to produce ExceptionSetFactory objects for analyzed methods.
FinallyDuplicatesInfoFactory
FinallyDuplicatesInfoFactory.FinallyDuplicatesInfo
ForwardTypeQualifierDataflowFactoryFactory	Factory for ForwardTypeQualifierDataflowFactory objects.
IsNullValueDataflowFactory	Analysis engine to produce IsNullValueDataflow objects for an analyzed method.
JavaClassAnalysisEngine	Analysis engine to produce a BCEL JavaClass object for a named class.
LiveLocalStoreDataflowFactory	Analysis engine to produce LiveLocalStoreDataflow objects for analyzed methods.
LoadDataflowFactory	Analysis engine to produce LoadDataflow objects for analyzed methods.
LoadedFieldSetFactory	Factory to determine which fields are loaded and stored by the instructions in a method, and the overall method.
LockCheckerFactory	Analysis engine to produce LockChecker objects for analyzed methods.
LockDataflowFactory	Analysis engine to produce LockDataflow objects for analyzed methods.
MethodBytecodeSetFactory
MethodFactory	Method analysis engine to produce BCEL Method objects.
MethodGenFactory	Analysis engine to produce MethodGen objects for analyzed methods.
NonExceptionPostdominatorsAnalysis	PostDominatorsAnalysis variant in which all exception edges are ignored.
NonExceptionPostdominatorsAnalysisFactory	Analysis engine to produce NonExceptionPostDominatorsAnalysis objects for analyzed methods.
NonImplicitExceptionPostDominatorsAnalysis	PostDominatorsAnalysis variant in which implicit exception edges are ignored.
NonImplicitExceptionPostDominatorsAnalysisFactory	Analysis engine to produce NonImplicitExceptionPostDominatorsAnalysis objects for analyzed methods.
ObligationDataflowFactory	Analysis factory which creates instances of ObligationDataflow.
ParameterSignatureListFactory	Analysis engine to produce parameter signature lists for analyzed methods.
ReturnPathDataflowFactory	Analysis engine to produce ReturnPathDataflow objects for analyzed methods.
ReturnPathTypeDataflowFactory	Analysis engine to produce ReturnPathTypeDataflow objects for analyzed methods.
ReverseDepthFirstSearchFactory	Analysis engine to produce ReverseDepthFirstSearch objects for analyzed methods.
StoreDataflowFactory	Analysis engine to produce StoreDataflow objects for analyzed methods.
TypeDataflowFactory	Analysis engine to produce TypeDataflow objects for analyzed methods.
UnconditionalValueDerefDataflowFactory	Analysis engine to produce UnconditionalValueDerefDataflow objects for analyzed methods.
UnpackedBytecodeCallback
UnpackedCode	Unpacked code for a method.
UnpackedCodeFactory	Analysis engine to produce UnpackedCode objects for analyzed methods.
UsagesRequiringNonNullValuesFactory
ValueNumberDataflowFactory	Analysis engine to produce ValueNumberDataflow objects for analyzed methods.
ValueRangeAnalysisFactory
ValueRangeAnalysisFactory.LongRangeSet
ValueRangeAnalysisFactory.RedundantCondition
ValueRangeAnalysisFactory.ValueRangeAnalysis