Swift: mass-add none() location overrides

d10c · d10c · commit 67bccc3d05d0 · 2025-06-17T17:03:25.000+02:00
diff --git a/swift/ql/lib/codeql/swift/security/ConstantPasswordQuery.qll b/swift/ql/lib/codeql/swift/security/ConstantPasswordQuery.qll
@@ -40,6 +40,8 @@ module ConstantPasswordConfig implements DataFlow::ConfigSig {
   }
 
   predicate observeDiffInformedIncrementalMode() { any() }
+
+  Location getASelectedSourceLocation(DataFlow::Node sink) { none() }
 }
 
 module ConstantPasswordFlow = TaintTracking::Global<ConstantPasswordConfig>;
diff --git a/swift/ql/lib/codeql/swift/security/InsufficientHashIterationsQuery.qll b/swift/ql/lib/codeql/swift/security/InsufficientHashIterationsQuery.qll
@@ -36,6 +36,8 @@ module InsufficientHashIterationsConfig implements DataFlow::ConfigSig {
   }
 
   predicate observeDiffInformedIncrementalMode() { any() }
+
+  Location getASelectedSourceLocation(DataFlow::Node sink) { none() }
 }
 
 module InsufficientHashIterationsFlow = TaintTracking::Global<InsufficientHashIterationsConfig>;
diff --git a/swift/ql/lib/codeql/swift/security/StaticInitializationVectorQuery.qll b/swift/ql/lib/codeql/swift/security/StaticInitializationVectorQuery.qll
@@ -42,6 +42,8 @@ module StaticInitializationVectorConfig implements DataFlow::ConfigSig {
   }
 
   predicate observeDiffInformedIncrementalMode() { any() }
+
+  Location getASelectedSourceLocation(DataFlow::Node sink) { none() }
 }
 
 module StaticInitializationVectorFlow = TaintTracking::Global<StaticInitializationVectorConfig>;
diff --git a/swift/ql/lib/codeql/swift/security/StringLengthConflationQuery.qll b/swift/ql/lib/codeql/swift/security/StringLengthConflationQuery.qll
@@ -41,6 +41,8 @@ module StringLengthConflationConfig implements DataFlow::StateConfigSig {
   }
 
   predicate observeDiffInformedIncrementalMode() { any() }
+
+  Location getASelectedSourceLocation(DataFlow::Node sink) { none() }
 }
 
 /**
diff --git a/swift/ql/lib/codeql/swift/security/UnsafeJsEvalQuery.qll b/swift/ql/lib/codeql/swift/security/UnsafeJsEvalQuery.qll
@@ -24,6 +24,8 @@ module UnsafeJsEvalConfig implements DataFlow::ConfigSig {
   }
 
   predicate observeDiffInformedIncrementalMode() { any() }
+
+  Location getASelectedSourceLocation(DataFlow::Node sink) { none() }
 }
 
 /**
diff --git a/swift/ql/lib/codeql/swift/security/UnsafeUnpackQuery.qll b/swift/ql/lib/codeql/swift/security/UnsafeUnpackQuery.qll
@@ -26,6 +26,8 @@ module UnsafeUnpackConfig implements DataFlow::ConfigSig {
   }
 
   predicate observeDiffInformedIncrementalMode() { any() }
+
+  Location getASelectedSourceLocation(DataFlow::Node sink) { none() }
 }
 
 /**

Original file line number	Diff line number	Diff line change
`@@ -40,6 +40,8 @@ module ConstantPasswordConfig implements DataFlow::ConfigSig {`
`40`	`40`	`}`
`41`	`41`
`42`	`42`	`predicate observeDiffInformedIncrementalMode() { any() }`
	`43`	`+`
	`44`	`+ Location getASelectedSourceLocation(DataFlow::Node sink) { none() }`
`43`	`45`	`}`
`44`	`46`
`45`	`47`	`module ConstantPasswordFlow = TaintTracking::Global<ConstantPasswordConfig>;`
Original file line number	Diff line number	Diff line change
`@@ -36,6 +36,8 @@ module InsufficientHashIterationsConfig implements DataFlow::ConfigSig {`
`36`	`36`	`}`
`37`	`37`
`38`	`38`	`predicate observeDiffInformedIncrementalMode() { any() }`
	`39`	`+`
	`40`	`+ Location getASelectedSourceLocation(DataFlow::Node sink) { none() }`
`39`	`41`	`}`
`40`	`42`
`41`	`43`	`module InsufficientHashIterationsFlow = TaintTracking::Global<InsufficientHashIterationsConfig>;`
Original file line number	Diff line number	Diff line change
`@@ -42,6 +42,8 @@ module StaticInitializationVectorConfig implements DataFlow::ConfigSig {`
`42`	`42`	`}`
`43`	`43`
`44`	`44`	`predicate observeDiffInformedIncrementalMode() { any() }`
	`45`	`+`
	`46`	`+ Location getASelectedSourceLocation(DataFlow::Node sink) { none() }`
`45`	`47`	`}`
`46`	`48`
`47`	`49`	`module StaticInitializationVectorFlow = TaintTracking::Global<StaticInitializationVectorConfig>;`
Original file line number	Diff line number	Diff line change
`@@ -41,6 +41,8 @@ module StringLengthConflationConfig implements DataFlow::StateConfigSig {`
`41`	`41`	`}`
`42`	`42`
`43`	`43`	`predicate observeDiffInformedIncrementalMode() { any() }`
	`44`	`+`
	`45`	`+ Location getASelectedSourceLocation(DataFlow::Node sink) { none() }`
`44`	`46`	`}`
`45`	`47`
`46`	`48`	`/**`
Original file line number	Diff line number	Diff line change
`@@ -24,6 +24,8 @@ module UnsafeJsEvalConfig implements DataFlow::ConfigSig {`
`24`	`24`	`}`
`25`	`25`
`26`	`26`	`predicate observeDiffInformedIncrementalMode() { any() }`
	`27`	`+`
	`28`	`+ Location getASelectedSourceLocation(DataFlow::Node sink) { none() }`
`27`	`29`	`}`
`28`	`30`
`29`	`31`	`/**`
Original file line number	Diff line number	Diff line change
`@@ -26,6 +26,8 @@ module UnsafeUnpackConfig implements DataFlow::ConfigSig {`
`26`	`26`	`}`
`27`	`27`
`28`	`28`	`predicate observeDiffInformedIncrementalMode() { any() }`
	`29`	`+`
	`30`	`+ Location getASelectedSourceLocation(DataFlow::Node sink) { none() }`
`29`	`31`	`}`
`30`	`32`
`31`	`33`	`/**`