hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2026-04-20 06:24:03 +02:00
Code Issues Packages Projects Releases Wiki Activity

updated expected output for LocalTaint and Tain

Browse Source
This commit is contained in:
Karim Ali
2022-11-09 16:34:46 +02:00
parent 9b3c4e8db2
commit f0d9dabca2
2 changed files with 28 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

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

@@ -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 ... |

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

@@ -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 |