We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent e7bb37a commit 41b5d19Copy full SHA for 41b5d19
ruby/ql/lib/codeql/ruby/dataflow/internal/DataFlowPrivate.qll
@@ -93,6 +93,14 @@ module SsaFlow {
93
result = TSelfToplevelParameterNode(p.asToplevelSelf())
94
}
95
96
+ ParameterNodeImpl toParameterNodeImpl(SsaDefinitionExtNode node) {
97
+ exists(SsaImpl::WriteDefinition def, SsaImpl::ParameterExt p |
98
+ def = node.getDefinitionExt() and
99
+ result = toParameterNode(p) and
100
+ p.isInitializedBy(def)
101
+ )
102
+ }
103
+
104
Impl::Node asNode(Node n) {
105
n = TSsaNode(result)
106
or
0 commit comments