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

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

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.
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.invokedynamic
pascal.taie.analysis.pta.plugin.reflection
pascal.taie.analysis.pta.plugin.util

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

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

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

Class	Description
Context	Representation of contexts in context-sensitive pointer analysis.

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

Class	Description
Context	Representation of contexts in context-sensitive pointer analysis.

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

Class	Description
Context	Representation of contexts in context-sensitive pointer analysis.

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

Class	Description
Context	Representation of contexts in context-sensitive pointer analysis.

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

Class	Description
Context	Representation of contexts in context-sensitive pointer analysis.

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

Class	Description
Context	Representation of contexts in context-sensitive pointer analysis.

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

Class	Description
Context	Representation of contexts in context-sensitive pointer analysis.