Package pascal.taie.analysis.pta.plugin

Class EntryPointHandler

java.lang.Object

pascal.taie.analysis.pta.plugin.EntryPointHandler

All Implemented Interfaces:

Plugin

public class EntryPointHandler
extends Object
implements Plugin

Initializes standard entry points for pointer analysis.

Field Summary

Fields inherited from interface pascal.taie.analysis.pta.plugin.Plugin

DUMMY

Constructor Summary

Constructors

Constructor	Description
EntryPointHandler()

Method Summary

Modifier and Type	Method	Description
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, onNewCSMethod, onNewMethod, onNewPointsToSet, onNewStmt, onPhaseFinish, onUnresolvedCall

Constructor Details

EntryPointHandler

public EntryPointHandler()

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