hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2025-12-16 16:53:25 +01:00
Code Issues Packages Projects Releases Wiki Activity

Merge pull request #19761 from d10c/d10c/swift/diff-informed-2

Browse Source 
Swift: mass-enable diff-informed queries phase 2 - `getASelected{Source,Sink}Location() { none() }`
This commit is contained in:
Nora Dimitrijević
2025-06-19 10:54:49 +02:00
committed by GitHub
parent 8e223263db 67bccc3d05
commit 687e8d21a1
6 changed files with 12 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
swift/ql/lib/codeql/swift/security/ConstantPasswordQuery.qll
View File

@@ -40,6 +40,8 @@ module ConstantPasswordConfig implements DataFlow::ConfigSig {
}
predicate observeDiffInformedIncrementalMode() { any() }
Location getASelectedSourceLocation(DataFlow::Node sink) { none() }
}
module ConstantPasswordFlow = TaintTracking::Global<ConstantPasswordConfig>;

2
swift/ql/lib/codeql/swift/security/InsufficientHashIterationsQuery.qll
View File

@@ -36,6 +36,8 @@ module InsufficientHashIterationsConfig implements DataFlow::ConfigSig {
}
predicate observeDiffInformedIncrementalMode() { any() }
Location getASelectedSourceLocation(DataFlow::Node sink) { none() }
}
module InsufficientHashIterationsFlow = TaintTracking::Global<InsufficientHashIterationsConfig>;

2
swift/ql/lib/codeql/swift/security/StaticInitializationVectorQuery.qll
View File

@@ -42,6 +42,8 @@ module StaticInitializationVectorConfig implements DataFlow::ConfigSig {
}
predicate observeDiffInformedIncrementalMode() { any() }
Location getASelectedSourceLocation(DataFlow::Node sink) { none() }
}
module StaticInitializationVectorFlow = TaintTracking::Global<StaticInitializationVectorConfig>;

2
swift/ql/lib/codeql/swift/security/StringLengthConflationQuery.qll
View File

@@ -41,6 +41,8 @@ module StringLengthConflationConfig implements DataFlow::StateConfigSig {
}
predicate observeDiffInformedIncrementalMode() { any() }
Location getASelectedSourceLocation(DataFlow::Node sink) { none() }
}
/**

2
swift/ql/lib/codeql/swift/security/UnsafeJsEvalQuery.qll
View File

@@ -24,6 +24,8 @@ module UnsafeJsEvalConfig implements DataFlow::ConfigSig {
}
predicate observeDiffInformedIncrementalMode() { any() }
Location getASelectedSourceLocation(DataFlow::Node sink) { none() }
}
/**

2
swift/ql/lib/codeql/swift/security/UnsafeUnpackQuery.qll
View File

@@ -26,6 +26,8 @@ module UnsafeUnpackConfig implements DataFlow::ConfigSig {
}
predicate observeDiffInformedIncrementalMode() { any() }
Location getASelectedSourceLocation(DataFlow::Node sink) { none() }
}
/**