File tree Expand file tree Collapse file tree 4 files changed +4
-12
lines changed
swift/ql/lib/codeql/swift/security Expand file tree Collapse file tree 4 files changed +4
-12
lines changed Original file line number Diff line number Diff line change @@ -37,9 +37,7 @@ module PathInjectionConfig implements DataFlow::ConfigSig {
37
37
38
38
predicate isSink ( DataFlow:: Node sink ) { sink instanceof PathInjectionSink }
39
39
40
- predicate isBarrier ( DataFlow:: Node sanitizer ) {
41
- sanitizer instanceof PathInjectionSanitizer
42
- }
40
+ predicate isBarrier ( DataFlow:: Node sanitizer ) { sanitizer instanceof PathInjectionSanitizer }
43
41
44
42
predicate isAdditionalFlowStep ( DataFlow:: Node node1 , DataFlow:: Node node2 ) {
45
43
any ( PathInjectionAdditionalTaintStep s ) .step ( node1 , node2 )
Original file line number Diff line number Diff line change @@ -36,9 +36,7 @@ module PredicateInjectionConfig implements DataFlow::ConfigSig {
36
36
37
37
predicate isSink ( DataFlow:: Node sink ) { sink instanceof PredicateInjectionSink }
38
38
39
- predicate isBarrier ( DataFlow:: Node sanitizer ) {
40
- sanitizer instanceof PredicateInjectionSanitizer
41
- }
39
+ predicate isBarrier ( DataFlow:: Node sanitizer ) { sanitizer instanceof PredicateInjectionSanitizer }
42
40
43
41
predicate isAdditionalFlowStep ( DataFlow:: Node n1 , DataFlow:: Node n2 ) {
44
42
any ( PredicateInjectionAdditionalTaintStep s ) .step ( n1 , n2 )
Original file line number Diff line number Diff line change @@ -37,9 +37,7 @@ module SqlInjectionConfig implements DataFlow::ConfigSig {
37
37
38
38
predicate isSink ( DataFlow:: Node node ) { node instanceof SqlInjectionSink }
39
39
40
- predicate isBarrier ( DataFlow:: Node sanitizer ) {
41
- sanitizer instanceof SqlInjectionSanitizer
42
- }
40
+ predicate isBarrier ( DataFlow:: Node sanitizer ) { sanitizer instanceof SqlInjectionSanitizer }
43
41
44
42
predicate isAdditionalFlowStep ( DataFlow:: Node nodeFrom , DataFlow:: Node nodeTo ) {
45
43
any ( SqlInjectionAdditionalTaintStep s ) .step ( nodeFrom , nodeTo )
Original file line number Diff line number Diff line change @@ -36,9 +36,7 @@ module UnsafeJsEvalConfig implements DataFlow::ConfigSig {
36
36
37
37
predicate isSink ( DataFlow:: Node node ) { node instanceof UnsafeJsEvalSink }
38
38
39
- predicate isBarrier ( DataFlow:: Node sanitizer ) {
40
- sanitizer instanceof UnsafeJsEvalSanitizer
41
- }
39
+ predicate isBarrier ( DataFlow:: Node sanitizer ) { sanitizer instanceof UnsafeJsEvalSanitizer }
42
40
43
41
predicate isAdditionalFlowStep ( DataFlow:: Node nodeFrom , DataFlow:: Node nodeTo ) {
44
42
any ( UnsafeJsEvalAdditionalTaintStep s ) .step ( nodeFrom , nodeTo )
You can’t perform that action at this time.
0 commit comments