Package com.ibm.wala.analysis.reflection
package com.ibm.wala.analysis.reflection
-
ClassDescriptionAn abstract superclass of various
SSAContextInterpreter
s that deal with reflection methods.A warning when we find flow of a factory allocation to a cast toSerializable
A warning when we expect excessive pollution from a factory methodA warning when we fail to find subtypes for a factory methodAnSSAContextInterpreter
specialized to interpret reflective class factories (e.g.AContextSelector
to intercept calls to reflective class factories (e.g.AnSSAContextInterpreter
specialized to interpret Class.newInstance in aJavaTypeContext
which represents the point-type of the class object created by the call.A context interpreter for java.lang.Object.cloneLogic to interpret "factory" methods in context.SSAContextInterpreter
specialized to interpret Object.getClass() in aJavaTypeContext
AContextSelector
to intercept calls to Object.getClass()A context which may be used if the method to be interpreted is eitherClass.getMethod(String, Class...)
orClass.getDeclaredMethod(String, Class...)
, the type of the "this" argument is known and the value of the first argument (the method name) is a constant.UnderstandsGetMethodContext
.ProducesGetMethodContext
if appropriate.An instance key which has an associatedCGNode
.AnSSAContextInterpreter
specialized to interpret methods on java.lang.Class in aJavaTypeContext
which represents the point-type of the class object created by the call.Implements a Context which corresponds to a given type abstraction.SSAContextInterpreter
to handle all reflection procession.AContextSelector
to handle default reflection logic.AnSSAContextInterpreter
specialized to interpret reflective invocations such as Constructor.newInstance and Method.invoke on anIMethod
constant.