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)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)