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

Class TaintConfigProvider

java.lang.Object

pascal.taie.analysis.pta.plugin.taint.TaintConfigProvider

public abstract class TaintConfigProvider
extends Object

Provides a configuration for taint analysis. Subclasses should implement the constructor TaintConfigProvider(ClassHierarchy, TypeSystem) and override the necessary methods to provide specific configurations.

Field Summary

Fields

Modifier and Type	Field	Description
protected final ClassHierarchy	hierarchy
protected final SignatureMatcher	matcher
protected final TypeSystem	typeSystem

Constructor Summary

Constructors

Modifier	Constructor	Description
protected	TaintConfigProvider(ClassHierarchy hierarchy, TypeSystem typeSystem)

Method Summary

Modifier and Type	Method	Description
protected boolean	callSiteMode()
TaintConfig	get()
protected List<ParamSanitizer>	sanitizers()
protected List<Sink>	sinks()
protected List<Source>	sources()
protected List<TaintTransfer>	transfers()

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Details

hierarchy

protected final ClassHierarchy hierarchy

typeSystem

protected final TypeSystem typeSystem

matcher

protected final SignatureMatcher matcher

Constructor Details

TaintConfigProvider

protected TaintConfigProvider(ClassHierarchy hierarchy,
 TypeSystem typeSystem)

Method Details

sources

protected List<Source> sources()

sinks

protected List<Sink> sinks()

transfers

protected List<TaintTransfer> transfers()

sanitizers

protected List<ParamSanitizer> sanitizers()

callSiteMode

protected boolean callSiteMode()

get

public TaintConfig get()