Package chord.analyses.reflect

Facts and analyses of reflection.

See:
Description

Class Summary

ConNewInstAnalysis	Analysis producing the following two relations: - conNewInstIH: Relation containing each tuple (i,h) such that call site i calling method "Object newInstance(Object[])" defined in class "java.lang.reflect.Constructor" is treated as object allocation site h.
ObjNewInstAnalysis	Analysis producing the following two relations: - objNewInstIH: Relation containing each tuple (i,h) such that call site i calling method "Object newInstance()" defined in class "java.lang.Class" is treated as object allocation site h.
RelAryNewInstIH	Relation containing each tuple (i,h) such that call site i calling method "static Object newInstance(Class componentType, int length)" defined in class "java.lang.reflect.Array" is treated as object allocation site h.
RelClsForNameIT	Relation containing each tuple (i,t) such that call site i calling method "static Class forName(String className)" defined in class "java.lang.Class" was determined by reflection analysis as potentially loading class t.
RelClsTH	Relation containing each tuple (t,h) such that h is the hypothetical site at which class t is reflectively created.

Package chord.analyses.reflect Description

Facts and analyses of reflection.