Predicate RequestForgery::isAdditionalRequestForgeryStep
Holds if there is a taint step from pred
to succ
for request forgery.
Import path
import semmle.javascript.security.dataflow.RequestForgeryCustomizations
predicate isAdditionalRequestForgeryStep(Node pred, Node succ)