Swift: Fix formatting

This commit is contained in:
Jeroen Ketema
2023-04-03 17:15:38 +02:00
parent cb8568f6fd
commit dd85d00579
4 changed files with 4 additions and 12 deletions

View File

@@ -37,9 +37,7 @@ module PathInjectionConfig implements DataFlow::ConfigSig {
predicate isSink(DataFlow::Node sink) { sink instanceof PathInjectionSink }
predicate isBarrier(DataFlow::Node sanitizer) {
sanitizer instanceof PathInjectionSanitizer
}
predicate isBarrier(DataFlow::Node sanitizer) { sanitizer instanceof PathInjectionSanitizer }
predicate isAdditionalFlowStep(DataFlow::Node node1, DataFlow::Node node2) {
any(PathInjectionAdditionalTaintStep s).step(node1, node2)

View File

@@ -36,9 +36,7 @@ module PredicateInjectionConfig implements DataFlow::ConfigSig {
predicate isSink(DataFlow::Node sink) { sink instanceof PredicateInjectionSink }
predicate isBarrier(DataFlow::Node sanitizer) {
sanitizer instanceof PredicateInjectionSanitizer
}
predicate isBarrier(DataFlow::Node sanitizer) { sanitizer instanceof PredicateInjectionSanitizer }
predicate isAdditionalFlowStep(DataFlow::Node n1, DataFlow::Node n2) {
any(PredicateInjectionAdditionalTaintStep s).step(n1, n2)

View File

@@ -37,9 +37,7 @@ module SqlInjectionConfig implements DataFlow::ConfigSig {
predicate isSink(DataFlow::Node node) { node instanceof SqlInjectionSink }
predicate isBarrier(DataFlow::Node sanitizer) {
sanitizer instanceof SqlInjectionSanitizer
}
predicate isBarrier(DataFlow::Node sanitizer) { sanitizer instanceof SqlInjectionSanitizer }
predicate isAdditionalFlowStep(DataFlow::Node nodeFrom, DataFlow::Node nodeTo) {
any(SqlInjectionAdditionalTaintStep s).step(nodeFrom, nodeTo)

View File

@@ -36,9 +36,7 @@ module UnsafeJsEvalConfig implements DataFlow::ConfigSig {
predicate isSink(DataFlow::Node node) { node instanceof UnsafeJsEvalSink }
predicate isBarrier(DataFlow::Node sanitizer) {
sanitizer instanceof UnsafeJsEvalSanitizer
}
predicate isBarrier(DataFlow::Node sanitizer) { sanitizer instanceof UnsafeJsEvalSanitizer }
predicate isAdditionalFlowStep(DataFlow::Node nodeFrom, DataFlow::Node nodeTo) {
any(UnsafeJsEvalAdditionalTaintStep s).step(nodeFrom, nodeTo)