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

Predicate TypeTrackingInput::withContentStep

Holds if type-tracking should step from nodeFrom to nodeTo if inside a content matched by filter.

Import path

import semmle.python.dataflow.new.internal.TypeTrackingImpl
predicate withContentStep(Node nodeFrom, LocalSourceNode nodeTo, ContentFilter filter)