@ParametersAreNonnullByDefault
| 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 |
SpotBugs is licensed under the LGPL.