Fix bug re: methods defined via aliases

owen-mc · owen-mc · commit 38831f28f1eb · 2025-01-24T15:20:49.000Z
diff --git a/go/ql/lib/semmle/go/Types.qll b/go/ql/lib/semmle/go/Types.qll
@@ -53,7 +53,7 @@ class Type extends @type {
    * with the corresponding named type instead.
    */
   Method getMethod(string m) {
-    result.getReceiverType() = this and
+    result.getReceiverType().getDeepUnaliasedType() = this.getDeepUnaliasedType() and
     result.getName() = m
   }
 

Original file line number	Diff line number	Diff line change
`@@ -53,7 +53,7 @@ class Type extends @type {`
`53`	`53`	`* with the corresponding named type instead.`
`54`	`54`	`*/`
`55`	`55`	`Method getMethod(string m) {`
`56`		`- result.getReceiverType() = this and`
	`56`	`+ result.getReceiverType().getDeepUnaliasedType() = this.getDeepUnaliasedType() and`
`57`	`57`	`result.getName() = m`
`58`	`58`	`}`
`59`	`59`