Shared: Only use heuristic summary flow in case there is no content based flow.

2026-04-25 08:45:14 +02:00 · 2024-10-02 14:39:27 +02:00
parent 2427227b84
commit 104d448b16
1 changed files with 1 additions and 1 deletions
--- a/shared/mad/codeql/mad/modelgenerator/internal/ModelGeneratorImpl.qll
+++ b/shared/mad/codeql/mad/modelgenerator/internal/ModelGeneratorImpl.qll
@@ -881,7 +881,7 @@ module MakeModelGenerator<
  string captureMixedFlow(DataFlowSummaryTargetApi api, boolean lift) {
    result = ContentSensitive::captureFlow(api, lift)
    or
-    not exists(ContentSensitive::captureFlow(api, lift)) and
+    not exists(ContentSensitive::captureFlow(api, _)) and
    result = captureFlow(api) and
    lift = true
  }