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.