Skip to content

Commit 9048d5d

Browse files
fix expected output for LocalTaint
1 parent 9d17fae commit 9048d5d

File tree

1 file changed

+17
-9
lines changed

1 file changed

+17
-9
lines changed

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

Lines changed: 17 additions & 9 deletions
Original file line numberDiff line numberDiff line change
@@ -120,11 +120,13 @@
120120
| data.swift:80:6:80:6 | SSA def(dataClean) | data.swift:84:12:84:12 | dataClean |
121121
| data.swift:80:18:80:18 | Data.Type | data.swift:80:18:80:18 | call to init(_:) |
122122
| data.swift:80:18:80:36 | call to init(_:) | data.swift:80:6:80:6 | SSA def(dataClean) |
123+
| data.swift:80:23:80:23 | 123456 | data.swift:80:23:80:32 | .utf8 |
123124
| data.swift:80:23:80:32 | .utf8 | data.swift:80:18:80:36 | call to init(_:) |
124125
| data.swift:81:6:81:6 | SSA def(dataTainted) | data.swift:82:26:82:26 | dataTainted |
125126
| data.swift:81:20:81:20 | Data.Type | data.swift:81:20:81:20 | call to init(_:) |
126127
| data.swift:81:20:81:51 | call to init(_:) | data.swift:81:6:81:6 | SSA def(dataTainted) |
127128
| data.swift:81:25:81:47 | .utf8 | data.swift:81:20:81:51 | call to init(_:) |
129+
| data.swift:81:26:81:33 | call to source() | data.swift:81:25:81:47 | .utf8 |
128130
| data.swift:82:6:82:6 | SSA def(dataTainted2) | data.swift:86:12:86:12 | dataTainted2 |
129131
| data.swift:82:21:82:21 | Data.Type | data.swift:82:21:82:21 | call to init(_:) |
130132
| data.swift:82:21:82:37 | call to init(_:) | data.swift:82:6:82:6 | SSA def(dataTainted2) |
@@ -600,8 +602,6 @@
600602
| nsmutabledata.swift:49:15:49:15 | nsMutableDataTainted6 | nsmutabledata.swift:49:15:49:37 | .mutableBytes |
601603
| string.swift:5:7:5:7 | SSA def(x) | string.swift:7:16:7:16 | x |
602604
| string.swift:5:11:5:18 | call to source() | string.swift:5:7:5:7 | SSA def(x) |
603-
| data.swift:20:23:20:23 | 123456 | data.swift:20:23:20:32 | .utf8 |
604-
| data.swift:21:25:21:32 | call to source() | data.swift:21:25:21:34 | .utf8 |
605605
| string.swift:7:13:7:13 | | string.swift:7:13:7:13 | [post] |
606606
| string.swift:7:13:7:13 | | string.swift:7:14:7:14 | [post] &... |
607607
| string.swift:7:13:7:13 | SSA def($interpolation) | string.swift:7:14:7:14 | SSA phi($interpolation) |
@@ -900,9 +900,13 @@
900900
| string.swift:81:31:81:31 | clean | string.swift:84:13:84:13 | clean |
901901
| string.swift:82:31:82:31 | tainted | string.swift:85:13:85:13 | tainted |
902902
| string.swift:84:13:84:13 | [post] clean | string.swift:87:13:87:13 | clean |
903+
| string.swift:84:13:84:13 | clean | string.swift:84:13:84:19 | .description |
903904
| string.swift:84:13:84:13 | clean | string.swift:87:13:87:13 | clean |
904905
| string.swift:85:13:85:13 | [post] tainted | string.swift:88:13:88:13 | tainted |
906+
| string.swift:85:13:85:13 | tainted | string.swift:85:13:85:21 | .description |
905907
| string.swift:85:13:85:13 | tainted | string.swift:88:13:88:13 | tainted |
908+
| string.swift:87:13:87:13 | clean | string.swift:87:13:87:19 | .debugDescription |
909+
| string.swift:88:13:88:13 | tainted | string.swift:88:13:88:21 | .debugDescription |
906910
| string.swift:91:7:91:7 | SSA def(self) | string.swift:91:7:91:7 | self[return] |
907911
| string.swift:91:7:91:7 | self | string.swift:91:7:91:7 | SSA def(self) |
908912
| string.swift:93:5:93:5 | SSA def(self) | string.swift:93:5:93:29 | self[return] |
@@ -925,6 +929,17 @@
925929
| string.swift:109:23:109:77 | call to init(data:encoding:) | string.swift:109:7:109:7 | SSA def(stringTainted) |
926930
| string.swift:111:12:111:12 | stringClean | string.swift:111:12:111:23 | ...! |
927931
| string.swift:112:12:112:12 | stringTainted | string.swift:112:12:112:25 | ...! |
932+
| string.swift:120:7:120:7 | SSA def(clean) | string.swift:125:13:125:13 | clean |
933+
| string.swift:120:15:120:15 | | string.swift:120:7:120:7 | SSA def(clean) |
934+
| string.swift:121:7:121:7 | SSA def(tainted) | string.swift:126:13:126:13 | tainted |
935+
| string.swift:121:17:121:25 | call to source2() | string.swift:121:17:121:27 | .utf8 |
936+
| string.swift:121:17:121:27 | .utf8 | string.swift:121:7:121:7 | SSA def(tainted) |
937+
| string.swift:122:7:122:7 | SSA def(taintedCString) | string.swift:127:13:127:13 | taintedCString |
938+
| string.swift:122:24:122:32 | call to source2() | string.swift:122:24:122:34 | .utf8CString |
939+
| string.swift:122:24:122:34 | .utf8CString | string.swift:122:7:122:7 | SSA def(taintedCString) |
940+
| string.swift:123:7:123:7 | SSA def(taintedUnicodeScalars) | string.swift:128:13:128:13 | taintedUnicodeScalars |
941+
| string.swift:123:31:123:39 | call to source2() | string.swift:123:31:123:41 | .unicodeScalars |
942+
| string.swift:123:31:123:41 | .unicodeScalars | string.swift:123:7:123:7 | SSA def(taintedUnicodeScalars) |
928943
| subscript.swift:1:7:1:7 | SSA def(self) | subscript.swift:1:7:1:7 | self[return] |
929944
| subscript.swift:1:7:1:7 | SSA def(self) | subscript.swift:1:7:1:7 | self[return] |
930945
| subscript.swift:1:7:1:7 | self | subscript.swift:1:7:1:7 | SSA def(self) |
@@ -934,13 +949,6 @@
934949
| subscript.swift:3:9:3:9 | self | subscript.swift:3:9:3:9 | SSA def(self) |
935950
| subscript.swift:4:9:4:9 | SSA def(self) | subscript.swift:4:9:4:24 | self[return] |
936951
| subscript.swift:4:9:4:9 | self | subscript.swift:4:9:4:9 | SSA def(self) |
937-
| string.swift:84:13:84:13 | clean | string.swift:84:13:84:19 | .description |
938-
| string.swift:85:13:85:13 | tainted | string.swift:85:13:85:21 | .description |
939-
| string.swift:87:13:87:13 | clean | string.swift:87:13:87:19 | .debugDescription |
940-
| string.swift:88:13:88:13 | tainted | string.swift:88:13:88:21 | .debugDescription |
941-
| string.swift:97:17:97:25 | call to source2() | string.swift:97:17:97:27 | .utf8 |
942-
| string.swift:98:24:98:32 | call to source2() | string.swift:98:24:98:34 | .utf8CString |
943-
| string.swift:99:31:99:39 | call to source2() | string.swift:99:31:99:41 | .unicodeScalars |
944952
| subscript.swift:13:15:13:22 | call to source() | subscript.swift:13:15:13:25 | ...[...] |
945953
| subscript.swift:14:15:14:23 | call to source2() | subscript.swift:14:15:14:26 | ...[...] |
946954
| try.swift:8:17:8:23 | call to clean() | try.swift:8:13:8:23 | try ... |

0 commit comments

Comments
 (0)