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

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

Related Packages

Package	Description
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.

Class	Description
Context	Representation of contexts in context-sensitive pointer analysis.
ContextFactory<T>	Factory of contexts, which provides convenient APIs to create contexts.
TrieContext	An implementation of Context, which organizes contexts as Trie.
TrieContext.Factory<T>