Nora Dimitrijević
2025-07-16 16:47:04 +02:00
parent 6dea73b081
commit b1e723991e

View File

@@ -21,6 +21,10 @@ module InsecureTlsConfig implements DataFlow::ConfigSig {
predicate isAdditionalFlowStep(DataFlow::Node nodeFrom, DataFlow::Node nodeTo) {
any(InsecureTlsExtensionsAdditionalFlowStep s).step(nodeFrom, nodeTo)
}
predicate observeDiffInformedIncrementalMode() {
none() // query selects some Swift nodes (e.g. "[post] self") that have location file://:0:0:0:0, which always fall outside the diff range.
}
}
module InsecureTlsFlow = TaintTracking::Global<InsecureTlsConfig>;