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

package 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.

See Also:

• CSManager

Related Packages

Package	Description
pascal.taie.analysis.pta.core.cs	Provide functionality related to context sensitivity.
pascal.taie.analysis.pta.core.cs.context
pascal.taie.analysis.pta.core.cs.selector	Provide various context selectors, which correspond to various context sensitivity variants.

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.
MapBasedCSManager	Manages data by maintaining the data and their context-sensitive counterparts by maps.
Pointer	Represents all pointers (nodes) in context-sensitive pointer analysis (pointer flow graph).
StaticField	Represents static field pointers.