CodeQL library for Python
codeql/python-all 0.12.0 (changelog, source)
Search

Member predicate UrlRedirect::AdditionalFlowStep::step

Holds if there should be an additional flow step from nodeFrom in stateFrom to nodeTo in stateTo.

For example, a call to replace that replaces backslashes with forward slashes takes flow from MayContainBackslashes to NoBackslashes.

predicate step(Node nodeFrom, FlowState stateFrom, Node nodeTo, FlowState stateTo)