Java: Bugfix.

aschackmull · aschackmull · commit 4884da363f41 · 2021-05-25T11:48:35.000+02:00
diff --git a/java/ql/src/semmle/code/java/dispatch/VirtualDispatch.qll b/java/ql/src/semmle/code/java/dispatch/VirtualDispatch.qll
@@ -76,7 +76,7 @@ private module Dispatch {
     (
       exists(Method def, RefType t, boolean exact |
         qualType(ma, t, exact) and
-        def = ma.getMethod()
+        def = ma.getMethod().getSourceDeclaration()
       |
         exact = true and result = exactMethodImpl(def, t.getSourceDeclaration())
         or

Original file line number	Diff line number	Diff line change
`@@ -76,7 +76,7 @@ private module Dispatch {`
`76`	`76`	`(`
`77`	`77`	`exists(Method def, RefType t, boolean exact \|`
`78`	`78`	`qualType(ma, t, exact) and`
`79`		`- def = ma.getMethod()`
	`79`	`+ def = ma.getMethod().getSourceDeclaration()`
`80`	`80`	`\|`
`81`	`81`	`exact = true and result = exactMethodImpl(def, t.getSourceDeclaration())`
`82`	`82`	`or`