Package pascal.taie.analysis.pta.plugin.natives

Class ArrayModel

java.lang.Object

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

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

pascal.taie.analysis.pta.plugin.natives.ArrayModel

All Implemented Interfaces:

Plugin

public class ArrayModel
extends IRModelPlugin

Field Summary

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

handlers, 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

Method Summary

Modifier and Type	Method	Description
List<Stmt>	arraysCopyOf(Invoke invoke)
protected void	registerHandlers()
List<Stmt>	systemArraycopy(Invoke invoke)

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

onNewCSMethod, onNewStmt, onStart, registerHandler

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

Method Details

arraysCopyOf

@InvokeHandler(signature="<java.util.Arrays: java.lang.Object[] copyOf(java.lang.Object[],int)>")
public List<Stmt> arraysCopyOf(Invoke invoke)

systemArraycopy

@InvokeHandler(signature="<java.lang.System: void arraycopy(java.lang.Object,int,java.lang.Object,int,int)>")
public List<Stmt> systemArraycopy(Invoke invoke)

registerHandlers

protected void registerHandlers()