C#: Lift models to unbound declarations.

michaelnebel · michaelnebel · commit 541cde98e0bb · 2026-07-16T12:23:53.000+02:00
diff --git a/csharp/ql/src/utils/modelgenerator/internal/CaptureModels.qll b/csharp/ql/src/utils/modelgenerator/internal/CaptureModels.qll
@@ -213,7 +213,8 @@ module SummaryModelGeneratorInput implements SummaryModelGeneratorInputSig {
   }
 
   private Callable getARelevantOverrideeOrImplementee(Overridable m) {
-    m.overridesOrImplements(result) and relevant(result)
+    exists(Callable c | m.overridesOrImplements(c) and result = c.getUnboundDeclaration()) and
+    relevant(result)
   }
 
   /**

Original file line number	Diff line number	Diff line change
`@@ -213,7 +213,8 @@ module SummaryModelGeneratorInput implements SummaryModelGeneratorInputSig {`
`213`	`213`	`}`
`214`	`214`
`215`	`215`	`private Callable getARelevantOverrideeOrImplementee(Overridable m) {`
`216`		`- m.overridesOrImplements(result) and relevant(result)`
	`216`	`+ exists(Callable c \| m.overridesOrImplements(c) and result = c.getUnboundDeclaration()) and`
	`217`	`+ relevant(result)`
`217`	`218`	`}`
`218`	`219`
`219`	`220`	`/**`