Uses of Package
pascal.taie.analysis.pta.core.cs.selector
Packages that use pascal.taie.analysis.pta.core.cs.selector
Package
Description
Provide various context selectors, which correspond to various
context sensitivity variants.
Provide data structures and algorithms of context-sensitive
pointer analysis solver.
-
-
Classes in pascal.taie.analysis.pta.core.cs.selector used by pascal.taie.analysis.pta.core.solver
-
Classes in pascal.taie.analysis.pta.core.cs.selector used by pascal.taie.analysis.pta.plugin.util