Uses of Package
pascal.taie.analysis.pta.pts

Packages that use pascal.taie.analysis.pta.pts
Package
Description
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.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.exception
 
pascal.taie.analysis.pta.plugin.invokedynamic
 
pascal.taie.analysis.pta.plugin.reflection
 
pascal.taie.analysis.pta.plugin.util
 
pascal.taie.analysis.pta.pts
Implementation of various points-to sets used in pointer analysis.