Package pascal.taie.analysis.pta.plugin.invokedynamic

Class InvokeDynamicAnalysis

java.lang.Object

pascal.taie.analysis.pta.plugin.invokedynamic.InvokeDynamicAnalysis

All Implemented Interfaces:

Plugin

public class InvokeDynamicAnalysis
extends Object
implements Plugin

Field Summary

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

DUMMY

Constructor Summary

Constructors

Constructor	Description
InvokeDynamicAnalysis()

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	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	setSolver(Solver solver)	Sets pointer analysis solver which will be used later by the plugin.
static boolean	useMethodHandle()

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, onNewMethod, onPhaseFinish, onStart, onUnresolvedCall

Constructor Details

InvokeDynamicAnalysis

public InvokeDynamicAnalysis()

Method Details

useMethodHandle

public static boolean useMethodHandle()

Returns:

true if java.lang.invoke.MethodHandle is used by the program being analyzed, otherwise false.

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

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

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

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