Member predicate Configuration :: isSink
Holds if sink is a relevant taint sink accepting state.
The smaller this predicate is, the faster hasFlow() will converge.
Holds if sink is a relevant taint sink accepting state.
The smaller this predicate is, the faster hasFlow() will converge.