Java: Set the provenance default to manual.

2026-04-28 10:15:14 +02:00 · 2023-03-14 13:12:26 +01:00
parent d049b112a9
commit efc0650b86
1 changed files with 1 additions and 1 deletions
--- a/java/ql/lib/semmle/code/java/dataflow/internal/FlowSummaryImpl.qll
+++ b/java/ql/lib/semmle/code/java/dataflow/internal/FlowSummaryImpl.qll
@@ -262,7 +262,7 @@ module Public {
    /**
     * Holds if there exists a summary that applies to `this` that has provenance `provenance`.
     */
-    predicate hasProvenance(string provenance) { none() }
+    predicate hasProvenance(string provenance) { provenance = "manual" }
  }

  /** A callable where there is no flow via the callable. */