Uses of Class
pascal.taie.analysis.pta.core.cs.element.AbstractCSElement

Packages that use AbstractCSElement
Package
Description
Provides the classes to represent and manage context-sensitive elements used in pointer analysis, including context-sensitive pointers, objects, call sites, and methods.