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.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 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.

Fields in pascal.taie.analysis.pta.plugin declared as Plugin

Modifier and Type	Field	Description
static final Plugin	Plugin.DUMMY

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.assertion

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

Modifier and Type	Class	Description
class	AssertionChecker	Implements a mechanism for checking pointer analysis assertions.

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
class	LookupModel	Models java.lang.invoke.MethodHandles.Lookup.find*(...).
class	MethodTypeModel	Models invocations to MethodType.methodType(*);

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	ArrayModel
class	DoPriviledgedModel
class	NativeModeller	This class models some native calls by "inlining" their side effects at the call sites to provide better precision for pointer analysis.
class	UnsafeModel

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	OthersModel	Models other non-core reflection APIs.
class	ReflectionAnalysis
class	ReflectiveActionModel	Models reflective-action methods, currently supports Class.newInstance() Constructor.newInstance(Object[]) Method.invoke(Object,Object[]) Field.get(Object) Field.set(Object,Object) Array.newInstance(Class,int) TODO: check accessibility
class	SolarModel	Implementation of Solar, a powerful static reflection analysis.
class	StringBasedModel

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	Taint Analysis composites plugins SourceHandler, TransferHandler and SanitizerHandler to handle the logic associated with Source, TaintTransfer, and Sanitizer respectively.

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

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

Modifier and Type	Class	Description
class	AnalysisModelPlugin	Provides common functionalities for implementing the plugins which model the APIs by analyzing their semantics.
class	IRModelPlugin	Provides common functionalities for implementing the plugins which model the APIs by generating semantically-equivalent IR (Stmt).