Package pascal.taie.analysis.pta.plugin.util

Class AnalysisModelPlugin

java.lang.Object

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

pascal.taie.analysis.pta.plugin.util.AnalysisModelPlugin

All Implemented Interfaces:

Plugin

Direct Known Subclasses:

LookupModel, MethodTypeModel, OthersModel, ReflectiveActionModel, SolarModel, StringBasedModel

public abstract class AnalysisModelPlugin
extends SolverHolder

Provides common functionalities for implementing the plugins which model the APIs by analyzing their semantics. The invoke handler method (annotated by InvokeHandler) should follow such declaration: public void name(Context,Invoke,(PointsToSet,)+)

See Also:

• InvokeHandler

Field Summary

Fields

Modifier and Type	Field	Description
protected final Map<JMethod,Method>	handlers
protected final Map<JMethod,int[]>	relevantVarIndexes
protected final MultiMap<Var,Invoke>	relevantVars

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

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

Fields inherited from interface pascal.taie.analysis.pta.plugin.Plugin

DUMMY

Constructor Summary

Constructors

Modifier	Constructor	Description
protected	AnalysisModelPlugin(Solver solver)

Method Summary

Modifier and Type	Method	Description
void	onNewPointsToSet(CSVar csVar, PointsToSet pts)	Invoked when set of new objects flow to a context-sensitive variable.
void	onNewStmt(Stmt stmt, JMethod container)	Invoked when a new reachable stmt is discovered.
protected void	registerHandler(InvokeHandler invokeHandler, Method handler)
protected void	registerHandlers()

Methods inherited from class java.lang.Object

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

Methods inherited from interface pascal.taie.analysis.pta.plugin.Plugin

onFinish, onNewCallEdge, onNewCSMethod, onNewMethod, onPhaseFinish, onStart, onUnresolvedCall, setSolver

Field Details

handlers

protected final Map<JMethod,Method> handlers

relevantVarIndexes

protected final Map<JMethod,int[]> relevantVarIndexes

relevantVars

protected final MultiMap<Var,Invoke> relevantVars

Constructor Details

AnalysisModelPlugin

protected AnalysisModelPlugin(Solver solver)

Method Details

registerHandler

protected void registerHandler(InvokeHandler invokeHandler,
 Method handler)

onNewStmt

public void onNewStmt(Stmt stmt,
 JMethod container)

Description copied from interface: Plugin

Invoked when a new reachable stmt is discovered.

Parameters:

stmt - new reachable stmt

container - container method of stmt

onNewPointsToSet

public void onNewPointsToSet(CSVar csVar,
 PointsToSet pts)

Description copied from interface: Plugin

Invoked when set of new objects flow to a context-sensitive variable.

Parameters:

csVar - variable whose points-to set changes

pts - set of new objects

registerHandlers

protected void registerHandlers()