Package pascal.taie.analysis.pta.plugin

Class ThreadHandler

java.lang.Object

pascal.taie.analysis.pta.plugin.ThreadHandler

All Implemented Interfaces:

Plugin

public class ThreadHandler
extends Object
implements Plugin

Models initialization of system thread group, main thread group, main thread, and some Thread APIs.

Constructor Summary

Constructors

Constructor	Description
ThreadHandler()

Method Summary

Modifier and Type	Method	Description
void	onNewCSMethod(CSMethod csMethod)	Invoked when a new reachable context-sensitive method is discovered.
void	onNewPointsToSet(CSVar csVar, PointsToSet pts)	Invoked when set of new objects flow to a context-sensitive variable.
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, onNewCallEdge, onNewMethod, onNewStmt, onUnresolvedCall

Constructor Details

ThreadHandler

public ThreadHandler()

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

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

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