Skip to content

Commit 3ffb2a3

Browse files
committed
Swift: Fix.
1 parent 286fcb6 commit 3ffb2a3

File tree

4 files changed

+28
-5
lines changed

4 files changed

+28
-5
lines changed

swift/ql/test/library-tests/dataflow/taint/LocalTaint.expected

Lines changed: 14 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -123,3 +123,17 @@
123123
| string.swift:39:13:39:19 | ... .+(_:_:) ... | string.swift:39:13:39:29 | ... .+(_:_:) ... |
124124
| string.swift:39:19:39:19 | tainted | string.swift:39:13:39:19 | ... .+(_:_:) ... |
125125
| string.swift:39:29:39:29 | < | string.swift:39:13:39:29 | ... .+(_:_:) ... |
126+
| url.swift:14:29:14:29 | clean | url.swift:14:17:14:34 | call to init(string:) |
127+
| url.swift:15:31:15:31 | tainted | url.swift:15:19:15:38 | call to init(string:) |
128+
| url.swift:20:24:20:24 | clean | url.swift:20:12:20:46 | call to init(string:relativeTo:) |
129+
| url.swift:20:43:20:43 | nil | url.swift:20:12:20:46 | call to init(string:relativeTo:) |
130+
| url.swift:21:24:21:24 | tainted | url.swift:21:12:21:48 | call to init(string:relativeTo:) |
131+
| url.swift:21:45:21:45 | nil | url.swift:21:12:21:48 | call to init(string:relativeTo:) |
132+
| url.swift:22:24:22:24 | clean | url.swift:22:12:22:51 | call to init(string:relativeTo:) |
133+
| url.swift:22:43:22:43 | urlClean | url.swift:22:12:22:51 | call to init(string:relativeTo:) |
134+
| url.swift:23:24:23:24 | clean | url.swift:23:12:23:53 | call to init(string:relativeTo:) |
135+
| url.swift:23:43:23:43 | urlTainted | url.swift:23:12:23:53 | call to init(string:relativeTo:) |
136+
| url.swift:25:25:25:25 | clean | url.swift:25:13:25:30 | call to init(string:) |
137+
| url.swift:29:25:29:25 | tainted | url.swift:29:13:29:32 | call to init(string:) |
138+
| url.swift:34:26:34:26 | clean | url.swift:34:14:34:31 | call to init(string:) |
139+
| url.swift:38:28:38:28 | tainted | url.swift:38:16:38:35 | call to init(string:) |

swift/ql/test/library-tests/dataflow/taint/Taint.expected

Lines changed: 13 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -12,6 +12,10 @@ edges
1212
| try.swift:9:17:9:24 | call to source() : | try.swift:9:13:9:24 | try ... |
1313
| try.swift:15:17:15:24 | call to source() : | try.swift:15:12:15:24 | try! ... |
1414
| try.swift:18:18:18:25 | call to source() : | try.swift:18:12:18:27 | ...! |
15+
| url.swift:13:16:13:23 | call to source() : | url.swift:18:12:18:12 | urlTainted |
16+
| url.swift:13:16:13:23 | call to source() : | url.swift:21:12:21:49 | ...! |
17+
| url.swift:13:16:13:23 | call to source() : | url.swift:23:12:23:54 | ...! |
18+
| url.swift:13:16:13:23 | call to source() : | url.swift:39:12:39:12 | ...! |
1519
nodes
1620
| string.swift:5:11:5:18 | call to source() : | semmle.label | call to source() : |
1721
| string.swift:7:13:7:13 | "..." | semmle.label | "..." |
@@ -31,6 +35,11 @@ nodes
3135
| try.swift:15:17:15:24 | call to source() : | semmle.label | call to source() : |
3236
| try.swift:18:12:18:27 | ...! | semmle.label | ...! |
3337
| try.swift:18:18:18:25 | call to source() : | semmle.label | call to source() : |
38+
| url.swift:13:16:13:23 | call to source() : | semmle.label | call to source() : |
39+
| url.swift:18:12:18:12 | urlTainted | semmle.label | urlTainted |
40+
| url.swift:21:12:21:49 | ...! | semmle.label | ...! |
41+
| url.swift:23:12:23:54 | ...! | semmle.label | ...! |
42+
| url.swift:39:12:39:12 | ...! | semmle.label | ...! |
3443
subpaths
3544
#select
3645
| string.swift:7:13:7:13 | "..." | string.swift:5:11:5:18 | call to source() : | string.swift:7:13:7:13 | "..." | result |
@@ -46,3 +55,7 @@ subpaths
4655
| try.swift:9:13:9:24 | try ... | try.swift:9:17:9:24 | call to source() : | try.swift:9:13:9:24 | try ... | result |
4756
| try.swift:15:12:15:24 | try! ... | try.swift:15:17:15:24 | call to source() : | try.swift:15:12:15:24 | try! ... | result |
4857
| try.swift:18:12:18:27 | ...! | try.swift:18:18:18:25 | call to source() : | try.swift:18:12:18:27 | ...! | result |
58+
| url.swift:18:12:18:12 | urlTainted | url.swift:13:16:13:23 | call to source() : | url.swift:18:12:18:12 | urlTainted | result |
59+
| url.swift:21:12:21:49 | ...! | url.swift:13:16:13:23 | call to source() : | url.swift:21:12:21:49 | ...! | result |
60+
| url.swift:23:12:23:54 | ...! | url.swift:13:16:13:23 | call to source() : | url.swift:23:12:23:54 | ...! | result |
61+
| url.swift:39:12:39:12 | ...! | url.swift:13:16:13:23 | call to source() : | url.swift:39:12:39:12 | ...! | result |
Lines changed: 0 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -1,4 +0,0 @@
1-
| url.swift:18:24:19:1 | // $ tainted=13\n | Missing result:tainted=13 |
2-
| url.swift:21:52:22:1 | // $ tainted=13\n | Missing result:tainted=13 |
3-
| url.swift:23:57:24:1 | // $ tainted=13\n | Missing result:tainted=13 |
4-
| url.swift:39:25:40:1 | // $ tainted=13\n | Missing result:tainted=13 |

swift/ql/test/library-tests/dataflow/taint/url.swift

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,5 +1,5 @@
11

2-
class URL
2+
struct URL
33
{
44
init?(string: String) {}
55
init?(string: String, relativeTo: URL?) {}

0 commit comments

Comments
 (0)