Package com.ibm.wala.analysis.reflection
package com.ibm.wala.analysis.reflection
This package provides functions to deal with reflection.
-
ClassDescriptionAn abstract superclass of various
SSAContextInterpreters that deal with reflection methods.A warning when we find flow of a factory allocation to a cast toSerializableA warning when we expect excessive pollution from a factory methodA warning when we fail to find subtypes for a factory methodAnSSAContextInterpreterspecialized to interpret reflective class factories (e.g.AContextSelectorto intercept calls to reflective class factories (e.g.AnSSAContextInterpreterspecialized to interpret Class.newInstance in aJavaTypeContextwhich 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.SSAContextInterpreterspecialized to interpret Object.getClass() in aJavaTypeContextAContextSelectorto 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.ProducesGetMethodContextif appropriate.An instance key which has an associatedCGNode.AnSSAContextInterpreterspecialized to interpret methods on java.lang.Class in aJavaTypeContextwhich represents the point-type of the class object created by the call.Implements a Context which corresponds to a given type abstraction.SSAContextInterpreterto handle all reflection procession.AContextSelectorto handle default reflection logic.AnSSAContextInterpreterspecialized to interpret reflective invocations such as Constructor.newInstance and Method.invoke on anIMethodconstant.