Uses of Interface
pascal.taie.analysis.pta.pts.PointsToSet

Packages that use PointsToSet

Package	Description
pascal.taie.analysis.pta.core.cs.element	Provides the classes to represent and manage context-sensitive elements used in pointer analysis, including context-sensitive pointers, objects, call sites, and methods.
pascal.taie.analysis.pta.core.solver	Provide data structures and algorithms of context-sensitive pointer analysis solver.
pascal.taie.analysis.pta.plugin	Provide plugin interface of pointer analysis and some instances (implementations).
pascal.taie.analysis.pta.plugin.exception
pascal.taie.analysis.pta.plugin.invokedynamic
pascal.taie.analysis.pta.plugin.reflection
pascal.taie.analysis.pta.plugin.taint
pascal.taie.analysis.pta.plugin.util
pascal.taie.analysis.pta.pts	Implementation of various points-to sets used in pointer analysis.

Uses of PointsToSet in pascal.taie.analysis.pta.core.cs.element

Methods in pascal.taie.analysis.pta.core.cs.element that return PointsToSet

Modifier and Type	Method	Description
PointsToSet	Pointer.getPointsToSet()	Retrieves the points-to set associated with this pointer.

Methods in pascal.taie.analysis.pta.core.cs.element with parameters of type PointsToSet

Modifier and Type	Method	Description
void	Pointer.setPointsToSet(PointsToSet pointsToSet)	Sets the associated points-to set of this pointer.

Uses of PointsToSet in pascal.taie.analysis.pta.core.solver

Methods in pascal.taie.analysis.pta.core.solver that return PointsToSet

Modifier and Type	Method	Description
PointsToSet	Identity.apply(PointerFlowEdge edge, PointsToSet input)
PointsToSet	Transfer.apply(PointerFlowEdge edge, PointsToSet input)	Transfer function on a pointer flow edge.
PointsToSet	TypeFilter.apply(PointerFlowEdge edge, PointsToSet input)
PointsToSet	DefaultSolver.getPointsToSetOf(Pointer pointer)
PointsToSet	Solver.getPointsToSetOf(Pointer pointer)	Returns the points-to set of given pointer.
PointsToSet	DefaultSolver.makePointsToSet()
PointsToSet	Solver.makePointsToSet()	Creates a new empty points-to set.

Methods in pascal.taie.analysis.pta.core.solver with parameters of type PointsToSet

Modifier and Type	Method	Description
void	DefaultSolver.addPointsTo(Pointer pointer, PointsToSet pts)
void	Solver.addPointsTo(Pointer pointer, PointsToSet pts)
void	DefaultSolver.addVarPointsTo(Context context, Var var, PointsToSet pts)
void	Solver.addVarPointsTo(Context context, Var var, PointsToSet pts)
PointsToSet	Identity.apply(PointerFlowEdge edge, PointsToSet input)
PointsToSet	Transfer.apply(PointerFlowEdge edge, PointsToSet input)	Transfer function on a pointer flow edge.
PointsToSet	TypeFilter.apply(PointerFlowEdge edge, PointsToSet input)

Uses of PointsToSet in pascal.taie.analysis.pta.plugin

Methods in pascal.taie.analysis.pta.plugin with parameters of type PointsToSet

Modifier and Type	Method	Description
void	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 PointsToSet in pascal.taie.analysis.pta.plugin.exception

Methods in pascal.taie.analysis.pta.plugin.exception with parameters of type PointsToSet

Modifier and Type	Method	Description
void	ExceptionAnalysis.onNewPointsToSet(CSVar csVar, PointsToSet pts)	If the csVar is an exception reference, propagate all the exception it newly throws.

Uses of PointsToSet in pascal.taie.analysis.pta.plugin.invokedynamic

Methods in pascal.taie.analysis.pta.plugin.invokedynamic with parameters of type PointsToSet

Modifier and Type	Method	Description
void	LookupModel.findConstructor(CSVar csVar, PointsToSet pts, Invoke invoke)
void	LookupModel.findStatic(CSVar csVar, PointsToSet pts, Invoke invoke)
void	LookupModel.findVirtual(CSVar csVar, PointsToSet pts, Invoke invoke)
void	MethodTypeModel.methodType1Class(CSVar csVar, PointsToSet pts, Invoke invoke)
void	MethodTypeModel.methodType2Classes(CSVar csVar, PointsToSet pts, Invoke invoke)
void	MethodTypeModel.methodTypeClassMT(CSVar csVar, PointsToSet pts, Invoke invoke)
void	InvokeDynamicAnalysis.onNewPointsToSet(CSVar csVar, PointsToSet pts)
void	LambdaAnalysis.onNewPointsToSet(CSVar csVar, PointsToSet pts)

Uses of PointsToSet in pascal.taie.analysis.pta.plugin.reflection

Methods in pascal.taie.analysis.pta.plugin.reflection with parameters of type PointsToSet

Modifier and Type	Method	Description
void	ReflectiveActionModel.arrayNewInstance(CSVar csVar, PointsToSet pts, Invoke invoke)
void	SolarModel.classForName(CSVar csVar, PointsToSet pts, Invoke invoke)
void	StringBasedModel.classForName(CSVar csVar, PointsToSet pts, Invoke invoke)
void	SolarModel.classGetConstructor(CSVar csVar, PointsToSet pts, Invoke invoke)
void	StringBasedModel.classGetConstructor(CSVar csVar, PointsToSet pts, Invoke invoke)
void	SolarModel.classGetMethod(CSVar csVar, PointsToSet pts, Invoke invoke)
void	StringBasedModel.classGetMethod(CSVar csVar, PointsToSet pts, Invoke invoke)
void	SolarModel.classGetMethods(CSVar csVar, PointsToSet pts, Invoke invoke)
void	ReflectiveActionModel.classNewInstance(CSVar csVar, PointsToSet pts, Invoke invoke)
void	SolarModel.classNewInstance(CSVar csVar, PointsToSet pts, Invoke invoke)
void	SolarModel.collectUnsoundArrayNewInstance(CSVar csVar, PointsToSet pts, Invoke invoke)
void	ReflectiveActionModel.constructorNewInstance(CSVar csVar, PointsToSet pts, Invoke invoke)
void	ReflectiveActionModel.fieldGet(CSVar csVar, PointsToSet pts, Invoke invoke)
void	ReflectiveActionModel.fieldSet(CSVar csVar, PointsToSet pts, Invoke invoke)
void	OthersModel.getAnnotation(CSVar csVar, PointsToSet pts, Invoke invoke)
void	OthersModel.getClass(CSVar csVar, PointsToSet pts, Invoke invoke)
void	OthersModel.getParameterAnnotations(CSVar csVar, PointsToSet pts, Invoke invoke)
void	OthersModel.getPrimitiveClass(CSVar csVar, PointsToSet pts, Invoke invoke)
void	SolarModel.handleNewPointsToSet(CSVar csVar, PointsToSet pts)
void	ReflectiveActionModel.methodInvoke(CSVar csVar, PointsToSet pts, Invoke invoke)
void	SolarModel.methodInvoke(CSVar csVar, PointsToSet pts, Invoke invoke)
void	ReflectionAnalysis.onNewPointsToSet(CSVar csVar, PointsToSet pts)

Uses of PointsToSet in pascal.taie.analysis.pta.plugin.taint

Methods in pascal.taie.analysis.pta.plugin.taint with parameters of type PointsToSet

Modifier and Type	Method	Description
void	TaintAnalysis.onNewPointsToSet(CSVar csVar, PointsToSet pts)

Uses of PointsToSet in pascal.taie.analysis.pta.plugin.util

Fields in pascal.taie.analysis.pta.plugin.util with type parameters of type PointsToSet

Modifier and Type	Field	Description
protected final Map<JMethod,TriConsumer<CSVar,PointsToSet,Invoke>>	AbstractModel.handlers

Methods in pascal.taie.analysis.pta.plugin.util that return types with arguments of type PointsToSet

Modifier and Type	Method	Description
protected List<PointsToSet>	AbstractModel.getArgs(CSVar csVar, PointsToSet pts, Invoke invoke, int... indexes)	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.

Methods in pascal.taie.analysis.pta.plugin.util with parameters of type PointsToSet

Modifier and Type	Method	Description
protected List<PointsToSet>	AbstractModel.getArgs(CSVar csVar, PointsToSet pts, Invoke invoke, int... indexes)	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)
void	DummyModel.handleNewPointsToSet(CSVar csVar, PointsToSet pts)
void	Model.handleNewPointsToSet(CSVar csVar, PointsToSet pts)

Method parameters in pascal.taie.analysis.pta.plugin.util with type arguments of type PointsToSet

Modifier and Type	Method	Description
protected void	AbstractModel.registerAPIHandler(JMethod api, TriConsumer<CSVar,PointsToSet,Invoke> handler)

Uses of PointsToSet in pascal.taie.analysis.pta.pts

Methods in pascal.taie.analysis.pta.pts that return PointsToSet

Modifier and Type	Method	Description
PointsToSet	PointsToSet.addAllDiff(PointsToSet pts)	Adds all objects in given pts to this set.
PointsToSet	PointsToSetFactory.make()
PointsToSet	PointsToSetFactory.make(CSObj obj)	Convenient method for making one-element points-to set.

Methods in pascal.taie.analysis.pta.pts with parameters of type PointsToSet

Modifier and Type	Method	Description
boolean	PointsToSet.addAll(PointsToSet pts)	Adds all objects in given pts to this set.
PointsToSet	PointsToSet.addAllDiff(PointsToSet pts)	Adds all objects in given pts to this set.