Merge pull request github#20158 from hvitved/csharp/has-callable-constructor

hvitved · web-flow · commit 6e90823bd956 · 2025-08-05T12:59:29.000+02:00
C#: Include constructors in `ValueOrRefType.hasCallable`
diff --git a/csharp/ql/lib/semmle/code/csharp/Type.qll b/csharp/ql/lib/semmle/code/csharp/Type.qll
@@ -201,7 +201,7 @@ class ValueOrRefType extends Type, Attributable, @value_or_ref_type {
    */
   pragma[inline]
   predicate hasCallable(Callable c) {
-    this.hasMethod(c)
+    this.hasMember(c)
     or
     this.hasMember(c.(Accessor).getDeclaration())
   }

Original file line number	Diff line number	Diff line change
`@@ -201,7 +201,7 @@ class ValueOrRefType extends Type, Attributable, @value_or_ref_type {`
`201`	`201`	`*/`
`202`	`202`	`pragma[inline]`
`203`	`203`	`predicate hasCallable(Callable c) {`
`204`		`- this.hasMethod(c)`
	`204`	`+ this.hasMember(c)`
`205`	`205`	`or`
`206`	`206`	`this.hasMember(c.(Accessor).getDeclaration())`
`207`	`207`	`}`