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

Class SolarModel

java.lang.Object

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

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

pascal.taie.analysis.pta.plugin.reflection.SolarModel

All Implemented Interfaces:

Model

public class SolarModel
extends AbstractModel

Implementation of Solar, a powerful static reflection analysis. The technique was presented in paper: Yue Li, Tian Tan, and Jingling Xue. Understanding and Analyzing Java Reflection. In TOSEM 2019.

Field Summary

Fields

Modifier and Type	Field	Description
protected final pascal.taie.analysis.pta.plugin.reflection.MetaObjHelper	helper
protected final Set<Invoke>	invokesWithLog

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

Method Summary

Modifier and Type	Method	Description
void	classForName(CSVar csVar, PointsToSet pts, Invoke invoke)
protected void	classForNameKnown(Context context, Invoke forName, String className)
void	classGetConstructor(CSVar csVar, PointsToSet pts, Invoke invoke)
protected void	classGetConstructorKnown(Context context, Invoke invoke, JClass clazz)
void	classGetMethod(CSVar csVar, PointsToSet pts, Invoke invoke)
protected void	classGetMethodKnown(Context context, Invoke invoke, JClass clazz, String name)
void	classGetMethods(CSVar csVar, PointsToSet pts, Invoke invoke)
void	classNewInstance(CSVar csVar, PointsToSet pts, Invoke invoke)
void	collectUnsoundArrayNewInstance(CSVar csVar, PointsToSet pts, Invoke invoke)
protected void	handleNewNonInvokeStmt(Stmt stmt)
void	handleNewPointsToSet(CSVar csVar, PointsToSet pts)
boolean	isRelevantVar(Var var)
void	methodInvoke(CSVar csVar, PointsToSet pts, Invoke invoke)

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

getArgs, handleNewInvoke, registerAPIHandler, registerRelevantVarIndexes, registerVarAndHandlers

Methods inherited from class java.lang.Object

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

Field Details

helper

protected final pascal.taie.analysis.pta.plugin.reflection.MetaObjHelper helper

invokesWithLog

protected final Set<Invoke> invokesWithLog

Method Details

classForName

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

classGetConstructor

@InvokeHandler(signature="<java.lang.Class: java.lang.reflect.Constructor getConstructor(java.lang.Class[])>",argIndexes=-1) @InvokeHandler(signature="<java.lang.Class: java.lang.reflect.Constructor getDeclaredConstructor(java.lang.Class[])>",argIndexes=-1)
public void classGetConstructor(CSVar csVar,
 PointsToSet pts,
 Invoke invoke)

classGetMethod

@InvokeHandler(signature="<java.lang.Class: java.lang.reflect.Method getMethod(java.lang.String,java.lang.Class[])>",argIndexes={-1,0}) @InvokeHandler(signature="<java.lang.Class: java.lang.reflect.Method getDeclaredMethod(java.lang.String,java.lang.Class[])>",argIndexes={-1,0})
public void classGetMethod(CSVar csVar,
 PointsToSet pts,
 Invoke invoke)

classGetMethods

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

methodInvoke

@InvokeHandler(signature="<java.lang.reflect.Method: java.lang.Object invoke(java.lang.Object,java.lang.Object[])>",
               argIndexes={-1,0})
public void methodInvoke(CSVar csVar,
 PointsToSet pts,
 Invoke invoke)

classNewInstance

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

handleNewNonInvokeStmt

protected void handleNewNonInvokeStmt(Stmt stmt)

isRelevantVar

public boolean isRelevantVar(Var var)

Specified by:

isRelevantVar in interface Model

Overrides:

isRelevantVar in class AbstractModel

handleNewPointsToSet

public void handleNewPointsToSet(CSVar csVar,
 PointsToSet pts)

Specified by:

handleNewPointsToSet in interface Model

Overrides:

handleNewPointsToSet in class AbstractModel

collectUnsoundArrayNewInstance

@InvokeHandler(signature="<java.lang.reflect.Array: java.lang.Object newInstance(java.lang.Class,int)>",
               argIndexes=0)
public void collectUnsoundArrayNewInstance(CSVar csVar,
 PointsToSet pts,
 Invoke invoke)

classForNameKnown

protected void classForNameKnown(Context context,
 Invoke forName,
 @Nullable
 String className)

classGetConstructorKnown

protected void classGetConstructorKnown(Context context,
 Invoke invoke,
 @Nullable
 JClass clazz)

classGetMethodKnown

protected void classGetMethodKnown(Context context,
 Invoke invoke,
 @Nullable
 JClass clazz,
 @Nullable
 String name)