Member predicate TaintTracking::Configuration::isSource
Holds if source
is a relevant taint source with the given initial
state
.
The smaller this predicate is, the faster hasFlow()
will converge.
Holds if source
is a relevant taint source with the given initial
state
.
The smaller this predicate is, the faster hasFlow()
will converge.