CodeQL library for Java/Kotlin
codeql/java-all 5.0.1-dev (changelog, source)
Search

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)