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

Package
Description
 
Provide functionality related to context sensitivity.
Provides the classes to represent and manage context-sensitive elements used in pointer analysis, including context-sensitive pointers, objects, call sites, and methods.
Provide various context selectors, which correspond to various context sensitivity variants.
Provide data structures and algorithms of context-sensitive pointer analysis solver.
Provide plugin interface of pointer analysis and some instances (implementations).
 
 
 
 
 
Implementation of various points-to sets used in pointer analysis.