Uses of Interface
pascal.taie.analysis.pta.plugin.Plugin

Packages that use 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.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

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

Methods in pascal.taie.analysis.pta.core.solver with parameters of type Plugin

Modifier and Type	Method	Description
void	DefaultSolver.setPlugin(Plugin plugin)
void	Solver.setPlugin(Plugin plugin)	Sets plugin to this solver.

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

Classes in pascal.taie.analysis.pta.plugin that implement Plugin

Modifier and Type	Class	Description
class	AnalysisTimer	Records the elapsed time of pointer analysis.
class	ClassInitializer	Triggers the analysis of class initializers.
class	CompositePlugin	Composite plugin which allows multiple independent plugins to be used together.
class	ConstraintChecker	This class is for debugging/testing purpose.
class	EntryPointHandler	Initializes standard entry points for pointer analysis.
class	NullHandler	Handles AssignLiteral var = null.
class	NumberLiteralHandler	Handles AssignLiteral where the RValue is of NumberLiteral.
class	Profiler	Profiler to help identify analysis hot spots in the analyzed program and assist performance tuning for pointer analysis.
class	ReferenceHandler	Models GC behavior that it assigns every reference to Reference.pending.
class	ResultProcessor	Dump points-to set to file or compare the analysis result with the ones read from input file.
class	ThreadHandler	Models initialization of system thread group, main thread group, main thread, and some Thread APIs.

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

Modifier and Type	Method	Description
void	CompositePlugin.addPlugin(Plugin... plugins)

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

Classes in pascal.taie.analysis.pta.plugin.exception that implement Plugin

Modifier and Type	Class	Description
class	ExceptionAnalysis

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

Classes in pascal.taie.analysis.pta.plugin.invokedynamic that implement Plugin

Modifier and Type	Class	Description
class	InvokeDynamicAnalysis
class	Java9StringConcatHandler	Since Java 9, String concatenation is implemented via invokedynamic.
class	LambdaAnalysis

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

Classes in pascal.taie.analysis.pta.plugin.natives that implement Plugin

Modifier and Type	Class	Description
class	NativeModeller	This class models some native calls by "inlining" their side effects at the call sites to provide better precision for pointer analysis.

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

Classes in pascal.taie.analysis.pta.plugin.reflection that implement Plugin

Modifier and Type	Class	Description
class	ReflectionAnalysis

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

Classes in pascal.taie.analysis.pta.plugin.taint that implement Plugin

Modifier and Type	Class	Description
class	TaintAnalysis