Member predicate FunctionModel::flowStepForCall
Holds if this function model causes data to flow from pred to succ for the call c.
predicate flowStepForCall(Node pred, Node succ, CallNode c)Holds if this function model causes data to flow from pred to succ for the call c.
predicate flowStepForCall(Node pred, Node succ, CallNode c)