Skip to content

Commit 270b56a

Browse files
committed
Extend runtime callables to interface members with default implementation
1 parent 39a88d2 commit 270b56a

File tree

1 file changed

+4
-1
lines changed

1 file changed

+4
-1
lines changed

csharp/ql/src/semmle/code/csharp/dispatch/RuntimeCallable.qll

Lines changed: 4 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -15,7 +15,10 @@ private import dotnet
1515
class RuntimeCallable extends DotNet::Callable {
1616
RuntimeCallable() {
1717
not this.(Modifiable).isAbstract() and
18-
not getDeclaringType() instanceof Interface
18+
(
19+
not getDeclaringType() instanceof Interface or
20+
this.(Virtualizable).isVirtual()
21+
)
1922
}
2023
}
2124

0 commit comments

Comments
 (0)