Member predicate 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.