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).
-
-
-
-
-
-
ClassDescriptionComposite plugin which allows multiple independent plugins to be used together.Analysis plugin interface.
-
ClassDescriptionComposite plugin which allows multiple independent plugins to be used together.Analysis plugin interface.
-
ClassDescriptionComposite plugin which allows multiple independent plugins to be used together.Analysis plugin interface.
-