Package com.ibm.wala.analysis.reflection

This package provides functions to deal with reflection.

See:
Description

Interface Summary

InstanceKeyWithNode

An instance key which has an associated CGNode.

Class Summary

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
GetClassContextInterpeter	SSAContextInterpreter specialized to interpret Object.getClass() in a JavaTypeContext
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	Implement a Context which corresponds to a given type abstraction.
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.