Package pascal.taie.analysis.pta.plugin

Class CompositePlugin

java.lang.Object

pascal.taie.analysis.pta.plugin.CompositePlugin

All Implemented Interfaces:

Plugin

public class CompositePlugin
extends Object
implements Plugin

Composite plugin which allows multiple independent plugins to be used together.

Constructor Summary

Constructors

Constructor	Description
CompositePlugin()

Method Summary

Modifier and Type	Method	Description
void	addPlugin(Plugin... plugins)
void	onFinish()	Invoked when pointer analysis finishes.
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	onNewPointsToSet(CSVar csVar, PointsToSet pts)	Invoked when set of new objects flow to a context-sensitive variable.
void	onNewStmt(Stmt stmt, JMethod container)	Invoked when a new reachable stmt is discovered.
void	onStart()	Invoked when pointer analysis starts.
void	onUnresolvedCall(CSObj recv, Context context, Invoke invoke)	Invoked when pointer analysis failed to resolve callee (i.e., resolve to null) on a receiver object.
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

Constructor Details

CompositePlugin

public CompositePlugin()

Method Details

addPlugin

public void addPlugin(Plugin... plugins)

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

onFinish

public void onFinish()

Description copied from interface: Plugin

Invoked when pointer analysis finishes. Pointer analysis is supposed to have been finished at this stage, thus this call back should NOT modify pointer analysis results.

Specified by:

onFinish in interface Plugin

onNewPointsToSet

public void onNewPointsToSet(CSVar csVar,
 PointsToSet pts)

Description copied from interface: Plugin

Invoked when set of new objects flow to a context-sensitive variable.

Specified by:

onNewPointsToSet in interface Plugin

Parameters:

csVar - variable whose points-to set changes

pts - set of new objects

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

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

onNewStmt

public void onNewStmt(Stmt stmt,
 JMethod container)

Description copied from interface: Plugin

Invoked when a new reachable stmt is discovered.

Specified by:

onNewStmt in interface Plugin

Parameters:

stmt - new reachable stmt

container - container method of stmt

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

onUnresolvedCall

public void onUnresolvedCall(CSObj recv,
 Context context,
 Invoke invoke)

Description copied from interface: Plugin

Invoked when pointer analysis failed to resolve callee (i.e., resolve to null) on a receiver object. Some plugins take over such cases to do their analyses.

Specified by:

onUnresolvedCall in interface Plugin

Parameters:

recv - the receiver object

context - the context of the invocation

invoke - the invocation site