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

Package
Description
Provide data structures and algorithms of context-sensitive pointer analysis solver.
Provide plugin interface of pointer analysis and some instances (implementations).