Member predicate RequestForgeryAdditionalTaintStep::propagatesTaint
Holds if the step from pred to succ should be considered a taint
step for server-side request forgery.
predicate propagatesTaint(Node pred, Node succ)Holds if the step from pred to succ should be considered a taint
step for server-side request forgery.
predicate propagatesTaint(Node pred, Node succ)