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

Class OthersModel

java.lang.Object

pascal.taie.analysis.pta.plugin.util.SolverHolder

pascal.taie.analysis.pta.plugin.util.AbstractModel

pascal.taie.analysis.pta.plugin.reflection.OthersModel

All Implemented Interfaces:

Model

public class OthersModel
extends AbstractModel

Models other non-core reflection APIs.

Field Summary

Fields inherited from class pascal.taie.analysis.pta.plugin.util.AbstractModel

handlers, relevantVarIndexes, relevantVars

Fields inherited from class pascal.taie.analysis.pta.plugin.util.SolverHolder

csManager, emptyContext, heapModel, hierarchy, selector, solver, typeSystem

Constructor Summary

Constructors

Constructor	Description
OthersModel(Solver solver, pascal.taie.analysis.pta.plugin.reflection.MetaObjHelper helper)

Method Summary

Modifier and Type	Method	Description
void	getAnnotation(CSVar csVar, PointsToSet pts, Invoke invoke)
void	getClass(CSVar csVar, PointsToSet pts, Invoke invoke)
void	getParameterAnnotations(CSVar csVar, PointsToSet pts, Invoke invoke)
void	getPrimitiveClass(CSVar csVar, PointsToSet pts, Invoke invoke)

Methods inherited from class pascal.taie.analysis.pta.plugin.util.AbstractModel

getArgs, handleNewInvoke, handleNewPointsToSet, isRelevantVar, registerAPIHandler, registerRelevantVarIndexes, registerVarAndHandlers

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Details

OthersModel

public OthersModel(Solver solver,
 pascal.taie.analysis.pta.plugin.reflection.MetaObjHelper helper)

Method Details

getClass

@InvokeHandler(signature="<java.lang.Object: java.lang.Class getClass()>",
               argIndexes=-1)
public void getClass(CSVar csVar,
 PointsToSet pts,
 Invoke invoke)

getPrimitiveClass

@InvokeHandler(signature="<java.lang.Class: java.lang.Class getPrimitiveClass(java.lang.String)>",
               argIndexes=0)
public void getPrimitiveClass(CSVar csVar,
 PointsToSet pts,
 Invoke invoke)

getAnnotation

@InvokeHandler(signature="<java.lang.Class: java.lang.annotation.Annotation getAnnotation(java.lang.Class)>",
               argIndexes={-1,0})
public void getAnnotation(CSVar csVar,
 PointsToSet pts,
 Invoke invoke)

getParameterAnnotations

@InvokeHandler(signature="<java.lang.reflect.Method: java.lang.annotation.Annotation[][] getParameterAnnotations()>",
               argIndexes=-1)
public void getParameterAnnotations(CSVar csVar,
 PointsToSet pts,
 Invoke invoke)