Swift: Clean up the URL.init model.

geoffw0 · geoffw0 · commit be88c4f171af · 2022-08-31T15:25:24.000+01:00
diff --git a/swift/ql/lib/codeql/swift/dataflow/internal/TaintTrackingPrivate.qll b/swift/ql/lib/codeql/swift/dataflow/internal/TaintTrackingPrivate.qll
@@ -53,7 +53,7 @@ private module Cached {
       c.getName() = "URL" and
       c.getAMember() = f and
       f.getName() = ["init(string:)", "init(string:relativeTo:)"] and
-      call.getFunction().(ApplyExpr).getStaticTarget() = f and
+      call.getStaticTarget() = f and
       nodeFrom.asExpr() = call.getAnArgument().getExpr() and
       nodeTo.asExpr() = call
     )

Original file line number	Diff line number	Diff line change
`@@ -53,7 +53,7 @@ private module Cached {`
`53`	`53`	`c.getName() = "URL" and`
`54`	`54`	`c.getAMember() = f and`
`55`	`55`	`f.getName() = ["init(string:)", "init(string:relativeTo:)"] and`
`56`		`- call.getFunction().(ApplyExpr).getStaticTarget() = f and`
	`56`	`+ call.getStaticTarget() = f and`
`57`	`57`	`nodeFrom.asExpr() = call.getAnArgument().getExpr() and`
`58`	`58`	`nodeTo.asExpr() = call`
`59`	`59`	`)`