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.
2 parents e7bb37a + 41b5d19 commit 233c0cfCopy full SHA for 233c0cf
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