JavaScript is disabled on your browser.
Skip navigation links
Source
Overview
Package
Class
Use
Tree
Deprecated
Index
Help
Package:
Description
|
Related Packages
|
Classes and Interfaces
SEARCH:
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.