C#: Add missing hasProvenance overrides.

michaelnebel · michaelnebel · commit cdda4005fd05 · 2023-02-20T13:19:56.000+01:00
diff --git a/csharp/ql/lib/semmle/code/csharp/dataflow/FlowSummary.qll b/csharp/ql/lib/semmle/code/csharp/dataflow/FlowSummary.qll
@@ -137,6 +137,8 @@ private class RecordConstructorFlow extends SummarizedCallable {
       preservesValue = true
     )
   }
+
+  override predicate hasProvenance(string provenance) { provenance = "manual" }
 }
 
 class RequiredSummaryComponentStack = Impl::Public::RequiredSummaryComponentStack;
diff --git a/csharp/ql/lib/semmle/code/csharp/frameworks/EntityFramework.qll b/csharp/ql/lib/semmle/code/csharp/frameworks/EntityFramework.qll
@@ -86,6 +86,8 @@ module EntityFramework {
   abstract class EFSummarizedCallable extends SummarizedCallable {
     bindingset[this]
     EFSummarizedCallable() { any() }
+
+    override predicate hasProvenance(string provenance) { provenance = "manual" }
   }
 
   private class DbSetAddOrUpdateRequiredSummaryComponentStack extends RequiredSummaryComponentStack {

Original file line number	Diff line number	Diff line change
`@@ -137,6 +137,8 @@ private class RecordConstructorFlow extends SummarizedCallable {`
`137`	`137`	`preservesValue = true`
`138`	`138`	`)`
`139`	`139`	`}`
	`140`	`+`
	`141`	`+ override predicate hasProvenance(string provenance) { provenance = "manual" }`
`140`	`142`	`}`
`141`	`143`
`142`	`144`	`class RequiredSummaryComponentStack = Impl::Public::RequiredSummaryComponentStack;`
Original file line number	Diff line number	Diff line change
`@@ -86,6 +86,8 @@ module EntityFramework {`
`86`	`86`	`abstract class EFSummarizedCallable extends SummarizedCallable {`
`87`	`87`	`bindingset[this]`
`88`	`88`	`EFSummarizedCallable() { any() }`
	`89`	`+`
	`90`	`+ override predicate hasProvenance(string provenance) { provenance = "manual" }`
`89`	`91`	`}`
`90`	`92`
`91`	`93`	`private class DbSetAddOrUpdateRequiredSummaryComponentStack extends RequiredSummaryComponentStack {`