Ruby: do not depend on trackDefNode in isDef

asgerf · asgerf · commit f8e76b534781 · 2023-03-29T10:31:42.000+02:00
diff --git a/ruby/ql/lib/codeql/ruby/ApiGraphs.qll b/ruby/ql/lib/codeql/ruby/ApiGraphs.qll
@@ -584,7 +584,7 @@ module API {
       // If a call node is relevant as a use-node, treat its arguments as def-nodes
       argumentStep(_, useCandFwd(), rhs)
       or
-      defStep(_, trackDefNode(_), rhs)
+      defStep(_, defCand(), rhs)
       or
       rhs = any(EntryPoint entry).getASink()
     }

Original file line number	Diff line number	Diff line change
`@@ -584,7 +584,7 @@ module API {`
`584`	`584`	`// If a call node is relevant as a use-node, treat its arguments as def-nodes`
`585`	`585`	`argumentStep(_, useCandFwd(), rhs)`
`586`	`586`	`or`
`587`		`- defStep(_, trackDefNode(_), rhs)`
	`587`	`+ defStep(_, defCand(), rhs)`
`588`	`588`	`or`
`589`	`589`	`rhs = any(EntryPoint entry).getASink()`
`590`	`590`	`}`