Skip to content

Commit f0d9dab

Browse files
updated expected output for LocalTaint and Tain
1 parent 9b3c4e8 commit f0d9dab

File tree

2 files changed

+28
-0
lines changed

2 files changed

+28
-0
lines changed

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

Lines changed: 9 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -600,6 +600,8 @@
600600
| nsmutabledata.swift:49:15:49:15 | nsMutableDataTainted6 | nsmutabledata.swift:49:15:49:37 | .mutableBytes |
601601
| string.swift:5:7:5:7 | SSA def(x) | string.swift:7:16:7:16 | x |
602602
| 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 |
603605
| string.swift:7:13:7:13 | | string.swift:7:13:7:13 | [post] |
604606
| string.swift:7:13:7:13 | | string.swift:7:14:7:14 | [post] &... |
605607
| string.swift:7:13:7:13 | SSA def($interpolation) | string.swift:7:14:7:14 | SSA phi($interpolation) |
@@ -932,6 +934,13 @@
932934
| subscript.swift:3:9:3:9 | self | subscript.swift:3:9:3:9 | SSA def(self) |
933935
| subscript.swift:4:9:4:9 | SSA def(self) | subscript.swift:4:9:4:24 | self[return] |
934936
| 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 |
935944
| subscript.swift:13:15:13:22 | call to source() | subscript.swift:13:15:13:25 | ...[...] |
936945
| subscript.swift:14:15:14:23 | call to source2() | subscript.swift:14:15:14:26 | ...[...] |
937946
| try.swift:8:17:8:23 | call to clean() | try.swift:8:13:8:23 | try ... |

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

Lines changed: 19 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -301,6 +301,11 @@ edges
301301
| string.swift:28:17:28:25 | call to source2() : | string.swift:35:13:35:23 | ... .+(_:_:) ... |
302302
| string.swift:28:17:28:25 | call to source2() : | string.swift:36:13:36:23 | ... .+(_:_:) ... |
303303
| string.swift:28:17:28:25 | call to source2() : | string.swift:39:13:39:29 | ... .+(_:_:) ... |
304+
| string.swift:74:17:74:25 | call to source2() : | string.swift:85:13:85:21 | .description |
305+
| string.swift:74:17:74:25 | call to source2() : | string.swift:88:13:88:21 | .debugDescription |
306+
| string.swift:97:17:97:25 | call to source2() : | string.swift:102:13:102:13 | tainted |
307+
| string.swift:98:24:98:32 | call to source2() : | string.swift:103:13:103:13 | taintedCString |
308+
| string.swift:99:31:99:39 | call to source2() : | string.swift:104:13:104:13 | taintedUnicodeScalars |
304309
| subscript.swift:13:15:13:22 | call to source() : | subscript.swift:13:15:13:25 | ...[...] |
305310
| subscript.swift:14:15:14:23 | call to source2() : | subscript.swift:14:15:14:26 | ...[...] |
306311
| try.swift:9:17:9:24 | call to source() : | try.swift:9:13:9:24 | try ... |
@@ -940,6 +945,15 @@ nodes
940945
| string.swift:35:13:35:23 | ... .+(_:_:) ... | semmle.label | ... .+(_:_:) ... |
941946
| string.swift:36:13:36:23 | ... .+(_:_:) ... | semmle.label | ... .+(_:_:) ... |
942947
| string.swift:39:13:39:29 | ... .+(_:_:) ... | semmle.label | ... .+(_:_:) ... |
948+
| string.swift:74:17:74:25 | call to source2() : | semmle.label | call to source2() : |
949+
| string.swift:85:13:85:21 | .description | semmle.label | .description |
950+
| string.swift:88:13:88:21 | .debugDescription | semmle.label | .debugDescription |
951+
| string.swift:97:17:97:25 | call to source2() : | semmle.label | call to source2() : |
952+
| string.swift:98:24:98:32 | call to source2() : | semmle.label | call to source2() : |
953+
| string.swift:99:31:99:39 | call to source2() : | semmle.label | call to source2() : |
954+
| string.swift:102:13:102:13 | tainted | semmle.label | tainted |
955+
| string.swift:103:13:103:13 | taintedCString | semmle.label | taintedCString |
956+
| string.swift:104:13:104:13 | taintedUnicodeScalars | semmle.label | taintedUnicodeScalars |
943957
| subscript.swift:13:15:13:22 | call to source() : | semmle.label | call to source() : |
944958
| subscript.swift:13:15:13:25 | ...[...] | semmle.label | ...[...] |
945959
| subscript.swift:14:15:14:23 | call to source2() : | semmle.label | call to source2() : |
@@ -1340,6 +1354,11 @@ subpaths
13401354
| string.swift:35:13:35:23 | ... .+(_:_:) ... | string.swift:28:17:28:25 | call to source2() : | string.swift:35:13:35:23 | ... .+(_:_:) ... | result |
13411355
| string.swift:36:13:36:23 | ... .+(_:_:) ... | string.swift:28:17:28:25 | call to source2() : | string.swift:36:13:36:23 | ... .+(_:_:) ... | result |
13421356
| string.swift:39:13:39:29 | ... .+(_:_:) ... | string.swift:28:17:28:25 | call to source2() : | string.swift:39:13:39:29 | ... .+(_:_:) ... | result |
1357+
| string.swift:85:13:85:21 | .description | string.swift:74:17:74:25 | call to source2() : | string.swift:85:13:85:21 | .description | result |
1358+
| string.swift:88:13:88:21 | .debugDescription | string.swift:74:17:74:25 | call to source2() : | string.swift:88:13:88:21 | .debugDescription | result |
1359+
| string.swift:102:13:102:13 | tainted | string.swift:97:17:97:25 | call to source2() : | string.swift:102:13:102:13 | tainted | result |
1360+
| string.swift:103:13:103:13 | taintedCString | string.swift:98:24:98:32 | call to source2() : | string.swift:103:13:103:13 | taintedCString | result |
1361+
| string.swift:104:13:104:13 | taintedUnicodeScalars | string.swift:99:31:99:39 | call to source2() : | string.swift:104:13:104:13 | taintedUnicodeScalars | result |
13431362
| subscript.swift:13:15:13:25 | ...[...] | subscript.swift:13:15:13:22 | call to source() : | subscript.swift:13:15:13:25 | ...[...] | result |
13441363
| subscript.swift:14:15:14:26 | ...[...] | subscript.swift:14:15:14:23 | call to source2() : | subscript.swift:14:15:14:26 | ...[...] | result |
13451364
| try.swift:9:13:9:24 | try ... | try.swift:9:17:9:24 | call to source() : | try.swift:9:13:9:24 | try ... | result |

0 commit comments

Comments
 (0)