diff --git a/ruby/ql/lib/codeql/ruby/dataflow/internal/DataFlowPrivate.qll b/ruby/ql/lib/codeql/ruby/dataflow/internal/DataFlowPrivate.qll index 3aeb8355ae2a..24e232a22c2c 100644 --- a/ruby/ql/lib/codeql/ruby/dataflow/internal/DataFlowPrivate.qll +++ b/ruby/ql/lib/codeql/ruby/dataflow/internal/DataFlowPrivate.qll @@ -93,6 +93,14 @@ module SsaFlow { result = TSelfToplevelParameterNode(p.asToplevelSelf()) } + ParameterNodeImpl toParameterNodeImpl(SsaDefinitionExtNode node) { + exists(SsaImpl::WriteDefinition def, SsaImpl::ParameterExt p | + def = node.getDefinitionExt() and + result = toParameterNode(p) and + p.isInitializedBy(def) + ) + } + Impl::Node asNode(Node n) { n = TSsaNode(result) or