Member predicate FunctionModel::taintStepForCall

Holds if this function model causes taint to flow from pred to succ for the call c.

predicate taintStepForCall(Node pred, Node succ, CallNode c, Boolean forward)