From 5782bfdf0a23ddaf7e129bf006f320ee7b83ea27 Mon Sep 17 00:00:00 2001 From: Karim Ali Date: Wed, 9 Nov 2022 16:34:46 +0200 Subject: [PATCH] updated expected output for LocalTaint and Tain --- .../dataflow/taint/LocalTaint.expected | 9 +++++++++ .../dataflow/taint/Taint.expected | 19 +++++++++++++++++++ 2 files changed, 28 insertions(+) diff --git a/swift/ql/test/library-tests/dataflow/taint/LocalTaint.expected b/swift/ql/test/library-tests/dataflow/taint/LocalTaint.expected index 9a5f74be04b..60dde1510ef 100644 --- a/swift/ql/test/library-tests/dataflow/taint/LocalTaint.expected +++ b/swift/ql/test/library-tests/dataflow/taint/LocalTaint.expected @@ -600,6 +600,8 @@ | nsmutabledata.swift:49:15:49:15 | nsMutableDataTainted6 | nsmutabledata.swift:49:15:49:37 | .mutableBytes | | string.swift:5:7:5:7 | SSA def(x) | string.swift:7:16:7:16 | x | | string.swift:5:11:5:18 | call to source() | string.swift:5:7:5:7 | SSA def(x) | +| data.swift:20:23:20:23 | 123456 | data.swift:20:23:20:32 | .utf8 | +| data.swift:21:25:21:32 | call to source() | data.swift:21:25:21:34 | .utf8 | | string.swift:7:13:7:13 | | string.swift:7:13:7:13 | [post] | | string.swift:7:13:7:13 | | string.swift:7:14:7:14 | [post] &... | | string.swift:7:13:7:13 | SSA def($interpolation) | string.swift:7:14:7:14 | SSA phi($interpolation) | @@ -932,6 +934,13 @@ | subscript.swift:3:9:3:9 | self | subscript.swift:3:9:3:9 | SSA def(self) | | subscript.swift:4:9:4:9 | SSA def(self) | subscript.swift:4:9:4:24 | self[return] | | subscript.swift:4:9:4:9 | self | subscript.swift:4:9:4:9 | SSA def(self) | +| string.swift:84:13:84:13 | clean | string.swift:84:13:84:19 | .description | +| string.swift:85:13:85:13 | tainted | string.swift:85:13:85:21 | .description | +| string.swift:87:13:87:13 | clean | string.swift:87:13:87:19 | .debugDescription | +| string.swift:88:13:88:13 | tainted | string.swift:88:13:88:21 | .debugDescription | +| string.swift:97:17:97:25 | call to source2() | string.swift:97:17:97:27 | .utf8 | +| string.swift:98:24:98:32 | call to source2() | string.swift:98:24:98:34 | .utf8CString | +| string.swift:99:31:99:39 | call to source2() | string.swift:99:31:99:41 | .unicodeScalars | | subscript.swift:13:15:13:22 | call to source() | subscript.swift:13:15:13:25 | ...[...] | | subscript.swift:14:15:14:23 | call to source2() | subscript.swift:14:15:14:26 | ...[...] | | try.swift:8:17:8:23 | call to clean() | try.swift:8:13:8:23 | try ... | diff --git a/swift/ql/test/library-tests/dataflow/taint/Taint.expected b/swift/ql/test/library-tests/dataflow/taint/Taint.expected index b72d5905fd7..7404255629f 100644 --- a/swift/ql/test/library-tests/dataflow/taint/Taint.expected +++ b/swift/ql/test/library-tests/dataflow/taint/Taint.expected @@ -301,6 +301,11 @@ edges | string.swift:28:17:28:25 | call to source2() : | string.swift:35:13:35:23 | ... .+(_:_:) ... | | string.swift:28:17:28:25 | call to source2() : | string.swift:36:13:36:23 | ... .+(_:_:) ... | | string.swift:28:17:28:25 | call to source2() : | string.swift:39:13:39:29 | ... .+(_:_:) ... | +| string.swift:74:17:74:25 | call to source2() : | string.swift:85:13:85:21 | .description | +| string.swift:74:17:74:25 | call to source2() : | string.swift:88:13:88:21 | .debugDescription | +| string.swift:97:17:97:25 | call to source2() : | string.swift:102:13:102:13 | tainted | +| string.swift:98:24:98:32 | call to source2() : | string.swift:103:13:103:13 | taintedCString | +| string.swift:99:31:99:39 | call to source2() : | string.swift:104:13:104:13 | taintedUnicodeScalars | | subscript.swift:13:15:13:22 | call to source() : | subscript.swift:13:15:13:25 | ...[...] | | subscript.swift:14:15:14:23 | call to source2() : | subscript.swift:14:15:14:26 | ...[...] | | try.swift:9:17:9:24 | call to source() : | try.swift:9:13:9:24 | try ... | @@ -940,6 +945,15 @@ nodes | string.swift:35:13:35:23 | ... .+(_:_:) ... | semmle.label | ... .+(_:_:) ... | | string.swift:36:13:36:23 | ... .+(_:_:) ... | semmle.label | ... .+(_:_:) ... | | string.swift:39:13:39:29 | ... .+(_:_:) ... | semmle.label | ... .+(_:_:) ... | +| string.swift:74:17:74:25 | call to source2() : | semmle.label | call to source2() : | +| string.swift:85:13:85:21 | .description | semmle.label | .description | +| string.swift:88:13:88:21 | .debugDescription | semmle.label | .debugDescription | +| string.swift:97:17:97:25 | call to source2() : | semmle.label | call to source2() : | +| string.swift:98:24:98:32 | call to source2() : | semmle.label | call to source2() : | +| string.swift:99:31:99:39 | call to source2() : | semmle.label | call to source2() : | +| string.swift:102:13:102:13 | tainted | semmle.label | tainted | +| string.swift:103:13:103:13 | taintedCString | semmle.label | taintedCString | +| string.swift:104:13:104:13 | taintedUnicodeScalars | semmle.label | taintedUnicodeScalars | | subscript.swift:13:15:13:22 | call to source() : | semmle.label | call to source() : | | subscript.swift:13:15:13:25 | ...[...] | semmle.label | ...[...] | | subscript.swift:14:15:14:23 | call to source2() : | semmle.label | call to source2() : | @@ -1340,6 +1354,11 @@ subpaths | string.swift:35:13:35:23 | ... .+(_:_:) ... | string.swift:28:17:28:25 | call to source2() : | string.swift:35:13:35:23 | ... .+(_:_:) ... | result | | string.swift:36:13:36:23 | ... .+(_:_:) ... | string.swift:28:17:28:25 | call to source2() : | string.swift:36:13:36:23 | ... .+(_:_:) ... | result | | string.swift:39:13:39:29 | ... .+(_:_:) ... | string.swift:28:17:28:25 | call to source2() : | string.swift:39:13:39:29 | ... .+(_:_:) ... | result | +| string.swift:85:13:85:21 | .description | string.swift:74:17:74:25 | call to source2() : | string.swift:85:13:85:21 | .description | result | +| string.swift:88:13:88:21 | .debugDescription | string.swift:74:17:74:25 | call to source2() : | string.swift:88:13:88:21 | .debugDescription | result | +| string.swift:102:13:102:13 | tainted | string.swift:97:17:97:25 | call to source2() : | string.swift:102:13:102:13 | tainted | result | +| string.swift:103:13:103:13 | taintedCString | string.swift:98:24:98:32 | call to source2() : | string.swift:103:13:103:13 | taintedCString | result | +| string.swift:104:13:104:13 | taintedUnicodeScalars | string.swift:99:31:99:39 | call to source2() : | string.swift:104:13:104:13 | taintedUnicodeScalars | result | | subscript.swift:13:15:13:25 | ...[...] | subscript.swift:13:15:13:22 | call to source() : | subscript.swift:13:15:13:25 | ...[...] | result | | subscript.swift:14:15:14:26 | ...[...] | subscript.swift:14:15:14:23 | call to source2() : | subscript.swift:14:15:14:26 | ...[...] | result | | try.swift:9:13:9:24 | try ... | try.swift:9:17:9:24 | call to source() : | try.swift:9:13:9:24 | try ... | result |