Go: Update provenance validation.

michaelnebel · michaelnebel · commit 917cf7bfee60 · 2023-04-13T09:21:05.000+02:00
diff --git a/go/ql/lib/semmle/go/dataflow/ExternalFlow.qll b/go/ql/lib/semmle/go/dataflow/ExternalFlow.qll
@@ -221,7 +221,7 @@ module ModelValidation {
       not ext.regexpMatch("|Annotated") and
       result = "Unrecognized extra API graph element \"" + ext + "\" in " + pred + " model."
       or
-      not provenance = ["manual", "generated"] and
+      invalidProvenance(provenance) and
       result = "Unrecognized provenance description \"" + provenance + "\" in " + pred + " model."
     )
   }

Original file line number	Diff line number	Diff line change
`@@ -221,7 +221,7 @@ module ModelValidation {`
`221`	`221`	`not ext.regexpMatch("\|Annotated") and`
`222`	`222`	`result = "Unrecognized extra API graph element \"" + ext + "\" in " + pred + " model."`
`223`	`223`	`or`
`224`		`- not provenance = ["manual", "generated"] and`
	`224`	`+ invalidProvenance(provenance) and`
`225`	`225`	`result = "Unrecognized provenance description \"" + provenance + "\" in " + pred + " model."`
`226`	`226`	`)`
`227`	`227`	`}`