Swift: Make QL-for-QL happy.

geoffw0 · geoffw0 · commit 0b82f8a6e61b · 2023-11-15T14:32:07.000Z
diff --git a/swift/ql/lib/codeql/swift/security/SqlInjectionExtensions.qll b/swift/ql/lib/codeql/swift/security/SqlInjectionExtensions.qll
@@ -148,7 +148,8 @@ private class GrdbDefaultSqlInjectionSink extends SqlInjectionSink {
 }
 
 /**
- * A parameter that might be executed as SQL.
+ * Holds if `f`, `ix` describe `pd` and `pd` is a parameter that might be
+ * executed as SQL.
  */
 pragma[noinline]
 predicate sqlLikeHeuristic(Callable f, int ix, ParamDecl pd) {

Original file line number	Diff line number	Diff line change
`@@ -148,7 +148,8 @@ private class GrdbDefaultSqlInjectionSink extends SqlInjectionSink {`
`148`	`148`	`}`
`149`	`149`
`150`	`150`	`/**`
`151`		`- * A parameter that might be executed as SQL.`
	`151`	+ * Holds if `f`, `ix` describe `pd` and `pd` is a parameter that might be
	`152`	`+ * executed as SQL.`
`152`	`153`	`*/`
`153`	`154`	`pragma[noinline]`
`154`	`155`	`predicate sqlLikeHeuristic(Callable f, int ix, ParamDecl pd) {`