Class LambdaAnalysis
java.lang.Object
pascal.taie.analysis.pta.plugin.invokedynamic.LambdaAnalysis
- All Implemented Interfaces:
Plugin
-
Field Summary
-
Constructor Summary
-
Method Summary
Modifier and TypeMethodDescriptionvoid
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
Invoked when a new reachable stmt is discovered.void
onUnresolvedCall
(CSObj recv, Context context, Invoke invoke) Invoked when pointer analysis failed to resolve callee (i.e., resolve to null) on a receiver object.void
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, onNewMethod, onPhaseFinish, onStart
-
Constructor Details
-
LambdaAnalysis
public LambdaAnalysis()
-
-
Method Details
-
setSolver
Description copied from interface:Plugin
Sets pointer analysis solver which will be used later by the plugin. -
onNewStmt
Description copied from interface:Plugin
Invoked when a new reachable stmt is discovered. -
onNewCSMethod
Description copied from interface:Plugin
Invoked when a new reachable context-sensitive method is discovered.- Specified by:
onNewCSMethod
in interfacePlugin
- Parameters:
csMethod
- new reachable context-sensitive method
-
onUnresolvedCall
Description copied from interface:Plugin
Invoked when pointer analysis failed to resolve callee (i.e., resolve to null) on a receiver object. Some plugins take over such cases to do their analyses.- Specified by:
onUnresolvedCall
in interfacePlugin
- Parameters:
recv
- the receiver objectcontext
- the context of the invocationinvoke
- the invocation site
-
onNewCallEdge
Description copied from interface:Plugin
Invoked when a new call graph edge is discovered.- Specified by:
onNewCallEdge
in interfacePlugin
- Parameters:
edge
- new call graph edge
-
onNewPointsToSet
Description copied from interface:Plugin
Invoked when set of new objects flow to a context-sensitive variable.- Specified by:
onNewPointsToSet
in interfacePlugin
- Parameters:
csVar
- variable whose points-to set changespts
- set of new objects
-