Package pascal.taie.analysis.pta.plugin.reflection

Class ReflectionAnalysis

java.lang.Object

pascal.taie.analysis.pta.plugin.CompositePlugin

pascal.taie.analysis.pta.plugin.reflection.ReflectionAnalysis

All Implemented Interfaces:

Plugin

public class ReflectionAnalysis
extends CompositePlugin

Field Summary

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

DUMMY

Constructor Summary

Constructors

Constructor	Description
ReflectionAnalysis()

Method Summary

Modifier and Type	Method	Description
static String	getShortName(Invoke invoke)
void	onFinish()	Invoked when pointer analysis finishes.
void	setSolver(Solver solver)	Sets pointer analysis solver which will be used later by the plugin.

Methods inherited from class pascal.taie.analysis.pta.plugin.CompositePlugin

addPlugin, clearPlugins, onNewCallEdge, onNewCSMethod, onNewMethod, onNewPointsToSet, onNewStmt, onPhaseFinish, onStart, onUnresolvedCall

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Details

ReflectionAnalysis

public ReflectionAnalysis()

Method Details

getShortName

public static String getShortName(Invoke invoke)

Returns:

short name of reflection API in given Invoke.

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

Overrides:

setSolver in class CompositePlugin

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

Overrides:

onFinish in class CompositePlugin