unified: Also use exprStep for type casts · github/codeql@17e0a9a · GitHub
Skip to content

Commit 17e0a9a

Browse files
asgerfasgerf
committed
unified: Also use exprStep for type casts
1 parent e3a6dda commit 17e0a9a

3 files changed

Lines changed: 24 additions & 14 deletions

File tree

‎unified/ql/lib/codeql/unified/internal/dataflow/DataFlowPluginSwift.qll‎

Lines changed: 13 additions & 13 deletions

‎unified/ql/test/library-tests/dataflow/test.expected‎

Lines changed: 10 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -448,6 +448,10 @@ edges
448448
| test.swift:253:30:253:44 | source(...) | test.swift:253:16:253:45 | ... .some(...) | provenance | |
449449
| test.swift:255:10:255:22 | getOptional(...) | test.swift:255:10:255:35 | ... ?? ... | provenance | |
450450
| test.swift:256:20:256:32 | getOptional(...) | test.swift:256:10:256:32 | ... ?? ... | provenance | |
451+
| test.swift:264:5:264:23 | ... .field | test.swift:264:6:264:16 | [post] TypeCastExpr [field] | provenance | |
452+
| test.swift:264:6:264:16 | [post] TypeCastExpr [field] | test.swift:265:10:265:12 | box [field] | provenance | |
453+
| test.swift:264:27:264:41 | source(...) | test.swift:264:5:264:23 | ... .field | provenance | |
454+
| test.swift:265:10:265:12 | box [field] | test.swift:265:10:265:18 | ... .field | provenance | |
451455
nodes
452456
| calls.swift:7:19:7:19 | x | semmle.label | x |
453457
| calls.swift:8:14:8:14 | x | semmle.label | x |
@@ -991,6 +995,11 @@ nodes
991995
| test.swift:255:10:255:35 | ... ?? ... | semmle.label | ... ?? ... |
992996
| test.swift:256:10:256:32 | ... ?? ... | semmle.label | ... ?? ... |
993997
| test.swift:256:20:256:32 | getOptional(...) | semmle.label | getOptional(...) |
998+
| test.swift:264:5:264:23 | ... .field | semmle.label | ... .field |
999+
| test.swift:264:6:264:16 | [post] TypeCastExpr [field] | semmle.label | [post] TypeCastExpr [field] |
1000+
| test.swift:264:27:264:41 | source(...) | semmle.label | source(...) |
1001+
| test.swift:265:10:265:12 | box [field] | semmle.label | box [field] |
1002+
| test.swift:265:10:265:18 | ... .field | semmle.label | ... .field |
9941003
subpaths
9951004
| calls.swift:31:17:31:30 | source(...) | calls.swift:28:19:28:19 | x | calls.swift:29:16:29:24 | ... + ... | calls.swift:31:10:31:31 | target(...) |
9961005
| calls.swift:32:17:32:30 | source(...) | calls.swift:28:19:28:19 | x | calls.swift:29:16:29:24 | ... + ... | calls.swift:32:10:32:31 | target(...) |
@@ -1142,3 +1151,4 @@ testFailures
11421151
| test.swift:247:14:247:14 | x | test.swift:242:30:242:44 | source(...) | test.swift:247:14:247:14 | x | $@ | test.swift:242:30:242:44 | source(...) | source(...) |
11431152
| test.swift:255:10:255:35 | ... ?? ... | test.swift:253:30:253:44 | source(...) | test.swift:255:10:255:35 | ... ?? ... | $@ | test.swift:253:30:253:44 | source(...) | source(...) |
11441153
| test.swift:256:10:256:32 | ... ?? ... | test.swift:253:30:253:44 | source(...) | test.swift:256:10:256:32 | ... ?? ... | $@ | test.swift:253:30:253:44 | source(...) | source(...) |
1154+
| test.swift:265:10:265:18 | ... .field | test.swift:264:27:264:41 | source(...) | test.swift:265:10:265:18 | ... .field | $@ | test.swift:264:27:264:41 | source(...) | source(...) |

‎unified/ql/test/library-tests/dataflow/test.swift‎

Lines changed: 1 addition & 1 deletion

0 commit comments

Comments
 (0)