Update ruby/ql/lib/codeql/ruby/dataflow/internal/TaintTrackingPrivate.qll

asgerf · hvitved · web-flow · commit f4b2af730da0 · 2022-11-09T09:28:07.000+01:00
Co-authored-by: Tom Hvitved &lt;hvitved@github.com&gt;
diff --git a/ruby/ql/lib/codeql/ruby/dataflow/internal/TaintTrackingPrivate.qll b/ruby/ql/lib/codeql/ruby/dataflow/internal/TaintTrackingPrivate.qll
@@ -105,7 +105,7 @@ private module Cached {
     exists(DataFlow::ContentSet c | readStep(nodeFrom, c, nodeTo) |
       c.isSingleton(any(DataFlow::Content::ElementContent ec))
       or
-      c.isKnownOrUnknownElement(any(DataFlow::Content::ElementContent ec))
+      c.isKnownOrUnknownElement(_)
       or
       c.isAnyElement()
     )

Original file line number	Diff line number	Diff line change
`@@ -105,7 +105,7 @@ private module Cached {`
`105`	`105`	`exists(DataFlow::ContentSet c \| readStep(nodeFrom, c, nodeTo) \|`
`106`	`106`	`c.isSingleton(any(DataFlow::Content::ElementContent ec))`
`107`	`107`	`or`
`108`		`- c.isKnownOrUnknownElement(any(DataFlow::Content::ElementContent ec))`
	`108`	`+ c.isKnownOrUnknownElement(_)`
`109`	`109`	`or`
`110`	`110`	`c.isAnyElement()`
`111`	`111`	`)`