Package com.ibm.wala.analysis.reflection

This package provides functions to deal with reflection.

See: Description

Interface Summary

Interface	Description
InstanceKeyWithNode	An instance key which has an associated CGNode.

Class Summary

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.

Package com.ibm.wala.analysis.reflection Description

This package provides functions to deal with reflection.