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

package pascal.taie.analysis.pta.plugin.reflection
  • 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