Uses of Interface
pascal.taie.analysis.pta.plugin.taint.Source

Packages that use Source

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

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

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

Modifier and Type	Class	Description
final record	CallSource	Represents sources which generates taint objects at method calls.
final record	FieldSource
final record	ParamSource	Represents sources which generate taint objects on method parameters.

Methods in pascal.taie.analysis.pta.plugin.taint that return types with arguments of type Source

Modifier and Type	Method	Description
List<Source>	TaintConfig.sources()	Returns the value of the sources record component.
protected List<Source>	TaintConfigProvider.sources()

Constructor parameters in pascal.taie.analysis.pta.plugin.taint with type arguments of type Source

Modifier	Constructor	Description
	TaintConfig(List<Source> sources, List<Sink> sinks, List<TaintTransfer> transfers, List<ParamSanitizer> paramSanitizers, boolean callSiteMode)	Creates an instance of a TaintConfig record class.