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