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

Class NativeModeller

java.lang.Object

pascal.taie.analysis.pta.plugin.natives.NativeModeller

All Implemented Interfaces:

Plugin

public class NativeModeller
extends Object
implements Plugin

This class models some native calls by "inlining" their side effects at the call sites to provide better precision for pointer analysis.

Constructor Summary

Constructors

Constructor	Description
NativeModeller()

Method Summary

Modifier and Type	Method	Description
void	onNewCallEdge(Edge<CSCallSite,CSMethod> edge)	Invoked when a new call graph edge is discovered.
void	onNewCSMethod(CSMethod csMethod)	Invoked when a new reachable context-sensitive method is discovered.
void	onNewMethod(JMethod method)	Invoked when a new reachable method is discovered.
void	onStart()	Invoked when pointer analysis starts.
void	setSolver(Solver solver)	Sets pointer analysis solver which will be used later by the plugin.

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, onNewPointsToSet, onNewStmt, onUnresolvedCall

Constructor Details

NativeModeller

public NativeModeller()

Method Details

setSolver

public void setSolver(Solver solver)

Description copied from interface: Plugin

Sets pointer analysis solver which will be used later by the plugin.

Specified by:

setSolver in interface Plugin

onStart

public void onStart()

Description copied from interface: Plugin

Invoked when pointer analysis starts.

Specified by:

onStart in interface Plugin

onNewMethod

public void onNewMethod(JMethod method)

Description copied from interface: Plugin

Invoked when a new reachable method is discovered.

Specified by:

onNewMethod in interface Plugin

Parameters:

method - new reachable method

onNewCSMethod

public void onNewCSMethod(CSMethod csMethod)

Description copied from interface: Plugin

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

Specified by:

onNewCSMethod in interface Plugin

Parameters:

csMethod - new reachable context-sensitive method

onNewCallEdge

public void onNewCallEdge(Edge<CSCallSite,CSMethod> edge)

Description copied from interface: Plugin

Invoked when a new call graph edge is discovered.

Specified by:

onNewCallEdge in interface Plugin

Parameters:

edge - new call graph edge