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

Class AbstractIRModel

java.lang.Object

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

pascal.taie.analysis.pta.plugin.util.AbstractIRModel

All Implemented Interfaces:

IRModel

Direct Known Subclasses:

ArrayModel, DoPriviledgedModel, UnsafeModel

public abstract class AbstractIRModel
extends SolverHolder
implements IRModel

Provides common functionalities for implementing IR-based API models.

Field Summary

Fields

Modifier and Type	Field	Description
protected final Map<JMethod,Function<Invoke,Collection<Stmt>>>	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

Constructor Summary

Constructors

Modifier	Constructor	Description
protected	AbstractIRModel(Solver solver)

Method Summary

Modifier and Type	Method	Description
Set<JMethod>	getModeledAPIs()
void	handleNewCSMethod(CSMethod csMethod)
void	handleNewMethod(JMethod method)
protected void	registerHandler(JMethod api, Function<Invoke,Collection<Stmt>> handler)
protected void	registerHandlers()
protected void	registerHandlersByAnnotation()

Methods inherited from class java.lang.Object

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

Field Details

handlers

protected final Map<JMethod,Function<Invoke,Collection<Stmt>>> handlers

method2GenStmts

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

Constructor Details

AbstractIRModel

protected AbstractIRModel(Solver solver)

Method Details

registerHandlersByAnnotation

protected void registerHandlersByAnnotation()

registerHandlers

protected void registerHandlers()

registerHandler

protected void registerHandler(JMethod api,
 Function<Invoke,Collection<Stmt>> handler)

getModeledAPIs

public Set<JMethod> getModeledAPIs()

Specified by:

getModeledAPIs in interface IRModel

handleNewMethod

public void handleNewMethod(JMethod method)

Specified by:

handleNewMethod in interface IRModel

handleNewCSMethod

public void handleNewCSMethod(CSMethod csMethod)

Specified by:

handleNewCSMethod in interface IRModel