Minor change in WKNavigationDelegateSource to work around a bug

atorralba · atorralba · commit 24527bfc4e4e · 2023-02-01T17:44:08.000+01:00
diff --git a/swift/ql/lib/codeql/swift/frameworks/StandardLibrary/WebView.qll b/swift/ql/lib/codeql/swift/frameworks/StandardLibrary/WebView.qll
@@ -53,7 +53,7 @@ private class AdoptsWkNavigationDelegate extends Decl {
 private class WKNavigationDelegateSource extends RemoteFlowSource {
   WKNavigationDelegateSource() {
     exists(ParamDecl p, FuncDecl f, AdoptsWkNavigationDelegate t |
-      f.getEnclosingDecl() = t and
+      t.getAMember() = f and
       f.getName() =
         [
           "webView(_:decidePolicyFor:preferences:decisionHandler:)",

Original file line number	Diff line number	Diff line change
`@@ -53,7 +53,7 @@ private class AdoptsWkNavigationDelegate extends Decl {`
`53`	`53`	`private class WKNavigationDelegateSource extends RemoteFlowSource {`
`54`	`54`	`WKNavigationDelegateSource() {`
`55`	`55`	`exists(ParamDecl p, FuncDecl f, AdoptsWkNavigationDelegate t \|`
`56`		`- f.getEnclosingDecl() = t and`
	`56`	`+ t.getAMember() = f and`
`57`	`57`	`f.getName() =`
`58`	`58`	`[`
`59`	`59`	`"webView(_:decidePolicyFor:preferences:decisionHandler:)",`