See: Description
| Interface | Description |
|---|---|
| InstanceKeyWithNode |
An instance key which has an associated
CGNode. |
| Class | Description |
|---|---|
| AbstractReflectionInterpreter |
An abstract superclass of various
SSAContextInterpreters 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. |
Copyright © 2015. All rights reserved.