Uses of Interface
pascal.taie.analysis.pta.core.solver.Solver

Packages that use Solver

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

Uses of Solver in pascal.taie.analysis.pta.core.solver

Classes in pascal.taie.analysis.pta.core.solver that implement Solver

Modifier and Type	Class	Description
class	DefaultSolver

Constructors in pascal.taie.analysis.pta.core.solver with parameters of type Solver

Modifier	Constructor	Description
	TypeFilter(Type type, Solver solver)

Uses of Solver in pascal.taie.analysis.pta.plugin

Methods in pascal.taie.analysis.pta.plugin with parameters of type Solver

Modifier and Type	Method	Description
void	ClassInitializer.setSolver(Solver solver)
void	CompositePlugin.setSolver(Solver solver)
void	ConstraintChecker.setSolver(Solver solver)
void	EntryPointHandler.setSolver(Solver solver)
void	NullHandler.setSolver(Solver solver)
void	NumberLiteralHandler.setSolver(Solver solver)
default void	Plugin.setSolver(Solver solver)	Sets pointer analysis solver which will be used later by the plugin.
void	Profiler.setSolver(Solver solver)
void	ReferenceHandler.setSolver(Solver solver)
void	ResultProcessor.setSolver(Solver solver)
void	ThreadHandler.setSolver(Solver solver)

Uses of Solver in pascal.taie.analysis.pta.plugin.assertion

Methods in pascal.taie.analysis.pta.plugin.assertion with parameters of type Solver

Modifier and Type	Method	Description
void	AssertionChecker.setSolver(Solver solver)

Uses of Solver in pascal.taie.analysis.pta.plugin.exception

Methods in pascal.taie.analysis.pta.plugin.exception with parameters of type Solver

Modifier and Type	Method	Description
void	ExceptionAnalysis.setSolver(Solver solver)

Uses of Solver in pascal.taie.analysis.pta.plugin.invokedynamic

Methods in pascal.taie.analysis.pta.plugin.invokedynamic with parameters of type Solver

Modifier and Type	Method	Description
void	InvokeDynamicAnalysis.setSolver(Solver solver)
void	Java9StringConcatHandler.setSolver(Solver solver)
void	LambdaAnalysis.setSolver(Solver solver)

Uses of Solver in pascal.taie.analysis.pta.plugin.natives

Methods in pascal.taie.analysis.pta.plugin.natives with parameters of type Solver

Modifier and Type	Method	Description
void	NativeModeller.setSolver(Solver solver)

Uses of Solver in pascal.taie.analysis.pta.plugin.reflection

Methods in pascal.taie.analysis.pta.plugin.reflection with parameters of type Solver

Modifier and Type	Method	Description
void	ReflectionAnalysis.setSolver(Solver solver)

Constructors in pascal.taie.analysis.pta.plugin.reflection with parameters of type Solver

Modifier	Constructor	Description
	OthersModel(Solver solver, pascal.taie.analysis.pta.plugin.reflection.MetaObjHelper helper)

Uses of Solver in pascal.taie.analysis.pta.plugin.taint

Methods in pascal.taie.analysis.pta.plugin.taint with parameters of type Solver

Modifier and Type	Method	Description
void	TaintAnalysis.setSolver(Solver solver)

Uses of Solver in pascal.taie.analysis.pta.plugin.util

Fields in pascal.taie.analysis.pta.plugin.util declared as Solver

Modifier and Type	Field	Description
protected final Solver	SolverHolder.solver

Constructors in pascal.taie.analysis.pta.plugin.util with parameters of type Solver

Modifier	Constructor	Description
protected	AbstractIRModel(Solver solver)	Deprecated.
protected	AbstractModel(Solver solver)	Deprecated.
protected	AnalysisModelPlugin(Solver solver)
protected	IRModelPlugin(Solver solver)
protected	SolverHolder(Solver solver)