CodeQL library for Java/Kotlin
codeql/java-all 0.9.2-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)