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

Class IRModelPlugin

java.lang.Object

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

pascal.taie.analysis.pta.plugin.util.IRModelPlugin

All Implemented Interfaces:

Plugin

Direct Known Subclasses:

ArrayModel, DoPriviledgedModel, UnsafeModel

public abstract class IRModelPlugin
extends SolverHolder

Provides common functionalities for implementing the plugins which model the APIs by generating semantically-equivalent IR (Stmt). The invoke handler method (annotated by InvokeHandler) should follow such declaration: public void name(Invoke)

See Also:

• InvokeHandler

Field Summary

Fields

Modifier and Type	Field	Description
protected final Map<JMethod,Method>	handlers
protected final Map<JMethod,Collection<Stmt>>	method2GenStmts

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	IRModelPlugin(Solver solver)

Method Summary

Modifier and Type	Method	Description
void	onNewCSMethod(CSMethod csMethod)	Invoked when a new reachable context-sensitive method is discovered.
void	onNewStmt(Stmt stmt, JMethod container)	Invoked when a new reachable stmt is discovered.
void	onStart()	Invoked when pointer analysis starts.
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, onNewMethod, onNewPointsToSet, onPhaseFinish, onUnresolvedCall, setSolver

Field Details

handlers

protected final Map<JMethod,Method> handlers

method2GenStmts

protected final Map<JMethod,Collection<Stmt>> method2GenStmts

Constructor Details

IRModelPlugin

protected IRModelPlugin(Solver solver)

Method Details

registerHandler

protected void registerHandler(InvokeHandler invokeHandler,
 Method handler)

onStart

public void onStart()

Description copied from interface: Plugin

Invoked when pointer analysis starts.

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

onNewCSMethod

public void onNewCSMethod(CSMethod csMethod)

Description copied from interface: Plugin

Invoked when a new reachable context-sensitive method is discovered.

Parameters:

csMethod - new reachable context-sensitive method

registerHandlers

protected void registerHandlers()