Module LocalFlow

Provides predicates related to local data flow.

Import path

import codeql.ruby.dataflow.internal.DataFlowPrivate

getParameterDefNode	Gets the SSA definition node corresponding to parameter `p`.
localFlowSsaInputFromRead	Holds if `exprFrom` is a last read of SSA definition `def`, which can reach `next`.
localFlowSsaParamCaptureInput	Holds if `nodeFrom -> nodeTo` is a step from a parameter to a capture entry node for that parameter.
localFlowSsaParamInput	Holds if `nodeFrom` is a parameter node, and `nodeTo` is a corresponding SSA node.
localFlowStepCommon
localSsaFlowStepUseUse	Holds if there is a local use-use flow step from `nodeFrom` to `nodeTo` involving SSA definition `def`.