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)