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

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

Provide functionality related to context sensitivity.

Related Packages

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

Classes

Class	Description
CSCallGraph	Represents context-sensitive call graph.