Merge pull request #19758 from d10c/d10c/csharp/diff-informed-2

d10c · web-flow · commit 8e223263db43 · 2025-06-19T10:54:38.000+02:00
C#: mass-enable diff-informed queries phase 2 - `getASelected{Source,Sink}Location() { none() }`
diff --git a/csharp/ql/src/Security Features/CWE-327/DontInstallRootCert.ql b/csharp/ql/src/Security Features/CWE-327/DontInstallRootCert.ql
@@ -39,6 +39,8 @@ module AddCertToRootStoreConfig implements DataFlow::ConfigSig {
   }
 
   predicate observeDiffInformedIncrementalMode() { any() }
+
+  Location getASelectedSourceLocation(DataFlow::Node sink) { none() }
 }
 
 module AddCertToRootStore = DataFlow::Global<AddCertToRootStoreConfig>;

Original file line number	Diff line number	Diff line change
`@@ -39,6 +39,8 @@ module AddCertToRootStoreConfig implements DataFlow::ConfigSig {`
`39`	`39`	`}`
`40`	`40`
`41`	`41`	`predicate observeDiffInformedIncrementalMode() { any() }`
	`42`	`+`
	`43`	`+ Location getASelectedSourceLocation(DataFlow::Node sink) { none() }`
`42`	`44`	`}`
`43`	`45`
`44`	`46`	`module AddCertToRootStore = DataFlow::Global<AddCertToRootStoreConfig>;`