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

Class ArrayModel.AnalysisModel

java.lang.Object

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

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

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

All Implemented Interfaces:

Plugin

Enclosing class:

ArrayModel

public static class ArrayModel.AnalysisModel
extends AnalysisModelPlugin

Field Summary

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

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

Method Summary

Modifier and Type	Method	Description
void	arraysCopyOf(Context context, Invoke invoke, PointsToSet from)
void	onStart()	Invoked when pointer analysis starts.
protected void	registerHandlers()

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

onNewPointsToSet, onNewStmt, 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, onNewCSMethod, onNewMethod, onPhaseFinish, onUnresolvedCall, setSolver

Method Details

onStart

public void onStart()

Description copied from interface: Plugin

Invoked when pointer analysis starts.

arraysCopyOf

@InvokeHandler(signature="<java.util.Arrays: java.lang.Object[] copyOf(java.lang.Object[],int)>",
               argIndexes=0)
public void arraysCopyOf(Context context,
 Invoke invoke,
 PointsToSet from)

registerHandlers

protected void registerHandlers()