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

Member predicate TaintTrackingImplementation::flowStep

Hold if taint flows to src to dest in a single step, labeled with edgeLabel edgeLabel is purely informative.

predicate flowStep(TaintTrackingNode src, TaintTrackingNode dest, string edgeLabel)