Shared: Only make unlifted models in case the API itself is relevant.

2026-04-26 01:05:15 +02:00 · 2024-09-23 15:28:08 +02:00
parent 3d1a403655
commit 80497f551e
3 changed files with 13 additions and 3 deletions
--- a/java/ql/src/utils/modelgenerator/internal/CaptureModels.qll
+++ b/java/ql/src/utils/modelgenerator/internal/CaptureModels.qll
@@ -110,7 +110,10 @@ module ModelGeneratorInput implements ModelGeneratorInputSig<Location, JavaDataF

    Callable lift() { result = lift }

-    predicate isRelevant() { relevant(this) }
+    predicate isRelevant() {
+      relevant(this) and
+      not hasManualSummaryModel(this)
+    }
  }

  private string isExtensible(Callable c) {