C#: mass-add none() location overrides

d10c · d10c · commit 6d8f13c42bc7 · 2025-06-13T15:00:47.000+02:00
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() }
+
+  predicate getASelectedSourceLocation() { 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`	`+ predicate getASelectedSourceLocation() { none() }`
`42`	`44`	`}`
`43`	`45`
`44`	`46`	`module AddCertToRootStore = DataFlow::Global<AddCertToRootStoreConfig>;`