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

Packages that use pascal.taie.analysis.pta.plugin

Package	Description
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.assertion
pascal.taie.analysis.pta.plugin.exception
pascal.taie.analysis.pta.plugin.invokedynamic
pascal.taie.analysis.pta.plugin.natives
pascal.taie.analysis.pta.plugin.reflection
pascal.taie.analysis.pta.plugin.taint
pascal.taie.analysis.pta.plugin.util

Classes in pascal.taie.analysis.pta.plugin used by pascal.taie.analysis.pta.core.solver

Class	Description
Plugin	Analysis plugin interface.

Classes in pascal.taie.analysis.pta.plugin used by pascal.taie.analysis.pta.plugin

Class	Description
Plugin	Analysis plugin interface.

Classes in pascal.taie.analysis.pta.plugin used by pascal.taie.analysis.pta.plugin.assertion

Class	Description
Plugin	Analysis plugin interface.

Classes in pascal.taie.analysis.pta.plugin used by pascal.taie.analysis.pta.plugin.exception

Class	Description
Plugin	Analysis plugin interface.

Classes in pascal.taie.analysis.pta.plugin used by pascal.taie.analysis.pta.plugin.invokedynamic

Class	Description
Plugin	Analysis plugin interface.

Classes in pascal.taie.analysis.pta.plugin used by pascal.taie.analysis.pta.plugin.natives

Class	Description
CompositePlugin	Composite plugin which allows multiple independent plugins to be used together.
Plugin	Analysis plugin interface.

Classes in pascal.taie.analysis.pta.plugin used by pascal.taie.analysis.pta.plugin.reflection

Class	Description
CompositePlugin	Composite plugin which allows multiple independent plugins to be used together.
Plugin	Analysis plugin interface.

Classes in pascal.taie.analysis.pta.plugin used by pascal.taie.analysis.pta.plugin.taint

Class	Description
CompositePlugin	Composite plugin which allows multiple independent plugins to be used together.
Plugin	Analysis plugin interface.

Classes in pascal.taie.analysis.pta.plugin used by pascal.taie.analysis.pta.plugin.util

Class	Description
Plugin	Analysis plugin interface.