Package pascal.taie.analysis.pta.plugin.taint

package pascal.taie.analysis.pta.plugin.taint

Related Packages

Package	Description
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.util

Class	Description
CallSourcePoint	A CallSourcePoint is variable at an invocation site.
FieldSource
FieldSourcePoint
ParamSourcePoint	A ParamSourcePoint is a parameter of a method.
SinkPoint	Represents a program location where taint objects flow to a sink.
SourcePoint	Represents a program location where the taint object is generated.
TaintAnalysis
TaintFlow	Each instance represents a taint flow from source to sink.