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