Uses of Class
pascal.taie.analysis.pta.core.cs.element.CSVar
Package
Description
Provides the classes to represent and manage context-sensitive elements
used in pointer analysis, including context-sensitive pointers, objects,
call sites, and methods.
Provide plugin interface of pointer analysis and
some instances (implementations).
-
Uses of CSVar in pascal.taie.analysis.pta
-
Uses of CSVar in pascal.taie.analysis.pta.core.cs.element
Modifier and TypeMethodDescriptionModifier and TypeMethodDescriptionCSManager.getCSVars()
MapBasedCSManager.getCSVars()
CSManager.getCSVarsOf
(Var var) MapBasedCSManager.getCSVarsOf
(Var var) -
Uses of CSVar in pascal.taie.analysis.pta.plugin
Modifier and TypeMethodDescriptionvoid
CompositePlugin.onNewPointsToSet
(CSVar csVar, PointsToSet pts) void
ConstraintChecker.onNewPointsToSet
(CSVar csVar, PointsToSet pts) default void
Plugin.onNewPointsToSet
(CSVar csVar, PointsToSet pts) Invoked when set of new objects flow to a context-sensitive variable.void
Profiler.onNewPointsToSet
(CSVar csVar, PointsToSet pts) void
ThreadHandler.onNewPointsToSet
(CSVar csVar, PointsToSet pts) -
Uses of CSVar in pascal.taie.analysis.pta.plugin.exception
Modifier and TypeMethodDescriptionvoid
ExceptionAnalysis.onNewPointsToSet
(CSVar csVar, PointsToSet pts) If the csVar is an exception reference, propagate all the exception it newly throws. -
Uses of CSVar in pascal.taie.analysis.pta.plugin.invokedynamic
Modifier and TypeMethodDescriptionvoid
InvokeDynamicAnalysis.onNewPointsToSet
(CSVar csVar, PointsToSet pts) void
LambdaAnalysis.onNewPointsToSet
(CSVar csVar, PointsToSet pts) -
Uses of CSVar in pascal.taie.analysis.pta.plugin.reflection
Modifier and TypeMethodDescriptionvoid
ReflectiveActionModel.onNewPointsToSet
(CSVar csVar, PointsToSet pts) void
SolarModel.onNewPointsToSet
(CSVar csVar, PointsToSet pts) -
Uses of CSVar in pascal.taie.analysis.pta.plugin.util
Modifier and TypeFieldDescriptionprotected final Map<JMethod,
TriConsumer<CSVar, PointsToSet, Invoke>> AbstractModel.handlers
Deprecated.Modifier and TypeMethodDescriptionprotected List<PointsToSet>
AbstractModel.getArgs
(CSVar csVar, PointsToSet pts, Invoke invoke, int... indexes) Deprecated.For invocation r = v.foo(a0, a1, ..., an); when points-to set of v or any ai (0 ≤ i ≤ n) changes, this convenient method returns points-to sets relevant arguments.void
AbstractModel.handleNewPointsToSet
(CSVar csVar, PointsToSet pts) Deprecated.void
Model.handleNewPointsToSet
(CSVar csVar, PointsToSet pts) Deprecated.void
AnalysisModelPlugin.onNewPointsToSet
(CSVar csVar, PointsToSet pts) Modifier and TypeMethodDescriptionprotected void
AbstractModel.registerAPIHandler
(JMethod api, TriConsumer<CSVar, PointsToSet, Invoke> handler) Deprecated.