Member predicate PathNotNormalizedConfiguration :: isSource
Holds if source is a relevant taint source.
The smaller this predicate is, the faster hasFlow() will converge.
Holds if source is a relevant taint source.
The smaller this predicate is, the faster hasFlow() will converge.