Package pascal.taie.analysis.pta.plugin

Class Profiler

java.lang.Object

pascal.taie.analysis.pta.plugin.Profiler

All Implemented Interfaces:

Plugin

public class Profiler
extends Object
implements Plugin

Profiler to help identify analysis hot spots in the analyzed program and assist performance tuning for pointer analysis.

Constructor Summary

Constructors

Constructor	Description
Profiler()

Method Summary

Modifier and Type	Method	Description
void	onFinish()	Invoked when pointer analysis finishes.
void	onNewPointsToSet(CSVar csVar, PointsToSet pts)	Invoked when set of new objects flow to a context-sensitive variable.
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

onNewCallEdge, onNewCSMethod, onNewMethod, onNewStmt, onStart, onUnresolvedCall

Constructor Details

Profiler

public Profiler()

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

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

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