Uses of Package
pascal.taie.analysis.pta.core.cs.element

Packages that use pascal.taie.analysis.pta.core.cs.element

Package	Description
pascal.taie.analysis.pta
pascal.taie.analysis.pta.core.cs	Provide functionality related to context sensitivity.
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.cs.selector	Provide various context selectors, which correspond to various context sensitivity variants.
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.natives
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.

Classes in pascal.taie.analysis.pta.core.cs.element used by pascal.taie.analysis.pta

Class	Description
ArrayIndex	Represents array index pointers.
CSCallSite	Represents context-sensitive call sites.
CSManager	Manages context-sensitive elements and pointers in pointer analysis.
CSMethod	Represents context-sensitive methods.
CSObj	Represents context-sensitive objects.
CSVar	Represents context-sensitive variables.
InstanceField	Represents instance field pointers.
StaticField	Represents static field pointers.

Classes in pascal.taie.analysis.pta.core.cs.element used by pascal.taie.analysis.pta.core.cs

Class	Description
CSCallSite	Represents context-sensitive call sites.
CSManager	Manages context-sensitive elements and pointers in pointer analysis.
CSMethod	Represents context-sensitive methods.

Classes in pascal.taie.analysis.pta.core.cs.element used by pascal.taie.analysis.pta.core.cs.element

Class	Description
AbstractCSElement
ArrayIndex	Represents array index pointers.
CSCallSite	Represents context-sensitive call sites.
CSElement	Context-sensitive elements.
CSManager	Manages context-sensitive elements and pointers in pointer analysis.
CSMethod	Represents context-sensitive methods.
CSObj	Represents context-sensitive objects.
CSVar	Represents context-sensitive variables.
InstanceField	Represents instance field pointers.
Pointer	Represents all pointers (nodes) in context-sensitive pointer analysis (pointer flow graph).
StaticField	Represents static field pointers.

Classes in pascal.taie.analysis.pta.core.cs.element used by pascal.taie.analysis.pta.core.cs.selector

Class	Description
CSCallSite	Represents context-sensitive call sites.
CSMethod	Represents context-sensitive methods.
CSObj	Represents context-sensitive objects.

Classes in pascal.taie.analysis.pta.core.cs.element used by pascal.taie.analysis.pta.core.solver

Class	Description
CSCallSite	Represents context-sensitive call sites.
CSManager	Manages context-sensitive elements and pointers in pointer analysis.
CSMethod	Represents context-sensitive methods.
CSObj	Represents context-sensitive objects.
Pointer	Represents all pointers (nodes) in context-sensitive pointer analysis (pointer flow graph).

Classes in pascal.taie.analysis.pta.core.cs.element used by pascal.taie.analysis.pta.plugin

Class	Description
CSCallSite	Represents context-sensitive call sites.
CSMethod	Represents context-sensitive methods.
CSObj	Represents context-sensitive objects.
CSVar	Represents context-sensitive variables.

Classes in pascal.taie.analysis.pta.core.cs.element used by pascal.taie.analysis.pta.plugin.exception

Class	Description
CSCallSite	Represents context-sensitive call sites.
CSMethod	Represents context-sensitive methods.
CSVar	Represents context-sensitive variables.

Classes in pascal.taie.analysis.pta.core.cs.element used by pascal.taie.analysis.pta.plugin.invokedynamic

Class	Description
CSCallSite	Represents context-sensitive call sites.
CSMethod	Represents context-sensitive methods.
CSObj	Represents context-sensitive objects.
CSVar	Represents context-sensitive variables.

Classes in pascal.taie.analysis.pta.core.cs.element used by pascal.taie.analysis.pta.plugin.natives

Class	Description
CSCallSite	Represents context-sensitive call sites.
CSMethod	Represents context-sensitive methods.

Classes in pascal.taie.analysis.pta.core.cs.element used by pascal.taie.analysis.pta.plugin.reflection

Class	Description
CSCallSite	Represents context-sensitive call sites.
CSMethod	Represents context-sensitive methods.
CSObj	Represents context-sensitive objects.
CSVar	Represents context-sensitive variables.

Classes in pascal.taie.analysis.pta.core.cs.element used by pascal.taie.analysis.pta.plugin.taint

Class	Description
CSCallSite	Represents context-sensitive call sites.
CSMethod	Represents context-sensitive methods.
CSVar	Represents context-sensitive variables.

Classes in pascal.taie.analysis.pta.core.cs.element used by pascal.taie.analysis.pta.plugin.util

Class	Description
CSManager	Manages context-sensitive elements and pointers in pointer analysis.
CSMethod	Represents context-sensitive methods.
CSObj	Represents context-sensitive objects.
CSVar	Represents context-sensitive variables.

Classes in pascal.taie.analysis.pta.core.cs.element used by pascal.taie.analysis.pta.pts

Class	Description
CSObj	Represents context-sensitive objects.