Uses of Package
pascal.taie.analysis.pta.core.solver

Packages that use pascal.taie.analysis.pta.core.solver

Package	Description
pascal.taie.analysis.graph.flowgraph
pascal.taie.analysis.pta
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.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.core.solver used by pascal.taie.analysis.graph.flowgraph

Class	Description
PointerFlowGraph	Represents pointer flow graph in context-sensitive pointer analysis.

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

Class	Description
PointerFlowGraph	Represents pointer flow graph in context-sensitive pointer analysis.
PropagateTypes	Checks whether propagation of objects is allowed.

Classes in pascal.taie.analysis.pta.core.solver used by pascal.taie.analysis.pta.core.cs.element

Class	Description
PointerFlowEdge

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

Class	Description
EmptyParamProvider	This ParamProvider ignored all parameters.
EntryPoint	Represents entry points in pointer analysis.
Identity
ParamProvider	The parameter object provider for this variable/parameters of the entry method.
PointerFlowEdge
Solver
SpecifiedParamProvider	This ParamProvider returns this/parameter objects specified via its builder.
SpecifiedParamProvider.Builder
Transfer	Transfer function on pointer flow edges.

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

Class	Description
Solver

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

Class	Description
Solver

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

Class	Description
Solver

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

Class	Description
Solver

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

Class	Description
Solver

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

Class	Description
Solver

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

Class	Description
Solver

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

Class	Description
Solver