From 41b5d19137b9e36efd7f2b7aa5d8eef40dce5fc7 Mon Sep 17 00:00:00 2001 From: Dilan Bhalla Date: Fri, 7 Feb 2025 14:10:07 -0800 Subject: [PATCH] resolving ruby df error --- .../lib/codeql/ruby/dataflow/internal/DataFlowPrivate.qll | 8 ++++++++ 1 file changed, 8 insertions(+) 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