Package pascal.taie.analysis.pta.plugin

package pascal.taie.analysis.pta.plugin

Provide plugin interface of pointer analysis and some instances (implementations).

See Also:

• (interface for all plugins)

Related Packages

Package	Description
pascal.taie.analysis.pta
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

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