Member predicate FunctionModel::forwardTaintStep
Holds if this function model causes taint to flow forward from pred to succ.
predicate forwardTaintStep(Node pred, Node succ)Holds if this function model causes taint to flow forward from pred to succ.
predicate forwardTaintStep(Node pred, Node succ)