Location via proxy:   [ UP ]  
[Report a bug]   [Manage cookies]                
CodeQL library for Python
codeql/python-all 4.0.9 (changelog, source)
Index
Search

Member predicate TaintTrackingImplementation::flowStep

Hold if taint flows to src to (node, context, path, kind) in a single step, labelled with edgeLabel with this configuration. edgeLabel is purely informative.

predicate flowStep(TaintTrackingNode src, Node node, TaintTrackingContext context, AttributePath path, TaintKind kind, string edgeLabel)