Member: Allow methods with empty bodies for overlay

kaspersv · kaspersv · commit 6d1438af497e · 2025-05-28T14:42:15.000+02:00
diff --git a/java/ql/lib/semmle/code/java/Member.qll b/java/ql/lib/semmle/code/java/Member.qll
@@ -623,7 +623,11 @@ class SrcMethod extends Method {
       then implementsInterfaceMethod(result, this)
       else result.getASourceOverriddenMethod*() = this
     ) and
-    (exists(result.getBody()) or result.hasModifier("native"))
+    (
+      hasOverlay() or
+      exists(result.getBody()) or
+      result.hasModifier("native")
+    )
   }
 }
 

Original file line number	Diff line number	Diff line change
`@@ -623,7 +623,11 @@ class SrcMethod extends Method {`
`623`	`623`	`then implementsInterfaceMethod(result, this)`
`624`	`624`	`else result.getASourceOverriddenMethod*() = this`
`625`	`625`	`) and`
`626`		`- (exists(result.getBody()) or result.hasModifier("native"))`
	`626`	`+ (`
	`627`	`+ hasOverlay() or`
	`628`	`+ exists(result.getBody()) or`
	`629`	`+ result.hasModifier("native")`
	`630`	`+ )`
`627`	`631`	`}`
`628`	`632`	`}`
`629`	`633`