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.AbstractIRModel

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

All Implemented Interfaces:

IRModel

public class ArrayModel
extends AbstractIRModel

Field Summary

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

handlers, method2GenStmts

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
List<Stmt>	arraysCopyOf(Invoke invoke)
List<Stmt>	systemArraycopy(Invoke invoke)

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

getModeledAPIs, handleNewCSMethod, handleNewMethod, registerHandler, registerHandlers, registerHandlersByAnnotation

Methods inherited from class java.lang.Object

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

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)