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