Package pascal.taie.analysis.pta.plugin.reflection

package pascal.taie.analysis.pta.plugin.reflection

Related Packages

Package	Description
pascal.taie.analysis.pta.plugin	Provide plugin interface of pointer analysis and some instances (implementations).
pascal.taie.analysis.pta.plugin.exception
pascal.taie.analysis.pta.plugin.invokedynamic
pascal.taie.analysis.pta.plugin.natives
pascal.taie.analysis.pta.plugin.taint
pascal.taie.analysis.pta.plugin.util

Classes

Class	Description
LogItem	Represents log items.
OthersModel	Models other non-core reflection APIs.
ReflectionAnalysis
ReflectiveActionModel	Models reflective-action methods, currently supports Class.newInstance() Constructor.newInstance(Object[]) Method.invoke(Object,Object[]) Field.get(Object) Field.set(Object,Object) Array.newInstance(Class,int) TODO: check accessibility
SolarModel	Implementation of Solar, a powerful static reflection analysis.
StringBasedModel