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

package pascal.taie.analysis.pta.core.solver

Provide data structures and algorithms of context-sensitive pointer analysis solver.

See Also:

• DefaultSolver

Class	Description
DeclaredParamProvider	This ParamProvider creates parameter objects of the declared types, and the objects pointed to by fields of parameter objects, as well as elements of array objects.
DefaultSolver
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
PointerFlowGraph	Represents pointer flow graph in context-sensitive pointer analysis.
PropagateTypes	Checks whether propagation of objects is allowed.
Solver
SpecifiedParamProvider	This ParamProvider returns this/parameter objects specified via its builder.
SpecifiedParamProvider.Builder
Transfer	Transfer function on pointer flow edges.
TypeFilter	Transfer function that filters out the objects whose types are NOT subtypes of specific type.