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

Member predicate AdditionalTaintStep::hasStep

Holds if this AdditionalTaintStep defines a step from nodeFrom to nodeTo with provenance model.

predicate hasStep(Node nodeFrom, Node nodeTo, string model)