See: Description
Interface | Description |
---|---|
InstanceKeyWithNode |
An instance key which has an associated
CGNode . |
Class | Description |
---|---|
AbstractReflectionInterpreter |
An abstract superclass of various
SSAContextInterpreter s that deal with reflection methods. |
AbstractReflectionInterpreter.IgnoreSerializableWarning |
A warning when we find flow of a factory allocation to a cast to
Serializable |
AbstractReflectionInterpreter.ManySubtypesWarning |
A warning when we expect excessive pollution from a factory method
|
AbstractReflectionInterpreter.NoSubtypesWarning |
A warning when we fail to find subtypes for a factory method
|
ClassFactoryContextInterpreter |
An
SSAContextInterpreter specialized to interpret reflective class factories (e.g. |
ClassNewInstanceContextInterpreter |
An
SSAContextInterpreter specialized to interpret Class.newInstance in a JavaTypeContext which represents the
point-type of the class object created by the call. |
CloneInterpreter |
A context interpreter for java.lang.Object.clone
TODO: The current implementation does not model CloneNotSupportedExceptions
|
FactoryBypassInterpreter |
Logic to interpret "factory" methods in context.
|
GetClassContextInterpeter |
SSAContextInterpreter specialized to interpret Object.getClass() in a JavaTypeContext |
GetClassContextSelector |
A
ContextSelector to intercept calls to Object.getClass() |
GetMethodContext |
A context which may be used if
the method to be interpreted is either
Class.getMethod(String, Class...) or
Class.getDeclaredMethod(String, Class...) ,
the type of the "this" argument is known and
the value of the first argument (the method name) is a constant.
In the special case described above,
GetMethodContextInterpreter
and
GetMethodContextSelector
should be preferred over
JavaLangClassContextInterpreter
and
JavaLangClassContextSelector ,
as
GetMethodContextInterpreter
and
GetMethodContextSelector
drastically reduce the number of methods returned increasing the precision of the analysis. |
GetMethodContextInterpreter |
Understands
GetMethodContext . |
GetMethodContextSelector |
Produces
GetMethodContext if appropriate. |
IllegalArgumentExceptionContext | |
JavaLangClassContextInterpreter |
An
SSAContextInterpreter specialized to interpret methods on java.lang.Class in a JavaTypeContext which
represents the point-type of the class object created by the call. |
JavaTypeContext | |
ReflectionContextInterpreter |
SSAContextInterpreter to handle all reflection procession. |
ReflectionContextSelector |
A
ContextSelector to handle default reflection logic. |
ReflectiveInvocationInterpreter |
An
SSAContextInterpreter specialized to interpret reflective invocations such as Constructor.newInstance and
Method.invoke on an IMethod constant. |