qtil
advanced-security/qtil-ruby 0.0.2
Search

Predicate Cached::localFlowStepTypeTracker

This is the local flow predicate that is used in type tracking.

This needs to exclude localFlowSsaParamInput due to a performance trick in type tracking, where such steps are treated as call steps.

Import path

import codeql.ruby.dataflow.internal.DataFlowPrivate
predicate localFlowStepTypeTracker(Node nodeFrom, Node nodeTo)