Java: Set the provenance default to manual.

michaelnebel · michaelnebel · commit efc0650b8673 · 2023-04-13T09:21:04.000+02:00
diff --git 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. */

Original file line number	Diff line number	Diff line change
`@@ -262,7 +262,7 @@ module Public {`
`262`	`262`	`/**`
`263`	`263`	* Holds if there exists a summary that applies to `this` that has provenance `provenance`.
`264`	`264`	`*/`
`265`		`- predicate hasProvenance(string provenance) { none() }`
	`265`	`+ predicate hasProvenance(string provenance) { provenance = "manual" }`
`266`	`266`	`}`
`267`	`267`
`268`	`268`	`/** A callable where there is no flow via the callable. */`