Ruby: manually rewrite DigSummary access path

asgerf · asgerf · commit 7005d53a6750 · 2022-02-21T08:16:55.000+01:00
diff --git a/ruby/ql/lib/codeql/ruby/frameworks/core/Array.qll b/ruby/ql/lib/codeql/ruby/frameworks/core/Array.qll
@@ -657,7 +657,7 @@ module Array {
       strictconcat(int i |
         i in [0 .. dig.getNumberOfArguments() - 1]
       |
-        "ArrayElement" + buildDigInputSpecComponent(dig, i) + " of " order by i desc
+        ".ArrayElement" + buildDigInputSpecComponent(dig, i) order by i
       )
   }
 
@@ -677,7 +677,7 @@ module Array {
     override MethodCall getACall() { result = dig }
 
     override predicate propagatesFlowExt(string input, string output, boolean preservesValue) {
-      input = buildDigInputSpec(dig) + "Receiver" and
+      input = "Receiver" + buildDigInputSpec(dig) and
       output = "ReturnValue" and
       preservesValue = true
     }

Original file line number	Diff line number	Diff line change
`@@ -657,7 +657,7 @@ module Array {`
`657`	`657`	`strictconcat(int i \|`
`658`	`658`	`i in [0 .. dig.getNumberOfArguments() - 1]`
`659`	`659`	`\|`
`660`		`- "ArrayElement" + buildDigInputSpecComponent(dig, i) + " of " order by i desc`
	`660`	`+ ".ArrayElement" + buildDigInputSpecComponent(dig, i) order by i`
`661`	`661`	`)`
`662`	`662`	`}`
`663`	`663`
`@@ -677,7 +677,7 @@ module Array {`
`677`	`677`	`override MethodCall getACall() { result = dig }`
`678`	`678`
`679`	`679`	`override predicate propagatesFlowExt(string input, string output, boolean preservesValue) {`
`680`		`- input = buildDigInputSpec(dig) + "Receiver" and`
	`680`	`+ input = "Receiver" + buildDigInputSpec(dig) and`
`681`	`681`	`output = "ReturnValue" and`
`682`	`682`	`preservesValue = true`
`683`	`683`	`}`