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

package pascal.taie.analysis.pta.core.cs.selector

Provide various context selectors, which correspond to various context sensitivity variants.

See Also:

• ContextSelector

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.element	Provides the classes to represent and manage context-sensitive elements used in pointer analysis, including context-sensitive pointers, objects, call sites, and methods.

Class	Description
ContextSelector	Represents context sensitivity variants.
ContextSelectorFactory	Provides static factory methods for various context selectors.