hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2026-04-22 23:35:14 +02:00
Code Issues Packages Projects Releases Wiki Activity

Swift: Additional test cases.

Browse Source
This commit is contained in:
Geoffrey White
2024-11-14 16:21:14 +00:00
parent f0dc4f5ec3
commit 570393fe2b
4 changed files with 714 additions and 625 deletions
Download Patch File Download Diff File Expand all files Collapse all files

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

@@ -17,243 +17,263 @@
| conversions.swift:25:33:25:33 | self | conversions.swift:25:33:25:33 | SSA def(self) |
| conversions.swift:26:22:26:22 | SSA def(self) | conversions.swift:26:22:26:38 | self[return] |
| conversions.swift:26:22:26:22 | self | conversions.swift:26:22:26:22 | SSA def(self) |
| conversions.swift:35:18:35:37 | call to sourceInt(_:) | conversions.swift:35:12:35:38 | call to Float.init(_:) |
| conversions.swift:36:19:36:38 | call to sourceInt(_:) | conversions.swift:36:12:36:39 | call to String.init(_:) |
| conversions.swift:37:12:37:39 | call to String.init(_:) | conversions.swift:37:12:37:41 | .utf8 |
| conversions.swift:37:19:37:38 | call to sourceInt(_:) | conversions.swift:37:12:37:39 | call to String.init(_:) |
| conversions.swift:39:6:39:6 | SSA def(arr) | conversions.swift:40:12:40:12 | arr |
| conversions.swift:39:6:39:6 | arr | conversions.swift:39:6:39:6 | SSA def(arr) |
| conversions.swift:39:12:39:39 | [...] | conversions.swift:39:6:39:6 | arr |
| conversions.swift:40:12:40:12 | arr | conversions.swift:41:12:41:12 | arr |
| conversions.swift:41:12:41:12 | [post] arr | conversions.swift:42:20:42:20 | arr |
| conversions.swift:41:12:41:12 | arr | conversions.swift:41:12:41:17 | ...[...] |
| conversions.swift:41:12:41:12 | arr | conversions.swift:42:20:42:20 | arr |
| conversions.swift:42:20:42:20 | arr | conversions.swift:43:20:43:20 | arr |
| conversions.swift:43:12:43:23 | call to Array<Element>.init(_:) | conversions.swift:43:12:43:26 | ...[...] |
| conversions.swift:44:20:44:42 | call to sourceString(_:) | conversions.swift:44:20:44:44 | .utf8 |
| conversions.swift:45:12:45:48 | call to Array<Element>.init(_:) | conversions.swift:45:12:45:51 | ...[...] |
| conversions.swift:45:20:45:42 | call to sourceString(_:) | conversions.swift:45:20:45:44 | .utf8 |
| conversions.swift:47:5:47:9 | let ...? | conversions.swift:47:9:47:9 | v |
| conversions.swift:47:9:47:9 | SSA def(v) | conversions.swift:48:13:48:13 | v |
| conversions.swift:47:9:47:9 | v | conversions.swift:47:9:47:9 | SSA def(v) |
| conversions.swift:47:13:47:32 | call to sourceInt(_:) | conversions.swift:47:5:47:9 | let ...? |
| conversions.swift:51:6:51:6 | SSA def(v2) | conversions.swift:52:12:52:12 | v2 |
| conversions.swift:51:6:51:6 | v2 | conversions.swift:51:6:51:6 | SSA def(v2) |
| conversions.swift:51:6:51:10 | ... as ... | conversions.swift:51:6:51:6 | v2 |
| conversions.swift:51:18:51:50 | call to numericCast(_:) | conversions.swift:51:6:51:10 | ... as ... |
| conversions.swift:51:30:51:49 | call to sourceInt(_:) | conversions.swift:51:18:51:50 | call to numericCast(_:) |
| conversions.swift:54:6:54:6 | SSA def(v4) | conversions.swift:55:12:55:12 | v4 |
| conversions.swift:54:6:54:6 | v4 | conversions.swift:54:6:54:6 | SSA def(v4) |
| conversions.swift:54:6:54:10 | ... as ... | conversions.swift:54:6:54:6 | v4 |
| conversions.swift:54:17:54:66 | call to unsafeBitCast(_:to:) | conversions.swift:54:6:54:10 | ... as ... |
| conversions.swift:54:31:54:50 | call to sourceInt(_:) | conversions.swift:54:17:54:66 | call to unsafeBitCast(_:to:) |
| conversions.swift:57:6:57:6 | SSA def(v5) | conversions.swift:58:12:58:12 | v5 |
| conversions.swift:57:6:57:6 | v5 | conversions.swift:57:6:57:6 | SSA def(v5) |
| conversions.swift:57:11:57:56 | call to Self.init(truncatingIfNeeded:) | conversions.swift:57:6:57:6 | v5 |
| conversions.swift:60:6:60:6 | SSA def(v6) | conversions.swift:61:12:61:12 | v6 |
| conversions.swift:60:6:60:6 | v6 | conversions.swift:60:6:60:6 | SSA def(v6) |
| conversions.swift:60:11:60:48 | call to UInt.init(bitPattern:) | conversions.swift:60:6:60:6 | v6 |
| conversions.swift:63:6:63:6 | SSA def(v7) | conversions.swift:64:12:64:12 | v7 |
| conversions.swift:63:6:63:6 | v7 | conversions.swift:63:6:63:6 | SSA def(v7) |
| conversions.swift:63:11:63:35 | call to abs(_:) | conversions.swift:63:6:63:6 | v7 |
| conversions.swift:63:15:63:34 | call to sourceInt(_:) | conversions.swift:63:11:63:35 | call to abs(_:) |
| conversions.swift:66:6:66:6 | SSA def(v8) | conversions.swift:67:12:67:12 | v8 |
| conversions.swift:66:6:66:6 | v8 | conversions.swift:66:6:66:6 | SSA def(v8) |
| conversions.swift:66:18:66:18 | 0 | conversions.swift:66:6:66:6 | v8 |
| conversions.swift:67:12:67:12 | [post] v8 | conversions.swift:68:12:68:12 | v8 |
| conversions.swift:67:12:67:12 | v8 | conversions.swift:68:12:68:12 | v8 |
| conversions.swift:68:12:68:12 | [post] v8 | conversions.swift:69:12:69:12 | v8 |
| conversions.swift:68:12:68:12 | v8 | conversions.swift:69:12:69:12 | v8 |
| conversions.swift:71:12:71:45 | call to Self.init(exactly:) | conversions.swift:71:12:71:46 | ...! |
| conversions.swift:72:12:72:48 | call to Self.init(exactly:) | conversions.swift:72:12:72:49 | ...! |
| conversions.swift:75:12:75:50 | call to Self.init(_:radix:) | conversions.swift:75:12:75:51 | ...! |
| conversions.swift:77:30:77:49 | call to sourceInt(_:) | conversions.swift:77:12:77:50 | call to Self.init(littleEndian:) |
| conversions.swift:78:27:78:46 | call to sourceInt(_:) | conversions.swift:78:12:78:47 | call to Self.init(bigEndian:) |
| conversions.swift:79:12:79:31 | call to sourceInt(_:) | conversions.swift:79:12:79:33 | .littleEndian |
| conversions.swift:80:12:80:31 | call to sourceInt(_:) | conversions.swift:80:12:80:33 | .bigEndian |
| conversions.swift:82:7:82:7 | SSA def(q1) | conversions.swift:83:12:83:12 | q1 |
| conversions.swift:82:7:82:7 | q1 | conversions.swift:82:7:82:7 | SSA def(q1) |
| conversions.swift:82:11:82:11 | SSA def(r1) | conversions.swift:84:12:84:12 | r1 |
| conversions.swift:82:11:82:11 | r1 | conversions.swift:82:11:82:11 | SSA def(r1) |
| conversions.swift:82:17:82:56 | call to quotientAndRemainder(dividingBy:) | conversions.swift:82:6:82:13 | (...) |
| conversions.swift:86:7:86:7 | SSA def(q2) | conversions.swift:87:12:87:12 | q2 |
| conversions.swift:86:7:86:7 | q2 | conversions.swift:86:7:86:7 | SSA def(q2) |
| conversions.swift:86:11:86:11 | SSA def(r2) | conversions.swift:88:12:88:12 | r2 |
| conversions.swift:86:11:86:11 | r2 | conversions.swift:86:11:86:11 | SSA def(r2) |
| conversions.swift:86:17:86:72 | call to quotientAndRemainder(dividingBy:) | conversions.swift:86:6:86:13 | (...) |
| conversions.swift:90:7:90:7 | SSA def(q3) | conversions.swift:91:12:91:12 | q3 |
| conversions.swift:90:7:90:7 | q3 | conversions.swift:90:7:90:7 | SSA def(q3) |
| conversions.swift:90:11:90:11 | SSA def(r3) | conversions.swift:92:12:92:12 | r3 |
| conversions.swift:90:11:90:11 | r3 | conversions.swift:90:11:90:11 | SSA def(r3) |
| conversions.swift:90:17:90:75 | call to quotientAndRemainder(dividingBy:) | conversions.swift:90:6:90:13 | (...) |
| conversions.swift:94:6:94:6 | SSA def(pair1) | conversions.swift:95:12:95:12 | pair1 |
| conversions.swift:94:6:94:6 | pair1 | conversions.swift:94:6:94:6 | SSA def(pair1) |
| conversions.swift:94:14:94:44 | call to addingReportingOverflow(_:) | conversions.swift:94:6:94:6 | pair1 |
| conversions.swift:95:12:95:12 | [post] pair1 | conversions.swift:96:12:96:12 | pair1 |
| conversions.swift:95:12:95:12 | pair1 | conversions.swift:96:12:96:12 | pair1 |
| conversions.swift:98:6:98:6 | SSA def(pair2) | conversions.swift:99:12:99:12 | pair2 |
| conversions.swift:98:6:98:6 | pair2 | conversions.swift:98:6:98:6 | SSA def(pair2) |
| conversions.swift:98:14:98:60 | call to addingReportingOverflow(_:) | conversions.swift:98:6:98:6 | pair2 |
| conversions.swift:99:12:99:12 | [post] pair2 | conversions.swift:100:12:100:12 | pair2 |
| conversions.swift:99:12:99:12 | pair2 | conversions.swift:100:12:100:12 | pair2 |
| conversions.swift:102:6:102:6 | SSA def(pair3) | conversions.swift:103:12:103:12 | pair3 |
| conversions.swift:102:6:102:6 | pair3 | conversions.swift:102:6:102:6 | SSA def(pair3) |
| conversions.swift:102:14:102:63 | call to addingReportingOverflow(_:) | conversions.swift:102:6:102:6 | pair3 |
| conversions.swift:103:12:103:12 | [post] pair3 | conversions.swift:104:12:104:12 | pair3 |
| conversions.swift:103:12:103:12 | pair3 | conversions.swift:104:12:104:12 | pair3 |
| conversions.swift:109:18:109:39 | call to sourceFloat(_:) | conversions.swift:109:12:109:40 | call to Float.init(_:) |
| conversions.swift:111:19:111:40 | call to sourceFloat(_:) | conversions.swift:111:12:111:41 | call to String.init(_:) |
| conversions.swift:112:12:112:41 | call to String.init(_:) | conversions.swift:112:12:112:43 | .utf8 |
| conversions.swift:112:19:112:40 | call to sourceFloat(_:) | conversions.swift:112:12:112:41 | call to String.init(_:) |
| conversions.swift:113:19:113:42 | call to sourceFloat80(_:) | conversions.swift:113:12:113:43 | call to String.init(_:) |
| conversions.swift:114:12:114:43 | call to String.init(_:) | conversions.swift:114:12:114:45 | .utf8 |
| conversions.swift:114:19:114:42 | call to sourceFloat80(_:) | conversions.swift:114:12:114:43 | call to String.init(_:) |
| conversions.swift:115:19:115:41 | call to sourceDouble(_:) | conversions.swift:115:12:115:42 | call to String.init(_:) |
| conversions.swift:116:12:116:42 | call to String.init(_:) | conversions.swift:116:12:116:44 | .utf8 |
| conversions.swift:116:19:116:41 | call to sourceDouble(_:) | conversions.swift:116:12:116:42 | call to String.init(_:) |
| conversions.swift:118:18:118:39 | call to sourceFloat(_:) | conversions.swift:118:12:118:40 | call to Float.init(_:) |
| conversions.swift:119:41:119:60 | call to sourceInt(_:) | conversions.swift:119:12:119:79 | call to Float.init(sign:exponent:significand:) |
| conversions.swift:119:76:119:76 | 0.0 | conversions.swift:119:12:119:79 | call to Float.init(sign:exponent:significand:) |
| conversions.swift:120:41:120:41 | 0 | conversions.swift:120:12:120:79 | call to Float.init(sign:exponent:significand:) |
| conversions.swift:120:57:120:78 | call to sourceFloat(_:) | conversions.swift:120:12:120:79 | call to Float.init(sign:exponent:significand:) |
| conversions.swift:121:63:121:63 | 0.0 | conversions.swift:121:12:121:66 | call to Float.init(signOf:magnitudeOf:) |
| conversions.swift:122:44:122:65 | call to sourceFloat(_:) | conversions.swift:122:12:122:66 | call to Float.init(signOf:magnitudeOf:) |
| conversions.swift:124:12:124:33 | call to sourceFloat(_:) | conversions.swift:124:12:124:35 | .exponent |
| conversions.swift:125:12:125:33 | call to sourceFloat(_:) | conversions.swift:125:12:125:35 | .significand |
| conversions.swift:126:12:126:35 | call to sourceFloat80(_:) | conversions.swift:126:12:126:37 | .exponent |
| conversions.swift:127:12:127:35 | call to sourceFloat80(_:) | conversions.swift:127:12:127:37 | .significand |
| conversions.swift:128:12:128:34 | call to sourceDouble(_:) | conversions.swift:128:12:128:36 | .exponent |
| conversions.swift:129:12:129:34 | call to sourceDouble(_:) | conversions.swift:129:12:129:36 | .significand |
| conversions.swift:136:19:136:42 | call to sourceString(_:) | conversions.swift:136:12:136:43 | call to String.init(_:) |
| conversions.swift:138:6:138:6 | SSA def(ms1) | conversions.swift:139:12:139:12 | ms1 |
| conversions.swift:138:6:138:6 | ms1 | conversions.swift:138:6:138:6 | SSA def(ms1) |
| conversions.swift:138:12:138:26 | call to MyString.init(_:) | conversions.swift:138:12:138:27 | ...! |
| conversions.swift:138:12:138:27 | ...! | conversions.swift:138:6:138:6 | ms1 |
| conversions.swift:138:21:138:21 | abc | conversions.swift:138:12:138:26 | call to MyString.init(_:) |
| conversions.swift:139:12:139:12 | [post] ms1 | conversions.swift:140:12:140:12 | ms1 |
| conversions.swift:139:12:139:12 | ms1 | conversions.swift:140:12:140:12 | ms1 |
| conversions.swift:140:12:140:12 | [post] ms1 | conversions.swift:141:12:141:12 | ms1 |
| conversions.swift:140:12:140:12 | ms1 | conversions.swift:140:12:140:16 | .description |
| conversions.swift:140:12:140:12 | ms1 | conversions.swift:141:12:141:12 | ms1 |
| conversions.swift:141:12:141:12 | [post] ms1 | conversions.swift:142:12:142:12 | ms1 |
| conversions.swift:141:12:141:12 | ms1 | conversions.swift:141:12:141:16 | .debugDescription |
| conversions.swift:141:12:141:12 | ms1 | conversions.swift:142:12:142:12 | ms1 |
| conversions.swift:144:6:144:6 | SSA def(ms2) | conversions.swift:145:12:145:12 | ms2 |
| conversions.swift:144:6:144:6 | ms2 | conversions.swift:144:6:144:6 | SSA def(ms2) |
| conversions.swift:144:12:144:45 | call to MyString.init(_:) | conversions.swift:144:12:144:46 | ...! |
| conversions.swift:144:12:144:46 | ...! | conversions.swift:144:6:144:6 | ms2 |
| conversions.swift:144:21:144:44 | call to sourceString(_:) | conversions.swift:144:12:144:45 | call to MyString.init(_:) |
| conversions.swift:145:12:145:12 | [post] ms2 | conversions.swift:146:12:146:12 | ms2 |
| conversions.swift:145:12:145:12 | ms2 | conversions.swift:146:12:146:12 | ms2 |
| conversions.swift:146:12:146:12 | [post] ms2 | conversions.swift:147:12:147:12 | ms2 |
| conversions.swift:146:12:146:12 | ms2 | conversions.swift:146:12:146:16 | .description |
| conversions.swift:146:12:146:12 | ms2 | conversions.swift:147:12:147:12 | ms2 |
| conversions.swift:147:12:147:12 | [post] ms2 | conversions.swift:148:12:148:12 | ms2 |
| conversions.swift:147:12:147:12 | ms2 | conversions.swift:147:12:147:16 | .debugDescription |
| conversions.swift:147:12:147:12 | ms2 | conversions.swift:148:12:148:12 | ms2 |
| conversions.swift:152:6:152:6 | SSA def(parent) | conversions.swift:153:12:153:12 | parent |
| conversions.swift:152:6:152:6 | parent | conversions.swift:152:6:152:6 | SSA def(parent) |
| conversions.swift:152:6:152:15 | ... as ... | conversions.swift:152:6:152:6 | parent |
| conversions.swift:152:31:152:54 | call to sourceString(_:) | conversions.swift:152:6:152:15 | ... as ... |
| conversions.swift:153:12:153:12 | [post] parent | conversions.swift:154:12:154:12 | parent |
| conversions.swift:153:12:153:12 | parent | conversions.swift:154:12:154:12 | parent |
| conversions.swift:154:12:154:12 | [post] parent | conversions.swift:156:40:156:40 | parent |
| conversions.swift:154:12:154:12 | parent | conversions.swift:156:40:156:40 | parent |
| conversions.swift:156:6:156:6 | SSA def(v3) | conversions.swift:157:12:157:12 | v3 |
| conversions.swift:156:6:156:6 | v3 | conversions.swift:156:6:156:6 | SSA def(v3) |
| conversions.swift:156:6:156:10 | ... as ... | conversions.swift:156:6:156:6 | v3 |
| conversions.swift:156:25:156:69 | call to unsafeDowncast(_:to:) | conversions.swift:156:6:156:10 | ... as ... |
| conversions.swift:156:40:156:40 | parent | conversions.swift:156:25:156:69 | call to unsafeDowncast(_:to:) |
| conversions.swift:157:12:157:12 | [post] v3 | conversions.swift:158:12:158:12 | v3 |
| conversions.swift:157:12:157:12 | v3 | conversions.swift:158:12:158:12 | v3 |
| conversions.swift:169:7:169:7 | SSA def(self) | conversions.swift:169:7:169:7 | self[return] |
| conversions.swift:169:7:169:7 | self | conversions.swift:169:7:169:7 | SSA def(self) |
| conversions.swift:170:2:170:2 | SSA def(self) | conversions.swift:170:2:191:2 | self[return] |
| conversions.swift:170:2:170:2 | self | conversions.swift:170:2:170:2 | SSA def(self) |
| conversions.swift:171:7:171:7 | SSA def(arr1) | conversions.swift:173:13:173:13 | arr1 |
| conversions.swift:171:7:171:7 | arr1 | conversions.swift:171:7:171:7 | SSA def(arr1) |
| conversions.swift:171:14:171:33 | call to sourceArray(_:) | conversions.swift:171:7:171:7 | arr1 |
| conversions.swift:172:7:172:7 | SSA def(arr2) | conversions.swift:174:13:174:13 | arr2 |
| conversions.swift:172:7:172:7 | arr2 | conversions.swift:172:7:172:7 | SSA def(arr2) |
| conversions.swift:172:14:172:33 | [...] | conversions.swift:172:7:172:7 | arr2 |
| conversions.swift:173:13:173:13 | arr1 | conversions.swift:175:13:175:13 | arr1 |
| conversions.swift:174:13:174:13 | arr2 | conversions.swift:176:13:176:13 | arr2 |
| conversions.swift:175:13:175:13 | [post] arr1 | conversions.swift:178:25:178:25 | arr1 |
| conversions.swift:175:13:175:13 | arr1 | conversions.swift:175:13:175:19 | ...[...] |
| conversions.swift:175:13:175:13 | arr1 | conversions.swift:178:25:178:25 | arr1 |
| conversions.swift:176:13:176:13 | [post] arr2 | conversions.swift:179:25:179:25 | arr2 |
| conversions.swift:176:13:176:13 | arr2 | conversions.swift:176:13:176:19 | ...[...] |
| conversions.swift:176:13:176:13 | arr2 | conversions.swift:179:25:179:25 | arr2 |
| conversions.swift:178:7:178:7 | SSA def(arr1b) | conversions.swift:180:13:180:13 | arr1b |
| conversions.swift:178:7:178:7 | arr1b | conversions.swift:178:7:178:7 | SSA def(arr1b) |
| conversions.swift:178:15:178:29 | try ... | conversions.swift:178:7:178:7 | arr1b |
| conversions.swift:178:19:178:29 | call to Array<Element>.init(_:) | conversions.swift:178:15:178:29 | try ... |
| conversions.swift:178:25:178:25 | arr1 | conversions.swift:185:31:185:31 | arr1 |
| conversions.swift:179:7:179:7 | SSA def(arr2b) | conversions.swift:181:13:181:13 | arr2b |
| conversions.swift:179:7:179:7 | arr2b | conversions.swift:179:7:179:7 | SSA def(arr2b) |
| conversions.swift:179:15:179:29 | try ... | conversions.swift:179:7:179:7 | arr2b |
| conversions.swift:179:19:179:29 | call to Array<Element>.init(_:) | conversions.swift:179:15:179:29 | try ... |
| conversions.swift:179:25:179:25 | arr2 | conversions.swift:186:31:186:31 | arr2 |
| conversions.swift:180:13:180:13 | arr1b | conversions.swift:182:13:182:13 | arr1b |
| conversions.swift:181:13:181:13 | arr2b | conversions.swift:183:13:183:13 | arr2b |
| conversions.swift:182:13:182:13 | arr1b | conversions.swift:182:13:182:20 | ...[...] |
| conversions.swift:183:13:183:13 | arr2b | conversions.swift:183:13:183:20 | ...[...] |
| conversions.swift:185:7:185:7 | SSA def(arr1c) | conversions.swift:187:13:187:13 | arr1c |
| conversions.swift:185:7:185:7 | arr1c | conversions.swift:185:7:185:7 | SSA def(arr1c) |
| conversions.swift:185:15:185:35 | call to ContiguousArray<Element>.init(_:) | conversions.swift:185:7:185:7 | arr1c |
| conversions.swift:186:7:186:7 | SSA def(arr2c) | conversions.swift:188:13:188:13 | arr2c |
| conversions.swift:186:7:186:7 | arr2c | conversions.swift:186:7:186:7 | SSA def(arr2c) |
| conversions.swift:186:15:186:35 | call to ContiguousArray<Element>.init(_:) | conversions.swift:186:7:186:7 | arr2c |
| conversions.swift:187:13:187:13 | [post] arr1c | conversions.swift:189:13:189:13 | arr1c |
| conversions.swift:187:13:187:13 | arr1c | conversions.swift:189:13:189:13 | arr1c |
| conversions.swift:188:13:188:13 | [post] arr2c | conversions.swift:190:13:190:13 | arr2c |
| conversions.swift:188:13:188:13 | arr2c | conversions.swift:190:13:190:13 | arr2c |
| conversions.swift:189:13:189:13 | arr1c | conversions.swift:189:13:189:20 | ...[...] |
| conversions.swift:190:13:190:13 | arr2c | conversions.swift:190:13:190:20 | ...[...] |
| conversions.swift:196:7:196:7 | SSA def(self) | conversions.swift:196:7:196:7 | self[return] |
| conversions.swift:196:7:196:7 | self | conversions.swift:196:7:196:7 | SSA def(self) |
| conversions.swift:197:6:197:6 | self | conversions.swift:197:6:197:6 | SSA def(self) |
| conversions.swift:197:6:197:6 | self | conversions.swift:197:6:197:6 | SSA def(self) |
| conversions.swift:197:6:197:6 | self | conversions.swift:197:6:197:6 | SSA def(self) |
| conversions.swift:197:6:197:6 | value | conversions.swift:197:6:197:6 | SSA def(value) |
| conversions.swift:199:2:199:2 | SSA def(self) | conversions.swift:200:3:200:3 | self |
| conversions.swift:199:2:199:2 | self | conversions.swift:199:2:199:2 | SSA def(self) |
| conversions.swift:199:7:199:12 | SSA def(v) | conversions.swift:200:12:200:12 | v |
| conversions.swift:199:7:199:12 | v | conversions.swift:199:7:199:12 | SSA def(v) |
| conversions.swift:200:3:200:3 | [post] self | conversions.swift:199:2:201:2 | self[return] |
| conversions.swift:200:3:200:3 | self | conversions.swift:199:2:201:2 | self[return] |
| conversions.swift:205:7:205:17 | SSA def(withUInt) | conversions.swift:206:13:206:13 | withUInt |
| conversions.swift:205:7:205:17 | withUInt | conversions.swift:205:7:205:17 | SSA def(withUInt) |
| conversions.swift:206:13:206:13 | [post] withUInt | conversions.swift:207:14:207:14 | withUInt |
| conversions.swift:206:13:206:13 | withUInt | conversions.swift:207:14:207:14 | withUInt |
| conversions.swift:207:3:207:22 | SSA def(self) | conversions.swift:208:12:208:12 | self |
| conversions.swift:207:10:207:22 | call to Self.init(_:) | conversions.swift:207:3:207:22 | SSA def(self) |
| conversions.swift:208:12:208:12 | [post] self | conversions.swift:205:2:209:2 | self[return] |
| conversions.swift:208:12:208:12 | self | conversions.swift:205:2:209:2 | self[return] |
| conversions.swift:211:7:211:20 | SSA def(withMyValue) | conversions.swift:212:13:212:13 | withMyValue |
| conversions.swift:211:7:211:20 | withMyValue | conversions.swift:211:7:211:20 | SSA def(withMyValue) |
| conversions.swift:212:13:212:13 | [post] withMyValue | conversions.swift:213:10:213:10 | withMyValue |
| conversions.swift:212:13:212:13 | withMyValue | conversions.swift:213:10:213:10 | withMyValue |
| conversions.swift:213:3:213:22 | SSA def(self) | conversions.swift:214:12:214:12 | self |
| conversions.swift:214:12:214:12 | [post] self | conversions.swift:211:2:215:2 | self[return] |
| conversions.swift:214:12:214:12 | self | conversions.swift:211:2:215:2 | self[return] |
| conversions.swift:217:7:217:21 | SSA def(withMyValue2) | conversions.swift:218:13:218:13 | withMyValue2 |
| conversions.swift:217:7:217:21 | withMyValue2 | conversions.swift:217:7:217:21 | SSA def(withMyValue2) |
| conversions.swift:218:13:218:13 | [post] withMyValue2 | conversions.swift:219:11:219:11 | withMyValue2 |
| conversions.swift:218:13:218:13 | withMyValue2 | conversions.swift:219:11:219:11 | withMyValue2 |
| conversions.swift:219:7:219:7 | SSA def(x) | conversions.swift:220:10:220:10 | x |
| conversions.swift:219:7:219:7 | x | conversions.swift:219:7:219:7 | SSA def(x) |
| conversions.swift:219:11:219:24 | .v | conversions.swift:219:7:219:7 | x |
| conversions.swift:220:3:220:10 | SSA def(self) | conversions.swift:221:12:221:12 | self |
| conversions.swift:220:10:220:10 | x | conversions.swift:220:3:220:10 | SSA def(self) |
| conversions.swift:221:12:221:12 | [post] self | conversions.swift:217:2:222:2 | self[return] |
| conversions.swift:221:12:221:12 | self | conversions.swift:217:2:222:2 | self[return] |
| conversions.swift:224:14:224:14 | SSA def(self) | conversions.swift:224:2:227:2 | self[return] |
| conversions.swift:224:14:224:14 | self | conversions.swift:224:14:224:14 | SSA def(self) |
| conversions.swift:224:20:224:33 | SSA def(withMyValue) | conversions.swift:225:13:225:13 | withMyValue |
| conversions.swift:224:20:224:33 | withMyValue | conversions.swift:224:20:224:33 | SSA def(withMyValue) |
| conversions.swift:225:13:225:13 | [post] withMyValue | conversions.swift:226:10:226:10 | withMyValue |
| conversions.swift:225:13:225:13 | withMyValue | conversions.swift:226:10:226:10 | withMyValue |
| conversions.swift:45:18:45:38 | call to sourceInt(_:) | conversions.swift:45:12:45:39 | call to Float.init(_:) |
| conversions.swift:46:19:46:39 | call to sourceInt(_:) | conversions.swift:46:12:46:40 | call to Double.init(_:) |
| conversions.swift:47:19:47:39 | call to sourceInt(_:) | conversions.swift:47:12:47:40 | call to String.init(_:) |
| conversions.swift:48:12:48:40 | call to String.init(_:) | conversions.swift:48:12:48:42 | .utf8 |
| conversions.swift:48:19:48:39 | call to sourceInt(_:) | conversions.swift:48:12:48:40 | call to String.init(_:) |
| conversions.swift:50:6:50:6 | SSA def(arr) | conversions.swift:51:12:51:12 | arr |
| conversions.swift:50:6:50:6 | arr | conversions.swift:50:6:50:6 | SSA def(arr) |
| conversions.swift:50:12:50:39 | [...] | conversions.swift:50:6:50:6 | arr |
| conversions.swift:51:12:51:12 | arr | conversions.swift:52:12:52:12 | arr |
| conversions.swift:52:12:52:12 | [post] arr | conversions.swift:53:20:53:20 | arr |
| conversions.swift:52:12:52:12 | arr | conversions.swift:52:12:52:17 | ...[...] |
| conversions.swift:52:12:52:12 | arr | conversions.swift:53:20:53:20 | arr |
| conversions.swift:53:20:53:20 | arr | conversions.swift:54:20:54:20 | arr |
| conversions.swift:54:12:54:23 | call to Array<Element>.init(_:) | conversions.swift:54:12:54:26 | ...[...] |
| conversions.swift:55:20:55:42 | call to sourceString(_:) | conversions.swift:55:20:55:44 | .utf8 |
| conversions.swift:56:12:56:48 | call to Array<Element>.init(_:) | conversions.swift:56:12:56:51 | ...[...] |
| conversions.swift:56:20:56:42 | call to sourceString(_:) | conversions.swift:56:20:56:44 | .utf8 |
| conversions.swift:58:5:58:9 | let ...? | conversions.swift:58:9:58:9 | v |
| conversions.swift:58:9:58:9 | SSA def(v) | conversions.swift:59:13:59:13 | v |
| conversions.swift:58:9:58:9 | v | conversions.swift:58:9:58:9 | SSA def(v) |
| conversions.swift:58:13:58:32 | call to sourceInt(_:) | conversions.swift:58:5:58:9 | let ...? |
| conversions.swift:62:6:62:6 | SSA def(v2) | conversions.swift:63:12:63:12 | v2 |
| conversions.swift:62:6:62:6 | v2 | conversions.swift:62:6:62:6 | SSA def(v2) |
| conversions.swift:62:6:62:10 | ... as ... | conversions.swift:62:6:62:6 | v2 |
| conversions.swift:62:18:62:50 | call to numericCast(_:) | conversions.swift:62:6:62:10 | ... as ... |
| conversions.swift:62:30:62:49 | call to sourceInt(_:) | conversions.swift:62:18:62:50 | call to numericCast(_:) |
| conversions.swift:65:6:65:6 | SSA def(v4) | conversions.swift:66:12:66:12 | v4 |
| conversions.swift:65:6:65:6 | v4 | conversions.swift:65:6:65:6 | SSA def(v4) |
| conversions.swift:65:6:65:10 | ... as ... | conversions.swift:65:6:65:6 | v4 |
| conversions.swift:65:17:65:66 | call to unsafeBitCast(_:to:) | conversions.swift:65:6:65:10 | ... as ... |
| conversions.swift:65:31:65:50 | call to sourceInt(_:) | conversions.swift:65:17:65:66 | call to unsafeBitCast(_:to:) |
| conversions.swift:68:6:68:6 | SSA def(v5) | conversions.swift:69:12:69:12 | v5 |
| conversions.swift:68:6:68:6 | v5 | conversions.swift:68:6:68:6 | SSA def(v5) |
| conversions.swift:68:11:68:56 | call to Self.init(truncatingIfNeeded:) | conversions.swift:68:6:68:6 | v5 |
| conversions.swift:71:6:71:6 | SSA def(v6) | conversions.swift:72:12:72:12 | v6 |
| conversions.swift:71:6:71:6 | v6 | conversions.swift:71:6:71:6 | SSA def(v6) |
| conversions.swift:71:11:71:48 | call to UInt.init(bitPattern:) | conversions.swift:71:6:71:6 | v6 |
| conversions.swift:74:6:74:6 | SSA def(v7) | conversions.swift:75:12:75:12 | v7 |
| conversions.swift:74:6:74:6 | v7 | conversions.swift:74:6:74:6 | SSA def(v7) |
| conversions.swift:74:11:74:35 | call to abs(_:) | conversions.swift:74:6:74:6 | v7 |
| conversions.swift:74:15:74:34 | call to sourceInt(_:) | conversions.swift:74:11:74:35 | call to abs(_:) |
| conversions.swift:77:6:77:6 | SSA def(v8) | conversions.swift:78:12:78:12 | v8 |
| conversions.swift:77:6:77:6 | v8 | conversions.swift:77:6:77:6 | SSA def(v8) |
| conversions.swift:77:18:77:18 | 0 | conversions.swift:77:6:77:6 | v8 |
| conversions.swift:78:12:78:12 | [post] v8 | conversions.swift:79:12:79:12 | v8 |
| conversions.swift:78:12:78:12 | v8 | conversions.swift:79:12:79:12 | v8 |
| conversions.swift:79:12:79:12 | [post] v8 | conversions.swift:80:12:80:12 | v8 |
| conversions.swift:79:12:79:12 | v8 | conversions.swift:80:12:80:12 | v8 |
| conversions.swift:80:12:80:12 | [post] v8 | conversions.swift:81:12:81:12 | v8 |
| conversions.swift:80:12:80:12 | v8 | conversions.swift:81:12:81:12 | v8 |
| conversions.swift:81:12:81:12 | [post] v8 | conversions.swift:82:12:82:12 | v8 |
| conversions.swift:81:12:81:12 | v8 | conversions.swift:82:12:82:12 | v8 |
| conversions.swift:84:12:84:45 | call to Self.init(exactly:) | conversions.swift:84:12:84:46 | ...! |
| conversions.swift:85:12:85:48 | call to Self.init(exactly:) | conversions.swift:85:12:85:49 | ...! |
| conversions.swift:90:12:90:50 | call to Self.init(_:radix:) | conversions.swift:90:12:90:51 | ...! |
| conversions.swift:91:12:91:53 | call to Self.init(_:radix:) | conversions.swift:91:12:91:54 | ...! |
| conversions.swift:93:30:93:49 | call to sourceInt(_:) | conversions.swift:93:12:93:50 | call to Self.init(littleEndian:) |
| conversions.swift:94:33:94:55 | call to sourceUInt64(_:) | conversions.swift:94:12:94:56 | call to Self.init(littleEndian:) |
| conversions.swift:95:27:95:46 | call to sourceInt(_:) | conversions.swift:95:12:95:47 | call to Self.init(bigEndian:) |
| conversions.swift:96:30:96:52 | call to sourceUInt64(_:) | conversions.swift:96:12:96:53 | call to Self.init(bigEndian:) |
| conversions.swift:97:12:97:31 | call to sourceInt(_:) | conversions.swift:97:12:97:33 | .littleEndian |
| conversions.swift:98:12:98:34 | call to sourceUInt64(_:) | conversions.swift:98:12:98:36 | .littleEndian |
| conversions.swift:99:12:99:31 | call to sourceInt(_:) | conversions.swift:99:12:99:33 | .bigEndian |
| conversions.swift:100:12:100:34 | call to sourceUInt64(_:) | conversions.swift:100:12:100:36 | .bigEndian |
| conversions.swift:102:7:102:7 | SSA def(q1) | conversions.swift:103:12:103:12 | q1 |
| conversions.swift:102:7:102:7 | q1 | conversions.swift:102:7:102:7 | SSA def(q1) |
| conversions.swift:102:11:102:11 | SSA def(r1) | conversions.swift:104:12:104:12 | r1 |
| conversions.swift:102:11:102:11 | r1 | conversions.swift:102:11:102:11 | SSA def(r1) |
| conversions.swift:102:17:102:56 | call to quotientAndRemainder(dividingBy:) | conversions.swift:102:6:102:13 | (...) |
| conversions.swift:106:7:106:7 | SSA def(q2) | conversions.swift:107:12:107:12 | q2 |
| conversions.swift:106:7:106:7 | q2 | conversions.swift:106:7:106:7 | SSA def(q2) |
| conversions.swift:106:11:106:11 | SSA def(r2) | conversions.swift:108:12:108:12 | r2 |
| conversions.swift:106:11:106:11 | r2 | conversions.swift:106:11:106:11 | SSA def(r2) |
| conversions.swift:106:17:106:72 | call to quotientAndRemainder(dividingBy:) | conversions.swift:106:6:106:13 | (...) |
| conversions.swift:110:7:110:7 | SSA def(q3) | conversions.swift:111:12:111:12 | q3 |
| conversions.swift:110:7:110:7 | q3 | conversions.swift:110:7:110:7 | SSA def(q3) |
| conversions.swift:110:11:110:11 | SSA def(r3) | conversions.swift:112:12:112:12 | r3 |
| conversions.swift:110:11:110:11 | r3 | conversions.swift:110:11:110:11 | SSA def(r3) |
| conversions.swift:110:17:110:75 | call to quotientAndRemainder(dividingBy:) | conversions.swift:110:6:110:13 | (...) |
| conversions.swift:114:7:114:7 | SSA def(q4) | conversions.swift:115:12:115:12 | q4 |
| conversions.swift:114:7:114:7 | q4 | conversions.swift:114:7:114:7 | SSA def(q4) |
| conversions.swift:114:11:114:11 | SSA def(r4) | conversions.swift:116:12:116:12 | r4 |
| conversions.swift:114:11:114:11 | r4 | conversions.swift:114:11:114:11 | SSA def(r4) |
| conversions.swift:114:17:114:86 | call to quotientAndRemainder(dividingBy:) | conversions.swift:114:6:114:13 | (...) |
| conversions.swift:118:6:118:6 | SSA def(pair1) | conversions.swift:119:12:119:12 | pair1 |
| conversions.swift:118:6:118:6 | pair1 | conversions.swift:118:6:118:6 | SSA def(pair1) |
| conversions.swift:118:14:118:44 | call to addingReportingOverflow(_:) | conversions.swift:118:6:118:6 | pair1 |
| conversions.swift:119:12:119:12 | [post] pair1 | conversions.swift:120:12:120:12 | pair1 |
| conversions.swift:119:12:119:12 | pair1 | conversions.swift:120:12:120:12 | pair1 |
| conversions.swift:122:6:122:6 | SSA def(pair2) | conversions.swift:123:12:123:12 | pair2 |
| conversions.swift:122:6:122:6 | pair2 | conversions.swift:122:6:122:6 | SSA def(pair2) |
| conversions.swift:122:14:122:60 | call to addingReportingOverflow(_:) | conversions.swift:122:6:122:6 | pair2 |
| conversions.swift:123:12:123:12 | [post] pair2 | conversions.swift:124:12:124:12 | pair2 |
| conversions.swift:123:12:123:12 | pair2 | conversions.swift:124:12:124:12 | pair2 |
| conversions.swift:126:6:126:6 | SSA def(pair3) | conversions.swift:127:12:127:12 | pair3 |
| conversions.swift:126:6:126:6 | pair3 | conversions.swift:126:6:126:6 | SSA def(pair3) |
| conversions.swift:126:14:126:63 | call to addingReportingOverflow(_:) | conversions.swift:126:6:126:6 | pair3 |
| conversions.swift:127:12:127:12 | [post] pair3 | conversions.swift:128:12:128:12 | pair3 |
| conversions.swift:127:12:127:12 | pair3 | conversions.swift:128:12:128:12 | pair3 |
| conversions.swift:130:6:130:6 | SSA def(pair4) | conversions.swift:131:12:131:12 | pair4 |
| conversions.swift:130:6:130:6 | pair4 | conversions.swift:130:6:130:6 | SSA def(pair4) |
| conversions.swift:130:14:130:74 | call to addingReportingOverflow(_:) | conversions.swift:130:6:130:6 | pair4 |
| conversions.swift:131:12:131:12 | [post] pair4 | conversions.swift:132:12:132:12 | pair4 |
| conversions.swift:131:12:131:12 | pair4 | conversions.swift:132:12:132:12 | pair4 |
| conversions.swift:137:18:137:39 | call to sourceFloat(_:) | conversions.swift:137:12:137:40 | call to Float.init(_:) |
| conversions.swift:139:19:139:40 | call to sourceFloat(_:) | conversions.swift:139:12:139:41 | call to String.init(_:) |
| conversions.swift:140:12:140:41 | call to String.init(_:) | conversions.swift:140:12:140:43 | .utf8 |
| conversions.swift:140:19:140:40 | call to sourceFloat(_:) | conversions.swift:140:12:140:41 | call to String.init(_:) |
| conversions.swift:141:19:141:42 | call to sourceFloat80(_:) | conversions.swift:141:12:141:43 | call to String.init(_:) |
| conversions.swift:142:12:142:43 | call to String.init(_:) | conversions.swift:142:12:142:45 | .utf8 |
| conversions.swift:142:19:142:42 | call to sourceFloat80(_:) | conversions.swift:142:12:142:43 | call to String.init(_:) |
| conversions.swift:143:19:143:41 | call to sourceDouble(_:) | conversions.swift:143:12:143:42 | call to String.init(_:) |
| conversions.swift:144:12:144:42 | call to String.init(_:) | conversions.swift:144:12:144:44 | .utf8 |
| conversions.swift:144:19:144:41 | call to sourceDouble(_:) | conversions.swift:144:12:144:42 | call to String.init(_:) |
| conversions.swift:146:18:146:39 | call to sourceFloat(_:) | conversions.swift:146:12:146:40 | call to Float.init(_:) |
| conversions.swift:147:41:147:60 | call to sourceInt(_:) | conversions.swift:147:12:147:79 | call to Float.init(sign:exponent:significand:) |
| conversions.swift:147:76:147:76 | 0.0 | conversions.swift:147:12:147:79 | call to Float.init(sign:exponent:significand:) |
| conversions.swift:148:41:148:41 | 0 | conversions.swift:148:12:148:79 | call to Float.init(sign:exponent:significand:) |
| conversions.swift:148:57:148:78 | call to sourceFloat(_:) | conversions.swift:148:12:148:79 | call to Float.init(sign:exponent:significand:) |
| conversions.swift:149:63:149:63 | 0.0 | conversions.swift:149:12:149:66 | call to Float.init(signOf:magnitudeOf:) |
| conversions.swift:150:44:150:65 | call to sourceFloat(_:) | conversions.swift:150:12:150:66 | call to Float.init(signOf:magnitudeOf:) |
| conversions.swift:152:12:152:33 | call to sourceFloat(_:) | conversions.swift:152:12:152:35 | .exponent |
| conversions.swift:153:12:153:33 | call to sourceFloat(_:) | conversions.swift:153:12:153:35 | .significand |
| conversions.swift:154:12:154:35 | call to sourceFloat80(_:) | conversions.swift:154:12:154:37 | .exponent |
| conversions.swift:155:12:155:35 | call to sourceFloat80(_:) | conversions.swift:155:12:155:37 | .significand |
| conversions.swift:156:12:156:34 | call to sourceDouble(_:) | conversions.swift:156:12:156:36 | .exponent |
| conversions.swift:157:12:157:34 | call to sourceDouble(_:) | conversions.swift:157:12:157:36 | .significand |
| conversions.swift:166:19:166:42 | call to sourceString(_:) | conversions.swift:166:12:166:43 | call to String.init(_:) |
| conversions.swift:168:6:168:6 | SSA def(ms1) | conversions.swift:169:12:169:12 | ms1 |
| conversions.swift:168:6:168:6 | ms1 | conversions.swift:168:6:168:6 | SSA def(ms1) |
| conversions.swift:168:12:168:26 | call to MyString.init(_:) | conversions.swift:168:12:168:27 | ...! |
| conversions.swift:168:12:168:27 | ...! | conversions.swift:168:6:168:6 | ms1 |
| conversions.swift:168:21:168:21 | abc | conversions.swift:168:12:168:26 | call to MyString.init(_:) |
| conversions.swift:169:12:169:12 | [post] ms1 | conversions.swift:170:12:170:12 | ms1 |
| conversions.swift:169:12:169:12 | ms1 | conversions.swift:170:12:170:12 | ms1 |
| conversions.swift:170:12:170:12 | [post] ms1 | conversions.swift:171:12:171:12 | ms1 |
| conversions.swift:170:12:170:12 | ms1 | conversions.swift:170:12:170:16 | .description |
| conversions.swift:170:12:170:12 | ms1 | conversions.swift:171:12:171:12 | ms1 |
| conversions.swift:171:12:171:12 | [post] ms1 | conversions.swift:172:12:172:12 | ms1 |
| conversions.swift:171:12:171:12 | ms1 | conversions.swift:171:12:171:16 | .debugDescription |
| conversions.swift:171:12:171:12 | ms1 | conversions.swift:172:12:172:12 | ms1 |
| conversions.swift:174:6:174:6 | SSA def(ms2) | conversions.swift:175:12:175:12 | ms2 |
| conversions.swift:174:6:174:6 | ms2 | conversions.swift:174:6:174:6 | SSA def(ms2) |
| conversions.swift:174:12:174:45 | call to MyString.init(_:) | conversions.swift:174:12:174:46 | ...! |
| conversions.swift:174:12:174:46 | ...! | conversions.swift:174:6:174:6 | ms2 |
| conversions.swift:174:21:174:44 | call to sourceString(_:) | conversions.swift:174:12:174:45 | call to MyString.init(_:) |
| conversions.swift:175:12:175:12 | [post] ms2 | conversions.swift:176:12:176:12 | ms2 |
| conversions.swift:175:12:175:12 | ms2 | conversions.swift:176:12:176:12 | ms2 |
| conversions.swift:176:12:176:12 | [post] ms2 | conversions.swift:177:12:177:12 | ms2 |
| conversions.swift:176:12:176:12 | ms2 | conversions.swift:176:12:176:16 | .description |
| conversions.swift:176:12:176:12 | ms2 | conversions.swift:177:12:177:12 | ms2 |
| conversions.swift:177:12:177:12 | [post] ms2 | conversions.swift:178:12:178:12 | ms2 |
| conversions.swift:177:12:177:12 | ms2 | conversions.swift:177:12:177:16 | .debugDescription |
| conversions.swift:177:12:177:12 | ms2 | conversions.swift:178:12:178:12 | ms2 |
| conversions.swift:182:6:182:6 | SSA def(parent) | conversions.swift:183:12:183:12 | parent |
| conversions.swift:182:6:182:6 | parent | conversions.swift:182:6:182:6 | SSA def(parent) |
| conversions.swift:182:6:182:15 | ... as ... | conversions.swift:182:6:182:6 | parent |
| conversions.swift:182:31:182:54 | call to sourceString(_:) | conversions.swift:182:6:182:15 | ... as ... |
| conversions.swift:183:12:183:12 | [post] parent | conversions.swift:184:12:184:12 | parent |
| conversions.swift:183:12:183:12 | parent | conversions.swift:184:12:184:12 | parent |
| conversions.swift:184:12:184:12 | [post] parent | conversions.swift:186:40:186:40 | parent |
| conversions.swift:184:12:184:12 | parent | conversions.swift:186:40:186:40 | parent |
| conversions.swift:186:6:186:6 | SSA def(v3) | conversions.swift:187:12:187:12 | v3 |
| conversions.swift:186:6:186:6 | v3 | conversions.swift:186:6:186:6 | SSA def(v3) |
| conversions.swift:186:6:186:10 | ... as ... | conversions.swift:186:6:186:6 | v3 |
| conversions.swift:186:25:186:69 | call to unsafeDowncast(_:to:) | conversions.swift:186:6:186:10 | ... as ... |
| conversions.swift:186:40:186:40 | parent | conversions.swift:186:25:186:69 | call to unsafeDowncast(_:to:) |
| conversions.swift:187:12:187:12 | [post] v3 | conversions.swift:188:12:188:12 | v3 |
| conversions.swift:187:12:187:12 | v3 | conversions.swift:188:12:188:12 | v3 |
| conversions.swift:199:7:199:7 | SSA def(self) | conversions.swift:199:7:199:7 | self[return] |
| conversions.swift:199:7:199:7 | self | conversions.swift:199:7:199:7 | SSA def(self) |
| conversions.swift:200:2:200:2 | SSA def(self) | conversions.swift:200:2:221:2 | self[return] |
| conversions.swift:200:2:200:2 | self | conversions.swift:200:2:200:2 | SSA def(self) |
| conversions.swift:201:7:201:7 | SSA def(arr1) | conversions.swift:203:13:203:13 | arr1 |
| conversions.swift:201:7:201:7 | arr1 | conversions.swift:201:7:201:7 | SSA def(arr1) |
| conversions.swift:201:14:201:33 | call to sourceArray(_:) | conversions.swift:201:7:201:7 | arr1 |
| conversions.swift:202:7:202:7 | SSA def(arr2) | conversions.swift:204:13:204:13 | arr2 |
| conversions.swift:202:7:202:7 | arr2 | conversions.swift:202:7:202:7 | SSA def(arr2) |
| conversions.swift:202:14:202:33 | [...] | conversions.swift:202:7:202:7 | arr2 |
| conversions.swift:203:13:203:13 | arr1 | conversions.swift:205:13:205:13 | arr1 |
| conversions.swift:204:13:204:13 | arr2 | conversions.swift:206:13:206:13 | arr2 |
| conversions.swift:205:13:205:13 | [post] arr1 | conversions.swift:208:25:208:25 | arr1 |
| conversions.swift:205:13:205:13 | arr1 | conversions.swift:205:13:205:19 | ...[...] |
| conversions.swift:205:13:205:13 | arr1 | conversions.swift:208:25:208:25 | arr1 |
| conversions.swift:206:13:206:13 | [post] arr2 | conversions.swift:209:25:209:25 | arr2 |
| conversions.swift:206:13:206:13 | arr2 | conversions.swift:206:13:206:19 | ...[...] |
| conversions.swift:206:13:206:13 | arr2 | conversions.swift:209:25:209:25 | arr2 |
| conversions.swift:208:7:208:7 | SSA def(arr1b) | conversions.swift:210:13:210:13 | arr1b |
| conversions.swift:208:7:208:7 | arr1b | conversions.swift:208:7:208:7 | SSA def(arr1b) |
| conversions.swift:208:15:208:29 | try ... | conversions.swift:208:7:208:7 | arr1b |
| conversions.swift:208:19:208:29 | call to Array<Element>.init(_:) | conversions.swift:208:15:208:29 | try ... |
| conversions.swift:208:25:208:25 | arr1 | conversions.swift:215:31:215:31 | arr1 |
| conversions.swift:209:7:209:7 | SSA def(arr2b) | conversions.swift:211:13:211:13 | arr2b |
| conversions.swift:209:7:209:7 | arr2b | conversions.swift:209:7:209:7 | SSA def(arr2b) |
| conversions.swift:209:15:209:29 | try ... | conversions.swift:209:7:209:7 | arr2b |
| conversions.swift:209:19:209:29 | call to Array<Element>.init(_:) | conversions.swift:209:15:209:29 | try ... |
| conversions.swift:209:25:209:25 | arr2 | conversions.swift:216:31:216:31 | arr2 |
| conversions.swift:210:13:210:13 | arr1b | conversions.swift:212:13:212:13 | arr1b |
| conversions.swift:211:13:211:13 | arr2b | conversions.swift:213:13:213:13 | arr2b |
| conversions.swift:212:13:212:13 | arr1b | conversions.swift:212:13:212:20 | ...[...] |
| conversions.swift:213:13:213:13 | arr2b | conversions.swift:213:13:213:20 | ...[...] |
| conversions.swift:215:7:215:7 | SSA def(arr1c) | conversions.swift:217:13:217:13 | arr1c |
| conversions.swift:215:7:215:7 | arr1c | conversions.swift:215:7:215:7 | SSA def(arr1c) |
| conversions.swift:215:15:215:35 | call to ContiguousArray<Element>.init(_:) | conversions.swift:215:7:215:7 | arr1c |
| conversions.swift:216:7:216:7 | SSA def(arr2c) | conversions.swift:218:13:218:13 | arr2c |
| conversions.swift:216:7:216:7 | arr2c | conversions.swift:216:7:216:7 | SSA def(arr2c) |
| conversions.swift:216:15:216:35 | call to ContiguousArray<Element>.init(_:) | conversions.swift:216:7:216:7 | arr2c |
| conversions.swift:217:13:217:13 | [post] arr1c | conversions.swift:219:13:219:13 | arr1c |
| conversions.swift:217:13:217:13 | arr1c | conversions.swift:219:13:219:13 | arr1c |
| conversions.swift:218:13:218:13 | [post] arr2c | conversions.swift:220:13:220:13 | arr2c |
| conversions.swift:218:13:218:13 | arr2c | conversions.swift:220:13:220:13 | arr2c |
| conversions.swift:219:13:219:13 | arr1c | conversions.swift:219:13:219:20 | ...[...] |
| conversions.swift:220:13:220:13 | arr2c | conversions.swift:220:13:220:20 | ...[...] |
| conversions.swift:226:7:226:7 | SSA def(self) | conversions.swift:226:7:226:7 | self[return] |
| conversions.swift:226:7:226:7 | self | conversions.swift:226:7:226:7 | SSA def(self) |
| conversions.swift:227:6:227:6 | self | conversions.swift:227:6:227:6 | SSA def(self) |
| conversions.swift:227:6:227:6 | self | conversions.swift:227:6:227:6 | SSA def(self) |
| conversions.swift:227:6:227:6 | self | conversions.swift:227:6:227:6 | SSA def(self) |
| conversions.swift:227:6:227:6 | value | conversions.swift:227:6:227:6 | SSA def(value) |
| conversions.swift:229:2:229:2 | SSA def(self) | conversions.swift:230:3:230:3 | self |
| conversions.swift:229:2:229:2 | self | conversions.swift:229:2:229:2 | SSA def(self) |
| conversions.swift:229:7:229:12 | SSA def(v) | conversions.swift:230:12:230:12 | v |
| conversions.swift:229:7:229:12 | v | conversions.swift:229:7:229:12 | SSA def(v) |
| conversions.swift:230:3:230:3 | [post] self | conversions.swift:229:2:231:2 | self[return] |
| conversions.swift:230:3:230:3 | self | conversions.swift:229:2:231:2 | self[return] |
| conversions.swift:235:7:235:17 | SSA def(withUInt) | conversions.swift:236:13:236:13 | withUInt |
| conversions.swift:235:7:235:17 | withUInt | conversions.swift:235:7:235:17 | SSA def(withUInt) |
| conversions.swift:236:13:236:13 | [post] withUInt | conversions.swift:237:14:237:14 | withUInt |
| conversions.swift:236:13:236:13 | withUInt | conversions.swift:237:14:237:14 | withUInt |
| conversions.swift:237:3:237:22 | SSA def(self) | conversions.swift:238:12:238:12 | self |
| conversions.swift:237:10:237:22 | call to Self.init(_:) | conversions.swift:237:3:237:22 | SSA def(self) |
| conversions.swift:238:12:238:12 | [post] self | conversions.swift:235:2:239:2 | self[return] |
| conversions.swift:238:12:238:12 | self | conversions.swift:235:2:239:2 | self[return] |
| conversions.swift:241:7:241:20 | SSA def(withMyValue) | conversions.swift:242:13:242:13 | withMyValue |
| conversions.swift:241:7:241:20 | withMyValue | conversions.swift:241:7:241:20 | SSA def(withMyValue) |
| conversions.swift:242:13:242:13 | [post] withMyValue | conversions.swift:243:10:243:10 | withMyValue |
| conversions.swift:242:13:242:13 | withMyValue | conversions.swift:243:10:243:10 | withMyValue |
| conversions.swift:243:3:243:22 | SSA def(self) | conversions.swift:244:12:244:12 | self |
| conversions.swift:244:12:244:12 | [post] self | conversions.swift:241:2:245:2 | self[return] |
| conversions.swift:244:12:244:12 | self | conversions.swift:241:2:245:2 | self[return] |
| conversions.swift:247:7:247:21 | SSA def(withMyValue2) | conversions.swift:248:13:248:13 | withMyValue2 |
| conversions.swift:247:7:247:21 | withMyValue2 | conversions.swift:247:7:247:21 | SSA def(withMyValue2) |
| conversions.swift:248:13:248:13 | [post] withMyValue2 | conversions.swift:249:11:249:11 | withMyValue2 |
| conversions.swift:248:13:248:13 | withMyValue2 | conversions.swift:249:11:249:11 | withMyValue2 |
| conversions.swift:249:7:249:7 | SSA def(x) | conversions.swift:250:10:250:10 | x |
| conversions.swift:249:7:249:7 | x | conversions.swift:249:7:249:7 | SSA def(x) |
| conversions.swift:249:11:249:24 | .v | conversions.swift:249:7:249:7 | x |
| conversions.swift:250:3:250:10 | SSA def(self) | conversions.swift:251:12:251:12 | self |
| conversions.swift:250:10:250:10 | x | conversions.swift:250:3:250:10 | SSA def(self) |
| conversions.swift:251:12:251:12 | [post] self | conversions.swift:247:2:252:2 | self[return] |
| conversions.swift:251:12:251:12 | self | conversions.swift:247:2:252:2 | self[return] |
| conversions.swift:254:14:254:14 | SSA def(self) | conversions.swift:254:2:257:2 | self[return] |
| conversions.swift:254:14:254:14 | self | conversions.swift:254:14:254:14 | SSA def(self) |
| conversions.swift:254:20:254:33 | SSA def(withMyValue) | conversions.swift:255:13:255:13 | withMyValue |
| conversions.swift:254:20:254:33 | withMyValue | conversions.swift:254:20:254:33 | SSA def(withMyValue) |
| conversions.swift:255:13:255:13 | [post] withMyValue | conversions.swift:256:10:256:10 | withMyValue |
| conversions.swift:255:13:255:13 | withMyValue | conversions.swift:256:10:256:10 | withMyValue |
| simple.swift:12:13:12:13 | 1 | simple.swift:12:13:12:24 | ... .+(_:_:) ... |
| simple.swift:12:17:12:24 | call to source() | simple.swift:12:13:12:24 | ... .+(_:_:) ... |
| simple.swift:13:13:13:20 | call to source() | simple.swift:13:13:13:24 | ... .+(_:_:) ... |

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

@@ -1,131 +1,138 @@
edges
| conversions.swift:35:18:35:37 | call to sourceInt(_:) | conversions.swift:35:12:35:38 | call to Float.init(_:) | provenance | |
| conversions.swift:36:19:36:38 | call to sourceInt(_:) | conversions.swift:36:12:36:39 | call to String.init(_:) | provenance | |
| conversions.swift:37:12:37:39 | call to String.init(_:) | conversions.swift:37:12:37:41 | .utf8 | provenance | |
| conversions.swift:37:19:37:38 | call to sourceInt(_:) | conversions.swift:37:12:37:39 | call to String.init(_:) | provenance | |
| conversions.swift:39:12:39:39 | [...] [Collection element] | conversions.swift:40:12:40:12 | arr | provenance | |
| conversions.swift:39:12:39:39 | [...] [Collection element] | conversions.swift:41:12:41:12 | arr [Collection element] | provenance | |
| conversions.swift:39:12:39:39 | [...] [Collection element] | conversions.swift:42:20:42:20 | arr [Collection element] | provenance | |
| conversions.swift:39:12:39:39 | [...] [Collection element] | conversions.swift:43:20:43:20 | arr [Collection element] | provenance | |
| conversions.swift:39:19:39:38 | call to sourceInt(_:) | conversions.swift:39:12:39:39 | [...] [Collection element] | provenance | |
| conversions.swift:41:12:41:12 | arr [Collection element] | conversions.swift:41:12:41:17 | ...[...] | provenance | |
| conversions.swift:42:20:42:20 | arr [Collection element] | conversions.swift:42:12:42:23 | call to Array<Element>.init(_:) | provenance | |
| conversions.swift:43:12:43:23 | call to Array<Element>.init(_:) [Collection element] | conversions.swift:43:12:43:26 | ...[...] | provenance | |
| conversions.swift:43:20:43:20 | arr [Collection element] | conversions.swift:43:12:43:23 | call to Array<Element>.init(_:) [Collection element] | provenance | |
| conversions.swift:44:20:44:42 | call to sourceString(_:) | conversions.swift:44:20:44:44 | .utf8 | provenance | |
| conversions.swift:44:20:44:44 | .utf8 | conversions.swift:44:12:44:48 | call to Array<Element>.init(_:) | provenance | |
| conversions.swift:45:12:45:48 | call to Array<Element>.init(_:) [Collection element] | conversions.swift:45:12:45:51 | ...[...] | provenance | |
| conversions.swift:45:20:45:42 | call to sourceString(_:) | conversions.swift:45:20:45:44 | .utf8 | provenance | |
| conversions.swift:45:20:45:44 | .utf8 | conversions.swift:45:12:45:48 | call to Array<Element>.init(_:) [Collection element] | provenance | |
| conversions.swift:47:13:47:32 | call to sourceInt(_:) | conversions.swift:48:13:48:13 | v | provenance | |
| conversions.swift:51:18:51:50 | call to numericCast(_:) | conversions.swift:52:12:52:12 | v2 | provenance | |
| conversions.swift:51:30:51:49 | call to sourceInt(_:) | conversions.swift:51:18:51:50 | call to numericCast(_:) | provenance | |
| conversions.swift:54:17:54:66 | call to unsafeBitCast(_:to:) | conversions.swift:55:12:55:12 | v4 | provenance | |
| conversions.swift:54:31:54:50 | call to sourceInt(_:) | conversions.swift:54:17:54:66 | call to unsafeBitCast(_:to:) | provenance | |
| conversions.swift:63:11:63:35 | call to abs(_:) | conversions.swift:64:12:64:12 | v7 | provenance | |
| conversions.swift:63:15:63:34 | call to sourceInt(_:) | conversions.swift:63:11:63:35 | call to abs(_:) | provenance | |
| conversions.swift:75:12:75:50 | call to Self.init(_:radix:) [some:0] | conversions.swift:75:12:75:51 | ...! | provenance | |
| conversions.swift:75:16:75:38 | call to sourceString(_:) | conversions.swift:75:12:75:50 | call to Self.init(_:radix:) [some:0] | provenance | |
| conversions.swift:77:30:77:49 | call to sourceInt(_:) | conversions.swift:77:12:77:50 | call to Self.init(littleEndian:) | provenance | |
| conversions.swift:78:27:78:46 | call to sourceInt(_:) | conversions.swift:78:12:78:47 | call to Self.init(bigEndian:) | provenance | |
| conversions.swift:79:12:79:31 | call to sourceInt(_:) | conversions.swift:79:12:79:33 | .littleEndian | provenance | |
| conversions.swift:80:12:80:31 | call to sourceInt(_:) | conversions.swift:80:12:80:33 | .bigEndian | provenance | |
| conversions.swift:109:18:109:39 | call to sourceFloat(_:) | conversions.swift:109:12:109:40 | call to Float.init(_:) | provenance | |
| conversions.swift:111:19:111:40 | call to sourceFloat(_:) | conversions.swift:111:12:111:41 | call to String.init(_:) | provenance | |
| conversions.swift:112:12:112:41 | call to String.init(_:) | conversions.swift:112:12:112:43 | .utf8 | provenance | |
| conversions.swift:112:19:112:40 | call to sourceFloat(_:) | conversions.swift:112:12:112:41 | call to String.init(_:) | provenance | |
| conversions.swift:113:19:113:42 | call to sourceFloat80(_:) | conversions.swift:113:12:113:43 | call to String.init(_:) | provenance | |
| conversions.swift:114:12:114:43 | call to String.init(_:) | conversions.swift:114:12:114:45 | .utf8 | provenance | |
| conversions.swift:114:19:114:42 | call to sourceFloat80(_:) | conversions.swift:114:12:114:43 | call to String.init(_:) | provenance | |
| conversions.swift:115:19:115:41 | call to sourceDouble(_:) | conversions.swift:115:12:115:42 | call to String.init(_:) | provenance | |
| conversions.swift:116:12:116:42 | call to String.init(_:) | conversions.swift:116:12:116:44 | .utf8 | provenance | |
| conversions.swift:116:19:116:41 | call to sourceDouble(_:) | conversions.swift:116:12:116:42 | call to String.init(_:) | provenance | |
| conversions.swift:118:18:118:39 | call to sourceFloat(_:) | conversions.swift:118:12:118:40 | call to Float.init(_:) | provenance | |
| conversions.swift:119:41:119:60 | call to sourceInt(_:) | conversions.swift:119:12:119:79 | call to Float.init(sign:exponent:significand:) | provenance | |
| conversions.swift:120:57:120:78 | call to sourceFloat(_:) | conversions.swift:120:12:120:79 | call to Float.init(sign:exponent:significand:) | provenance | |
| conversions.swift:122:44:122:65 | call to sourceFloat(_:) | conversions.swift:122:12:122:66 | call to Float.init(signOf:magnitudeOf:) | provenance | |
| conversions.swift:124:12:124:33 | call to sourceFloat(_:) | conversions.swift:124:12:124:35 | .exponent | provenance | |
| conversions.swift:125:12:125:33 | call to sourceFloat(_:) | conversions.swift:125:12:125:35 | .significand | provenance | |
| conversions.swift:126:12:126:35 | call to sourceFloat80(_:) | conversions.swift:126:12:126:37 | .exponent | provenance | |
| conversions.swift:127:12:127:35 | call to sourceFloat80(_:) | conversions.swift:127:12:127:37 | .significand | provenance | |
| conversions.swift:128:12:128:34 | call to sourceDouble(_:) | conversions.swift:128:12:128:36 | .exponent | provenance | |
| conversions.swift:129:12:129:34 | call to sourceDouble(_:) | conversions.swift:129:12:129:36 | .significand | provenance | |
| conversions.swift:136:19:136:42 | call to sourceString(_:) | conversions.swift:136:12:136:43 | call to String.init(_:) | provenance | |
| conversions.swift:144:12:144:45 | call to MyString.init(_:) | conversions.swift:144:12:144:45 | call to MyString.init(_:) [some:0] | provenance | |
| conversions.swift:144:12:144:45 | call to MyString.init(_:) | conversions.swift:145:12:145:12 | ms2 | provenance | |
| conversions.swift:144:12:144:45 | call to MyString.init(_:) | conversions.swift:146:12:146:16 | .description | provenance | |
| conversions.swift:144:12:144:45 | call to MyString.init(_:) | conversions.swift:147:12:147:16 | .debugDescription | provenance | |
| conversions.swift:144:12:144:45 | call to MyString.init(_:) [some:0] | conversions.swift:144:12:144:46 | ...! | provenance | |
| conversions.swift:144:12:144:46 | ...! | conversions.swift:145:12:145:12 | ms2 | provenance | |
| conversions.swift:144:12:144:46 | ...! | conversions.swift:146:12:146:16 | .description | provenance | |
| conversions.swift:144:12:144:46 | ...! | conversions.swift:147:12:147:16 | .debugDescription | provenance | |
| conversions.swift:144:21:144:44 | call to sourceString(_:) | conversions.swift:144:12:144:45 | call to MyString.init(_:) | provenance | |
| conversions.swift:152:31:152:54 | call to sourceString(_:) | conversions.swift:153:12:153:12 | parent | provenance | |
| conversions.swift:152:31:152:54 | call to sourceString(_:) | conversions.swift:154:12:154:12 | parent | provenance | |
| conversions.swift:152:31:152:54 | call to sourceString(_:) | conversions.swift:156:40:156:40 | parent | provenance | |
| conversions.swift:156:25:156:69 | call to unsafeDowncast(_:to:) | conversions.swift:157:12:157:12 | v3 | provenance | |
| conversions.swift:156:25:156:69 | call to unsafeDowncast(_:to:) | conversions.swift:158:12:158:12 | v3 | provenance | |
| conversions.swift:156:40:156:40 | parent | conversions.swift:156:25:156:69 | call to unsafeDowncast(_:to:) | provenance | |
| conversions.swift:171:14:171:33 | call to sourceArray(_:) | conversions.swift:173:13:173:13 | arr1 | provenance | |
| conversions.swift:171:14:171:33 | call to sourceArray(_:) | conversions.swift:175:13:175:19 | ...[...] | provenance | |
| conversions.swift:171:14:171:33 | call to sourceArray(_:) | conversions.swift:178:25:178:25 | arr1 | provenance | |
| conversions.swift:171:14:171:33 | call to sourceArray(_:) | conversions.swift:185:31:185:31 | arr1 | provenance | |
| conversions.swift:172:14:172:33 | [...] [Collection element] | conversions.swift:174:13:174:13 | arr2 | provenance | |
| conversions.swift:172:14:172:33 | [...] [Collection element] | conversions.swift:176:13:176:13 | arr2 [Collection element] | provenance | |
| conversions.swift:172:14:172:33 | [...] [Collection element] | conversions.swift:179:25:179:25 | arr2 [Collection element] | provenance | |
| conversions.swift:172:14:172:33 | [...] [Collection element] | conversions.swift:186:31:186:31 | arr2 [Collection element] | provenance | |
| conversions.swift:172:15:172:32 | call to sourceInt(_:) | conversions.swift:172:14:172:33 | [...] [Collection element] | provenance | |
| conversions.swift:176:13:176:13 | arr2 [Collection element] | conversions.swift:176:13:176:19 | ...[...] | provenance | |
| conversions.swift:178:19:178:29 | call to Array<Element>.init(_:) [Collection element] | conversions.swift:180:13:180:13 | arr1b | provenance | |
| conversions.swift:178:19:178:29 | call to Array<Element>.init(_:) [Collection element] | conversions.swift:182:13:182:13 | arr1b [Collection element] | provenance | |
| conversions.swift:178:25:178:25 | arr1 | conversions.swift:178:19:178:29 | call to Array<Element>.init(_:) [Collection element] | provenance | |
| conversions.swift:179:19:179:29 | call to Array<Element>.init(_:) [Collection element] | conversions.swift:181:13:181:13 | arr2b | provenance | |
| conversions.swift:179:19:179:29 | call to Array<Element>.init(_:) [Collection element] | conversions.swift:183:13:183:13 | arr2b [Collection element] | provenance | |
| conversions.swift:179:25:179:25 | arr2 [Collection element] | conversions.swift:179:19:179:29 | call to Array<Element>.init(_:) [Collection element] | provenance | |
| conversions.swift:182:13:182:13 | arr1b [Collection element] | conversions.swift:182:13:182:20 | ...[...] | provenance | |
| conversions.swift:183:13:183:13 | arr2b [Collection element] | conversions.swift:183:13:183:20 | ...[...] | provenance | |
| conversions.swift:185:15:185:35 | call to ContiguousArray<Element>.init(_:) [Collection element] | conversions.swift:187:13:187:13 | arr1c | provenance | |
| conversions.swift:185:15:185:35 | call to ContiguousArray<Element>.init(_:) [Collection element] | conversions.swift:189:13:189:13 | arr1c [Collection element] | provenance | |
| conversions.swift:185:31:185:31 | arr1 | conversions.swift:185:15:185:35 | call to ContiguousArray<Element>.init(_:) [Collection element] | provenance | |
| conversions.swift:186:15:186:35 | call to ContiguousArray<Element>.init(_:) [Collection element] | conversions.swift:188:13:188:13 | arr2c | provenance | |
| conversions.swift:186:15:186:35 | call to ContiguousArray<Element>.init(_:) [Collection element] | conversions.swift:190:13:190:13 | arr2c [Collection element] | provenance | |
| conversions.swift:186:31:186:31 | arr2 [Collection element] | conversions.swift:186:15:186:35 | call to ContiguousArray<Element>.init(_:) [Collection element] | provenance | |
| conversions.swift:189:13:189:13 | arr1c [Collection element] | conversions.swift:189:13:189:20 | ...[...] | provenance | |
| conversions.swift:190:13:190:13 | arr2c [Collection element] | conversions.swift:190:13:190:20 | ...[...] | provenance | |
| conversions.swift:197:6:197:6 | self [v] | file://:0:0:0:0 | self [v] | provenance | |
| conversions.swift:199:7:199:12 | v | conversions.swift:200:12:200:12 | v | provenance | |
| conversions.swift:200:3:200:3 | [post] self [v] | conversions.swift:199:2:201:2 | self[return] [v] | provenance | |
| conversions.swift:200:12:200:12 | v | conversions.swift:200:3:200:3 | [post] self [v] | provenance | |
| conversions.swift:205:7:205:17 | withUInt | conversions.swift:206:13:206:13 | withUInt | provenance | |
| conversions.swift:211:7:211:20 | withMyValue [v] | conversions.swift:212:13:212:13 | withMyValue [v] | provenance | |
| conversions.swift:212:13:212:13 | withMyValue [v] | conversions.swift:197:6:197:6 | self [v] | provenance | |
| conversions.swift:212:13:212:13 | withMyValue [v] | conversions.swift:212:13:212:25 | .v | provenance | |
| conversions.swift:217:7:217:21 | withMyValue2 [v] | conversions.swift:218:13:218:13 | withMyValue2 [v] | provenance | |
| conversions.swift:217:7:217:21 | withMyValue2 [v] | conversions.swift:219:11:219:11 | withMyValue2 [v] | provenance | |
| conversions.swift:218:13:218:13 | withMyValue2 [v] | conversions.swift:197:6:197:6 | self [v] | provenance | |
| conversions.swift:218:13:218:13 | withMyValue2 [v] | conversions.swift:218:13:218:26 | .v | provenance | |
| conversions.swift:219:11:219:11 | withMyValue2 [v] | conversions.swift:197:6:197:6 | self [v] | provenance | |
| conversions.swift:219:11:219:11 | withMyValue2 [v] | conversions.swift:219:11:219:24 | .v | provenance | |
| conversions.swift:219:11:219:24 | .v | conversions.swift:217:2:222:2 | self[return] | provenance | |
| conversions.swift:219:11:219:24 | .v | conversions.swift:221:12:221:12 | self | provenance | |
| conversions.swift:224:20:224:33 | withMyValue [v] | conversions.swift:225:13:225:13 | withMyValue [v] | provenance | |
| conversions.swift:224:20:224:33 | withMyValue [v] | conversions.swift:226:10:226:10 | withMyValue [v] | provenance | |
| conversions.swift:225:13:225:13 | withMyValue [v] | conversions.swift:197:6:197:6 | self [v] | provenance | |
| conversions.swift:225:13:225:13 | withMyValue [v] | conversions.swift:225:13:225:25 | .v | provenance | |
| conversions.swift:226:10:226:10 | withMyValue [v] | conversions.swift:197:6:197:6 | self [v] | provenance | |
| conversions.swift:226:10:226:10 | withMyValue [v] | conversions.swift:226:10:226:22 | .v | provenance | |
| conversions.swift:232:26:232:43 | call to sourceUInt(_:) | conversions.swift:205:7:205:17 | withUInt | provenance | |
| conversions.swift:235:29:235:54 | call to MyValue.init(_:) [v] | conversions.swift:211:7:211:20 | withMyValue [v] | provenance | |
| conversions.swift:235:37:235:53 | call to sourceInt(_:) | conversions.swift:199:7:199:12 | v | provenance | |
| conversions.swift:235:37:235:53 | call to sourceInt(_:) | conversions.swift:235:29:235:54 | call to MyValue.init(_:) [v] | provenance | |
| conversions.swift:238:30:238:55 | call to MyValue.init(_:) [v] | conversions.swift:217:7:217:21 | withMyValue2 [v] | provenance | |
| conversions.swift:238:30:238:55 | call to MyValue.init(_:) [v] | conversions.swift:238:12:238:56 | call to Int.init(withMyValue2:) | provenance | |
| conversions.swift:238:38:238:54 | call to sourceInt(_:) | conversions.swift:199:7:199:12 | v | provenance | |
| conversions.swift:238:38:238:54 | call to sourceInt(_:) | conversions.swift:238:30:238:55 | call to MyValue.init(_:) [v] | provenance | |
| conversions.swift:241:35:241:60 | call to MyValue.init(_:) [v] | conversions.swift:224:20:224:33 | withMyValue [v] | provenance | |
| conversions.swift:241:35:241:60 | call to MyValue.init(_:) [v] | conversions.swift:241:12:241:61 | call to mkInt(withMyValue:) | provenance | |
| conversions.swift:241:43:241:59 | call to sourceInt(_:) | conversions.swift:199:7:199:12 | v | provenance | |
| conversions.swift:241:43:241:59 | call to sourceInt(_:) | conversions.swift:241:35:241:60 | call to MyValue.init(_:) [v] | provenance | |
| conversions.swift:45:18:45:38 | call to sourceInt(_:) | conversions.swift:45:12:45:39 | call to Float.init(_:) | provenance | |
| conversions.swift:46:19:46:39 | call to sourceInt(_:) | conversions.swift:46:12:46:40 | call to Double.init(_:) | provenance | |
| conversions.swift:47:19:47:39 | call to sourceInt(_:) | conversions.swift:47:12:47:40 | call to String.init(_:) | provenance | |
| conversions.swift:48:12:48:40 | call to String.init(_:) | conversions.swift:48:12:48:42 | .utf8 | provenance | |
| conversions.swift:48:19:48:39 | call to sourceInt(_:) | conversions.swift:48:12:48:40 | call to String.init(_:) | provenance | |
| conversions.swift:50:12:50:39 | [...] [Collection element] | conversions.swift:51:12:51:12 | arr | provenance | |
| conversions.swift:50:12:50:39 | [...] [Collection element] | conversions.swift:52:12:52:12 | arr [Collection element] | provenance | |
| conversions.swift:50:12:50:39 | [...] [Collection element] | conversions.swift:53:20:53:20 | arr [Collection element] | provenance | |
| conversions.swift:50:12:50:39 | [...] [Collection element] | conversions.swift:54:20:54:20 | arr [Collection element] | provenance | |
| conversions.swift:50:19:50:38 | call to sourceInt(_:) | conversions.swift:50:12:50:39 | [...] [Collection element] | provenance | |
| conversions.swift:52:12:52:12 | arr [Collection element] | conversions.swift:52:12:52:17 | ...[...] | provenance | |
| conversions.swift:53:20:53:20 | arr [Collection element] | conversions.swift:53:12:53:23 | call to Array<Element>.init(_:) | provenance | |
| conversions.swift:54:12:54:23 | call to Array<Element>.init(_:) [Collection element] | conversions.swift:54:12:54:26 | ...[...] | provenance | |
| conversions.swift:54:20:54:20 | arr [Collection element] | conversions.swift:54:12:54:23 | call to Array<Element>.init(_:) [Collection element] | provenance | |
| conversions.swift:55:20:55:42 | call to sourceString(_:) | conversions.swift:55:20:55:44 | .utf8 | provenance | |
| conversions.swift:55:20:55:44 | .utf8 | conversions.swift:55:12:55:48 | call to Array<Element>.init(_:) | provenance | |
| conversions.swift:56:12:56:48 | call to Array<Element>.init(_:) [Collection element] | conversions.swift:56:12:56:51 | ...[...] | provenance | |
| conversions.swift:56:20:56:42 | call to sourceString(_:) | conversions.swift:56:20:56:44 | .utf8 | provenance | |
| conversions.swift:56:20:56:44 | .utf8 | conversions.swift:56:12:56:48 | call to Array<Element>.init(_:) [Collection element] | provenance | |
| conversions.swift:58:13:58:32 | call to sourceInt(_:) | conversions.swift:59:13:59:13 | v | provenance | |
| conversions.swift:62:18:62:50 | call to numericCast(_:) | conversions.swift:63:12:63:12 | v2 | provenance | |
| conversions.swift:62:30:62:49 | call to sourceInt(_:) | conversions.swift:62:18:62:50 | call to numericCast(_:) | provenance | |
| conversions.swift:65:17:65:66 | call to unsafeBitCast(_:to:) | conversions.swift:66:12:66:12 | v4 | provenance | |
| conversions.swift:65:31:65:50 | call to sourceInt(_:) | conversions.swift:65:17:65:66 | call to unsafeBitCast(_:to:) | provenance | |
| conversions.swift:74:11:74:35 | call to abs(_:) | conversions.swift:75:12:75:12 | v7 | provenance | |
| conversions.swift:74:15:74:34 | call to sourceInt(_:) | conversions.swift:74:11:74:35 | call to abs(_:) | provenance | |
| conversions.swift:90:12:90:50 | call to Self.init(_:radix:) [some:0] | conversions.swift:90:12:90:51 | ...! | provenance | |
| conversions.swift:90:16:90:38 | call to sourceString(_:) | conversions.swift:90:12:90:50 | call to Self.init(_:radix:) [some:0] | provenance | |
| conversions.swift:91:12:91:53 | call to Self.init(_:radix:) [some:0] | conversions.swift:91:12:91:54 | ...! | provenance | |
| conversions.swift:91:19:91:41 | call to sourceString(_:) | conversions.swift:91:12:91:53 | call to Self.init(_:radix:) [some:0] | provenance | |
| conversions.swift:93:30:93:49 | call to sourceInt(_:) | conversions.swift:93:12:93:50 | call to Self.init(littleEndian:) | provenance | |
| conversions.swift:94:33:94:55 | call to sourceUInt64(_:) | conversions.swift:94:12:94:56 | call to Self.init(littleEndian:) | provenance | |
| conversions.swift:95:27:95:46 | call to sourceInt(_:) | conversions.swift:95:12:95:47 | call to Self.init(bigEndian:) | provenance | |
| conversions.swift:96:30:96:52 | call to sourceUInt64(_:) | conversions.swift:96:12:96:53 | call to Self.init(bigEndian:) | provenance | |
| conversions.swift:97:12:97:31 | call to sourceInt(_:) | conversions.swift:97:12:97:33 | .littleEndian | provenance | |
| conversions.swift:98:12:98:34 | call to sourceUInt64(_:) | conversions.swift:98:12:98:36 | .littleEndian | provenance | |
| conversions.swift:99:12:99:31 | call to sourceInt(_:) | conversions.swift:99:12:99:33 | .bigEndian | provenance | |
| conversions.swift:100:12:100:34 | call to sourceUInt64(_:) | conversions.swift:100:12:100:36 | .bigEndian | provenance | |
| conversions.swift:137:18:137:39 | call to sourceFloat(_:) | conversions.swift:137:12:137:40 | call to Float.init(_:) | provenance | |
| conversions.swift:139:19:139:40 | call to sourceFloat(_:) | conversions.swift:139:12:139:41 | call to String.init(_:) | provenance | |
| conversions.swift:140:12:140:41 | call to String.init(_:) | conversions.swift:140:12:140:43 | .utf8 | provenance | |
| conversions.swift:140:19:140:40 | call to sourceFloat(_:) | conversions.swift:140:12:140:41 | call to String.init(_:) | provenance | |
| conversions.swift:141:19:141:42 | call to sourceFloat80(_:) | conversions.swift:141:12:141:43 | call to String.init(_:) | provenance | |
| conversions.swift:142:12:142:43 | call to String.init(_:) | conversions.swift:142:12:142:45 | .utf8 | provenance | |
| conversions.swift:142:19:142:42 | call to sourceFloat80(_:) | conversions.swift:142:12:142:43 | call to String.init(_:) | provenance | |
| conversions.swift:143:19:143:41 | call to sourceDouble(_:) | conversions.swift:143:12:143:42 | call to String.init(_:) | provenance | |
| conversions.swift:144:12:144:42 | call to String.init(_:) | conversions.swift:144:12:144:44 | .utf8 | provenance | |
| conversions.swift:144:19:144:41 | call to sourceDouble(_:) | conversions.swift:144:12:144:42 | call to String.init(_:) | provenance | |
| conversions.swift:146:18:146:39 | call to sourceFloat(_:) | conversions.swift:146:12:146:40 | call to Float.init(_:) | provenance | |
| conversions.swift:147:41:147:60 | call to sourceInt(_:) | conversions.swift:147:12:147:79 | call to Float.init(sign:exponent:significand:) | provenance | |
| conversions.swift:148:57:148:78 | call to sourceFloat(_:) | conversions.swift:148:12:148:79 | call to Float.init(sign:exponent:significand:) | provenance | |
| conversions.swift:150:44:150:65 | call to sourceFloat(_:) | conversions.swift:150:12:150:66 | call to Float.init(signOf:magnitudeOf:) | provenance | |
| conversions.swift:152:12:152:33 | call to sourceFloat(_:) | conversions.swift:152:12:152:35 | .exponent | provenance | |
| conversions.swift:153:12:153:33 | call to sourceFloat(_:) | conversions.swift:153:12:153:35 | .significand | provenance | |
| conversions.swift:154:12:154:35 | call to sourceFloat80(_:) | conversions.swift:154:12:154:37 | .exponent | provenance | |
| conversions.swift:155:12:155:35 | call to sourceFloat80(_:) | conversions.swift:155:12:155:37 | .significand | provenance | |
| conversions.swift:156:12:156:34 | call to sourceDouble(_:) | conversions.swift:156:12:156:36 | .exponent | provenance | |
| conversions.swift:157:12:157:34 | call to sourceDouble(_:) | conversions.swift:157:12:157:36 | .significand | provenance | |
| conversions.swift:166:19:166:42 | call to sourceString(_:) | conversions.swift:166:12:166:43 | call to String.init(_:) | provenance | |
| conversions.swift:174:12:174:45 | call to MyString.init(_:) | conversions.swift:174:12:174:45 | call to MyString.init(_:) [some:0] | provenance | |
| conversions.swift:174:12:174:45 | call to MyString.init(_:) | conversions.swift:175:12:175:12 | ms2 | provenance | |
| conversions.swift:174:12:174:45 | call to MyString.init(_:) | conversions.swift:176:12:176:16 | .description | provenance | |
| conversions.swift:174:12:174:45 | call to MyString.init(_:) | conversions.swift:177:12:177:16 | .debugDescription | provenance | |
| conversions.swift:174:12:174:45 | call to MyString.init(_:) [some:0] | conversions.swift:174:12:174:46 | ...! | provenance | |
| conversions.swift:174:12:174:46 | ...! | conversions.swift:175:12:175:12 | ms2 | provenance | |
| conversions.swift:174:12:174:46 | ...! | conversions.swift:176:12:176:16 | .description | provenance | |
| conversions.swift:174:12:174:46 | ...! | conversions.swift:177:12:177:16 | .debugDescription | provenance | |
| conversions.swift:174:21:174:44 | call to sourceString(_:) | conversions.swift:174:12:174:45 | call to MyString.init(_:) | provenance | |
| conversions.swift:182:31:182:54 | call to sourceString(_:) | conversions.swift:183:12:183:12 | parent | provenance | |
| conversions.swift:182:31:182:54 | call to sourceString(_:) | conversions.swift:184:12:184:12 | parent | provenance | |
| conversions.swift:182:31:182:54 | call to sourceString(_:) | conversions.swift:186:40:186:40 | parent | provenance | |
| conversions.swift:186:25:186:69 | call to unsafeDowncast(_:to:) | conversions.swift:187:12:187:12 | v3 | provenance | |
| conversions.swift:186:25:186:69 | call to unsafeDowncast(_:to:) | conversions.swift:188:12:188:12 | v3 | provenance | |
| conversions.swift:186:40:186:40 | parent | conversions.swift:186:25:186:69 | call to unsafeDowncast(_:to:) | provenance | |
| conversions.swift:201:14:201:33 | call to sourceArray(_:) | conversions.swift:203:13:203:13 | arr1 | provenance | |
| conversions.swift:201:14:201:33 | call to sourceArray(_:) | conversions.swift:205:13:205:19 | ...[...] | provenance | |
| conversions.swift:201:14:201:33 | call to sourceArray(_:) | conversions.swift:208:25:208:25 | arr1 | provenance | |
| conversions.swift:201:14:201:33 | call to sourceArray(_:) | conversions.swift:215:31:215:31 | arr1 | provenance | |
| conversions.swift:202:14:202:33 | [...] [Collection element] | conversions.swift:204:13:204:13 | arr2 | provenance | |
| conversions.swift:202:14:202:33 | [...] [Collection element] | conversions.swift:206:13:206:13 | arr2 [Collection element] | provenance | |
| conversions.swift:202:14:202:33 | [...] [Collection element] | conversions.swift:209:25:209:25 | arr2 [Collection element] | provenance | |
| conversions.swift:202:14:202:33 | [...] [Collection element] | conversions.swift:216:31:216:31 | arr2 [Collection element] | provenance | |
| conversions.swift:202:15:202:32 | call to sourceInt(_:) | conversions.swift:202:14:202:33 | [...] [Collection element] | provenance | |
| conversions.swift:206:13:206:13 | arr2 [Collection element] | conversions.swift:206:13:206:19 | ...[...] | provenance | |
| conversions.swift:208:19:208:29 | call to Array<Element>.init(_:) [Collection element] | conversions.swift:210:13:210:13 | arr1b | provenance | |
| conversions.swift:208:19:208:29 | call to Array<Element>.init(_:) [Collection element] | conversions.swift:212:13:212:13 | arr1b [Collection element] | provenance | |
| conversions.swift:208:25:208:25 | arr1 | conversions.swift:208:19:208:29 | call to Array<Element>.init(_:) [Collection element] | provenance | |
| conversions.swift:209:19:209:29 | call to Array<Element>.init(_:) [Collection element] | conversions.swift:211:13:211:13 | arr2b | provenance | |
| conversions.swift:209:19:209:29 | call to Array<Element>.init(_:) [Collection element] | conversions.swift:213:13:213:13 | arr2b [Collection element] | provenance | |
| conversions.swift:209:25:209:25 | arr2 [Collection element] | conversions.swift:209:19:209:29 | call to Array<Element>.init(_:) [Collection element] | provenance | |
| conversions.swift:212:13:212:13 | arr1b [Collection element] | conversions.swift:212:13:212:20 | ...[...] | provenance | |
| conversions.swift:213:13:213:13 | arr2b [Collection element] | conversions.swift:213:13:213:20 | ...[...] | provenance | |
| conversions.swift:215:15:215:35 | call to ContiguousArray<Element>.init(_:) [Collection element] | conversions.swift:217:13:217:13 | arr1c | provenance | |
| conversions.swift:215:15:215:35 | call to ContiguousArray<Element>.init(_:) [Collection element] | conversions.swift:219:13:219:13 | arr1c [Collection element] | provenance | |
| conversions.swift:215:31:215:31 | arr1 | conversions.swift:215:15:215:35 | call to ContiguousArray<Element>.init(_:) [Collection element] | provenance | |
| conversions.swift:216:15:216:35 | call to ContiguousArray<Element>.init(_:) [Collection element] | conversions.swift:218:13:218:13 | arr2c | provenance | |
| conversions.swift:216:15:216:35 | call to ContiguousArray<Element>.init(_:) [Collection element] | conversions.swift:220:13:220:13 | arr2c [Collection element] | provenance | |
| conversions.swift:216:31:216:31 | arr2 [Collection element] | conversions.swift:216:15:216:35 | call to ContiguousArray<Element>.init(_:) [Collection element] | provenance | |
| conversions.swift:219:13:219:13 | arr1c [Collection element] | conversions.swift:219:13:219:20 | ...[...] | provenance | |
| conversions.swift:220:13:220:13 | arr2c [Collection element] | conversions.swift:220:13:220:20 | ...[...] | provenance | |
| conversions.swift:227:6:227:6 | self [v] | file://:0:0:0:0 | self [v] | provenance | |
| conversions.swift:229:7:229:12 | v | conversions.swift:230:12:230:12 | v | provenance | |
| conversions.swift:230:3:230:3 | [post] self [v] | conversions.swift:229:2:231:2 | self[return] [v] | provenance | |
| conversions.swift:230:12:230:12 | v | conversions.swift:230:3:230:3 | [post] self [v] | provenance | |
| conversions.swift:235:7:235:17 | withUInt | conversions.swift:236:13:236:13 | withUInt | provenance | |
| conversions.swift:241:7:241:20 | withMyValue [v] | conversions.swift:242:13:242:13 | withMyValue [v] | provenance | |
| conversions.swift:242:13:242:13 | withMyValue [v] | conversions.swift:227:6:227:6 | self [v] | provenance | |
| conversions.swift:242:13:242:13 | withMyValue [v] | conversions.swift:242:13:242:25 | .v | provenance | |
| conversions.swift:247:7:247:21 | withMyValue2 [v] | conversions.swift:248:13:248:13 | withMyValue2 [v] | provenance | |
| conversions.swift:247:7:247:21 | withMyValue2 [v] | conversions.swift:249:11:249:11 | withMyValue2 [v] | provenance | |
| conversions.swift:248:13:248:13 | withMyValue2 [v] | conversions.swift:227:6:227:6 | self [v] | provenance | |
| conversions.swift:248:13:248:13 | withMyValue2 [v] | conversions.swift:248:13:248:26 | .v | provenance | |
| conversions.swift:249:11:249:11 | withMyValue2 [v] | conversions.swift:227:6:227:6 | self [v] | provenance | |
| conversions.swift:249:11:249:11 | withMyValue2 [v] | conversions.swift:249:11:249:24 | .v | provenance | |
| conversions.swift:249:11:249:24 | .v | conversions.swift:247:2:252:2 | self[return] | provenance | |
| conversions.swift:249:11:249:24 | .v | conversions.swift:251:12:251:12 | self | provenance | |
| conversions.swift:254:20:254:33 | withMyValue [v] | conversions.swift:255:13:255:13 | withMyValue [v] | provenance | |
| conversions.swift:254:20:254:33 | withMyValue [v] | conversions.swift:256:10:256:10 | withMyValue [v] | provenance | |
| conversions.swift:255:13:255:13 | withMyValue [v] | conversions.swift:227:6:227:6 | self [v] | provenance | |
| conversions.swift:255:13:255:13 | withMyValue [v] | conversions.swift:255:13:255:25 | .v | provenance | |
| conversions.swift:256:10:256:10 | withMyValue [v] | conversions.swift:227:6:227:6 | self [v] | provenance | |
| conversions.swift:256:10:256:10 | withMyValue [v] | conversions.swift:256:10:256:22 | .v | provenance | |
| conversions.swift:262:26:262:43 | call to sourceUInt(_:) | conversions.swift:235:7:235:17 | withUInt | provenance | |
| conversions.swift:265:29:265:54 | call to MyValue.init(_:) [v] | conversions.swift:241:7:241:20 | withMyValue [v] | provenance | |
| conversions.swift:265:37:265:53 | call to sourceInt(_:) | conversions.swift:229:7:229:12 | v | provenance | |
| conversions.swift:265:37:265:53 | call to sourceInt(_:) | conversions.swift:265:29:265:54 | call to MyValue.init(_:) [v] | provenance | |
| conversions.swift:268:30:268:55 | call to MyValue.init(_:) [v] | conversions.swift:247:7:247:21 | withMyValue2 [v] | provenance | |
| conversions.swift:268:30:268:55 | call to MyValue.init(_:) [v] | conversions.swift:268:12:268:56 | call to Int.init(withMyValue2:) | provenance | |
| conversions.swift:268:38:268:54 | call to sourceInt(_:) | conversions.swift:229:7:229:12 | v | provenance | |
| conversions.swift:268:38:268:54 | call to sourceInt(_:) | conversions.swift:268:30:268:55 | call to MyValue.init(_:) [v] | provenance | |
| conversions.swift:271:35:271:60 | call to MyValue.init(_:) [v] | conversions.swift:254:20:254:33 | withMyValue [v] | provenance | |
| conversions.swift:271:35:271:60 | call to MyValue.init(_:) [v] | conversions.swift:271:12:271:61 | call to mkInt(withMyValue:) | provenance | |
| conversions.swift:271:43:271:59 | call to sourceInt(_:) | conversions.swift:229:7:229:12 | v | provenance | |
| conversions.swift:271:43:271:59 | call to sourceInt(_:) | conversions.swift:271:35:271:60 | call to MyValue.init(_:) [v] | provenance | |
| file://:0:0:0:0 | [post] self [first] | stringinterpolation.swift:6:6:6:6 | self [Return] [first] | provenance | |
| file://:0:0:0:0 | [post] self [second] | stringinterpolation.swift:7:6:7:6 | self [Return] [second] | provenance | |
| file://:0:0:0:0 | self [first] | file://:0:0:0:0 | .first | provenance | |
@@ -210,166 +217,179 @@ edges
| try.swift:18:18:18:25 | call to source() [some:0] | try.swift:18:13:18:25 | try? ... [some:0] | provenance | |
nodes
| conversions.swift:32:12:32:31 | call to sourceInt(_:) | semmle.label | call to sourceInt(_:) |
| conversions.swift:35:12:35:38 | call to Float.init(_:) | semmle.label | call to Float.init(_:) |
| conversions.swift:35:18:35:37 | call to sourceInt(_:) | semmle.label | call to sourceInt(_:) |
| conversions.swift:36:12:36:39 | call to String.init(_:) | semmle.label | call to String.init(_:) |
| conversions.swift:36:19:36:38 | call to sourceInt(_:) | semmle.label | call to sourceInt(_:) |
| conversions.swift:37:12:37:39 | call to String.init(_:) | semmle.label | call to String.init(_:) |
| conversions.swift:37:12:37:41 | .utf8 | semmle.label | .utf8 |
| conversions.swift:37:19:37:38 | call to sourceInt(_:) | semmle.label | call to sourceInt(_:) |
| conversions.swift:39:12:39:39 | [...] [Collection element] | semmle.label | [...] [Collection element] |
| conversions.swift:39:19:39:38 | call to sourceInt(_:) | semmle.label | call to sourceInt(_:) |
| conversions.swift:40:12:40:12 | arr | semmle.label | arr |
| conversions.swift:41:12:41:12 | arr [Collection element] | semmle.label | arr [Collection element] |
| conversions.swift:41:12:41:17 | ...[...] | semmle.label | ...[...] |
| conversions.swift:42:12:42:23 | call to Array<Element>.init(_:) | semmle.label | call to Array<Element>.init(_:) |
| conversions.swift:42:20:42:20 | arr [Collection element] | semmle.label | arr [Collection element] |
| conversions.swift:43:12:43:23 | call to Array<Element>.init(_:) [Collection element] | semmle.label | call to Array<Element>.init(_:) [Collection element] |
| conversions.swift:43:12:43:26 | ...[...] | semmle.label | ...[...] |
| conversions.swift:43:20:43:20 | arr [Collection element] | semmle.label | arr [Collection element] |
| conversions.swift:44:12:44:48 | call to Array<Element>.init(_:) | semmle.label | call to Array<Element>.init(_:) |
| conversions.swift:44:20:44:42 | call to sourceString(_:) | semmle.label | call to sourceString(_:) |
| conversions.swift:44:20:44:44 | .utf8 | semmle.label | .utf8 |
| conversions.swift:45:12:45:48 | call to Array<Element>.init(_:) [Collection element] | semmle.label | call to Array<Element>.init(_:) [Collection element] |
| conversions.swift:45:12:45:51 | ...[...] | semmle.label | ...[...] |
| conversions.swift:45:20:45:42 | call to sourceString(_:) | semmle.label | call to sourceString(_:) |
| conversions.swift:45:20:45:44 | .utf8 | semmle.label | .utf8 |
| conversions.swift:47:13:47:32 | call to sourceInt(_:) | semmle.label | call to sourceInt(_:) |
| conversions.swift:48:13:48:13 | v | semmle.label | v |
| conversions.swift:51:18:51:50 | call to numericCast(_:) | semmle.label | call to numericCast(_:) |
| conversions.swift:51:30:51:49 | call to sourceInt(_:) | semmle.label | call to sourceInt(_:) |
| conversions.swift:52:12:52:12 | v2 | semmle.label | v2 |
| conversions.swift:54:17:54:66 | call to unsafeBitCast(_:to:) | semmle.label | call to unsafeBitCast(_:to:) |
| conversions.swift:54:31:54:50 | call to sourceInt(_:) | semmle.label | call to sourceInt(_:) |
| conversions.swift:55:12:55:12 | v4 | semmle.label | v4 |
| conversions.swift:63:11:63:35 | call to abs(_:) | semmle.label | call to abs(_:) |
| conversions.swift:63:15:63:34 | call to sourceInt(_:) | semmle.label | call to sourceInt(_:) |
| conversions.swift:64:12:64:12 | v7 | semmle.label | v7 |
| conversions.swift:75:12:75:50 | call to Self.init(_:radix:) [some:0] | semmle.label | call to Self.init(_:radix:) [some:0] |
| conversions.swift:75:12:75:51 | ...! | semmle.label | ...! |
| conversions.swift:75:16:75:38 | call to sourceString(_:) | semmle.label | call to sourceString(_:) |
| conversions.swift:77:12:77:50 | call to Self.init(littleEndian:) | semmle.label | call to Self.init(littleEndian:) |
| conversions.swift:77:30:77:49 | call to sourceInt(_:) | semmle.label | call to sourceInt(_:) |
| conversions.swift:78:12:78:47 | call to Self.init(bigEndian:) | semmle.label | call to Self.init(bigEndian:) |
| conversions.swift:78:27:78:46 | call to sourceInt(_:) | semmle.label | call to sourceInt(_:) |
| conversions.swift:79:12:79:31 | call to sourceInt(_:) | semmle.label | call to sourceInt(_:) |
| conversions.swift:79:12:79:33 | .littleEndian | semmle.label | .littleEndian |
| conversions.swift:80:12:80:31 | call to sourceInt(_:) | semmle.label | call to sourceInt(_:) |
| conversions.swift:80:12:80:33 | .bigEndian | semmle.label | .bigEndian |
| conversions.swift:108:12:108:33 | call to sourceFloat(_:) | semmle.label | call to sourceFloat(_:) |
| conversions.swift:109:12:109:40 | call to Float.init(_:) | semmle.label | call to Float.init(_:) |
| conversions.swift:109:18:109:39 | call to sourceFloat(_:) | semmle.label | call to sourceFloat(_:) |
| conversions.swift:111:12:111:41 | call to String.init(_:) | semmle.label | call to String.init(_:) |
| conversions.swift:111:19:111:40 | call to sourceFloat(_:) | semmle.label | call to sourceFloat(_:) |
| conversions.swift:112:12:112:41 | call to String.init(_:) | semmle.label | call to String.init(_:) |
| conversions.swift:112:12:112:43 | .utf8 | semmle.label | .utf8 |
| conversions.swift:112:19:112:40 | call to sourceFloat(_:) | semmle.label | call to sourceFloat(_:) |
| conversions.swift:113:12:113:43 | call to String.init(_:) | semmle.label | call to String.init(_:) |
| conversions.swift:113:19:113:42 | call to sourceFloat80(_:) | semmle.label | call to sourceFloat80(_:) |
| conversions.swift:114:12:114:43 | call to String.init(_:) | semmle.label | call to String.init(_:) |
| conversions.swift:114:12:114:45 | .utf8 | semmle.label | .utf8 |
| conversions.swift:114:19:114:42 | call to sourceFloat80(_:) | semmle.label | call to sourceFloat80(_:) |
| conversions.swift:115:12:115:42 | call to String.init(_:) | semmle.label | call to String.init(_:) |
| conversions.swift:115:19:115:41 | call to sourceDouble(_:) | semmle.label | call to sourceDouble(_:) |
| conversions.swift:116:12:116:42 | call to String.init(_:) | semmle.label | call to String.init(_:) |
| conversions.swift:116:12:116:44 | .utf8 | semmle.label | .utf8 |
| conversions.swift:116:19:116:41 | call to sourceDouble(_:) | semmle.label | call to sourceDouble(_:) |
| conversions.swift:118:12:118:40 | call to Float.init(_:) | semmle.label | call to Float.init(_:) |
| conversions.swift:118:18:118:39 | call to sourceFloat(_:) | semmle.label | call to sourceFloat(_:) |
| conversions.swift:119:12:119:79 | call to Float.init(sign:exponent:significand:) | semmle.label | call to Float.init(sign:exponent:significand:) |
| conversions.swift:119:41:119:60 | call to sourceInt(_:) | semmle.label | call to sourceInt(_:) |
| conversions.swift:120:12:120:79 | call to Float.init(sign:exponent:significand:) | semmle.label | call to Float.init(sign:exponent:significand:) |
| conversions.swift:120:57:120:78 | call to sourceFloat(_:) | semmle.label | call to sourceFloat(_:) |
| conversions.swift:122:12:122:66 | call to Float.init(signOf:magnitudeOf:) | semmle.label | call to Float.init(signOf:magnitudeOf:) |
| conversions.swift:122:44:122:65 | call to sourceFloat(_:) | semmle.label | call to sourceFloat(_:) |
| conversions.swift:124:12:124:33 | call to sourceFloat(_:) | semmle.label | call to sourceFloat(_:) |
| conversions.swift:124:12:124:35 | .exponent | semmle.label | .exponent |
| conversions.swift:125:12:125:33 | call to sourceFloat(_:) | semmle.label | call to sourceFloat(_:) |
| conversions.swift:125:12:125:35 | .significand | semmle.label | .significand |
| conversions.swift:126:12:126:35 | call to sourceFloat80(_:) | semmle.label | call to sourceFloat80(_:) |
| conversions.swift:126:12:126:37 | .exponent | semmle.label | .exponent |
| conversions.swift:127:12:127:35 | call to sourceFloat80(_:) | semmle.label | call to sourceFloat80(_:) |
| conversions.swift:127:12:127:37 | .significand | semmle.label | .significand |
| conversions.swift:128:12:128:34 | call to sourceDouble(_:) | semmle.label | call to sourceDouble(_:) |
| conversions.swift:128:12:128:36 | .exponent | semmle.label | .exponent |
| conversions.swift:129:12:129:34 | call to sourceDouble(_:) | semmle.label | call to sourceDouble(_:) |
| conversions.swift:129:12:129:36 | .significand | semmle.label | .significand |
| conversions.swift:135:12:135:35 | call to sourceString(_:) | semmle.label | call to sourceString(_:) |
| conversions.swift:136:12:136:43 | call to String.init(_:) | semmle.label | call to String.init(_:) |
| conversions.swift:136:19:136:42 | call to sourceString(_:) | semmle.label | call to sourceString(_:) |
| conversions.swift:144:12:144:45 | call to MyString.init(_:) | semmle.label | call to MyString.init(_:) |
| conversions.swift:144:12:144:45 | call to MyString.init(_:) [some:0] | semmle.label | call to MyString.init(_:) [some:0] |
| conversions.swift:144:12:144:46 | ...! | semmle.label | ...! |
| conversions.swift:144:21:144:44 | call to sourceString(_:) | semmle.label | call to sourceString(_:) |
| conversions.swift:145:12:145:12 | ms2 | semmle.label | ms2 |
| conversions.swift:146:12:146:16 | .description | semmle.label | .description |
| conversions.swift:147:12:147:16 | .debugDescription | semmle.label | .debugDescription |
| conversions.swift:152:31:152:54 | call to sourceString(_:) | semmle.label | call to sourceString(_:) |
| conversions.swift:153:12:153:12 | parent | semmle.label | parent |
| conversions.swift:154:12:154:12 | parent | semmle.label | parent |
| conversions.swift:156:25:156:69 | call to unsafeDowncast(_:to:) | semmle.label | call to unsafeDowncast(_:to:) |
| conversions.swift:156:40:156:40 | parent | semmle.label | parent |
| conversions.swift:157:12:157:12 | v3 | semmle.label | v3 |
| conversions.swift:158:12:158:12 | v3 | semmle.label | v3 |
| conversions.swift:171:14:171:33 | call to sourceArray(_:) | semmle.label | call to sourceArray(_:) |
| conversions.swift:172:14:172:33 | [...] [Collection element] | semmle.label | [...] [Collection element] |
| conversions.swift:172:15:172:32 | call to sourceInt(_:) | semmle.label | call to sourceInt(_:) |
| conversions.swift:173:13:173:13 | arr1 | semmle.label | arr1 |
| conversions.swift:174:13:174:13 | arr2 | semmle.label | arr2 |
| conversions.swift:175:13:175:19 | ...[...] | semmle.label | ...[...] |
| conversions.swift:176:13:176:13 | arr2 [Collection element] | semmle.label | arr2 [Collection element] |
| conversions.swift:176:13:176:19 | ...[...] | semmle.label | ...[...] |
| conversions.swift:178:19:178:29 | call to Array<Element>.init(_:) [Collection element] | semmle.label | call to Array<Element>.init(_:) [Collection element] |
| conversions.swift:178:25:178:25 | arr1 | semmle.label | arr1 |
| conversions.swift:179:19:179:29 | call to Array<Element>.init(_:) [Collection element] | semmle.label | call to Array<Element>.init(_:) [Collection element] |
| conversions.swift:179:25:179:25 | arr2 [Collection element] | semmle.label | arr2 [Collection element] |
| conversions.swift:180:13:180:13 | arr1b | semmle.label | arr1b |
| conversions.swift:181:13:181:13 | arr2b | semmle.label | arr2b |
| conversions.swift:182:13:182:13 | arr1b [Collection element] | semmle.label | arr1b [Collection element] |
| conversions.swift:182:13:182:20 | ...[...] | semmle.label | ...[...] |
| conversions.swift:183:13:183:13 | arr2b [Collection element] | semmle.label | arr2b [Collection element] |
| conversions.swift:183:13:183:20 | ...[...] | semmle.label | ...[...] |
| conversions.swift:185:15:185:35 | call to ContiguousArray<Element>.init(_:) [Collection element] | semmle.label | call to ContiguousArray<Element>.init(_:) [Collection element] |
| conversions.swift:185:31:185:31 | arr1 | semmle.label | arr1 |
| conversions.swift:186:15:186:35 | call to ContiguousArray<Element>.init(_:) [Collection element] | semmle.label | call to ContiguousArray<Element>.init(_:) [Collection element] |
| conversions.swift:186:31:186:31 | arr2 [Collection element] | semmle.label | arr2 [Collection element] |
| conversions.swift:187:13:187:13 | arr1c | semmle.label | arr1c |
| conversions.swift:188:13:188:13 | arr2c | semmle.label | arr2c |
| conversions.swift:189:13:189:13 | arr1c [Collection element] | semmle.label | arr1c [Collection element] |
| conversions.swift:189:13:189:20 | ...[...] | semmle.label | ...[...] |
| conversions.swift:190:13:190:13 | arr2c [Collection element] | semmle.label | arr2c [Collection element] |
| conversions.swift:190:13:190:20 | ...[...] | semmle.label | ...[...] |
| conversions.swift:197:6:197:6 | self [v] | semmle.label | self [v] |
| conversions.swift:199:2:201:2 | self[return] [v] | semmle.label | self[return] [v] |
| conversions.swift:199:7:199:12 | v | semmle.label | v |
| conversions.swift:200:3:200:3 | [post] self [v] | semmle.label | [post] self [v] |
| conversions.swift:200:12:200:12 | v | semmle.label | v |
| conversions.swift:205:7:205:17 | withUInt | semmle.label | withUInt |
| conversions.swift:206:13:206:13 | withUInt | semmle.label | withUInt |
| conversions.swift:211:7:211:20 | withMyValue [v] | semmle.label | withMyValue [v] |
| conversions.swift:212:13:212:13 | withMyValue [v] | semmle.label | withMyValue [v] |
| conversions.swift:212:13:212:25 | .v | semmle.label | .v |
| conversions.swift:217:2:222:2 | self[return] | semmle.label | self[return] |
| conversions.swift:217:7:217:21 | withMyValue2 [v] | semmle.label | withMyValue2 [v] |
| conversions.swift:218:13:218:13 | withMyValue2 [v] | semmle.label | withMyValue2 [v] |
| conversions.swift:218:13:218:26 | .v | semmle.label | .v |
| conversions.swift:219:11:219:11 | withMyValue2 [v] | semmle.label | withMyValue2 [v] |
| conversions.swift:219:11:219:24 | .v | semmle.label | .v |
| conversions.swift:221:12:221:12 | self | semmle.label | self |
| conversions.swift:224:20:224:33 | withMyValue [v] | semmle.label | withMyValue [v] |
| conversions.swift:225:13:225:13 | withMyValue [v] | semmle.label | withMyValue [v] |
| conversions.swift:225:13:225:25 | .v | semmle.label | .v |
| conversions.swift:226:10:226:10 | withMyValue [v] | semmle.label | withMyValue [v] |
| conversions.swift:226:10:226:22 | .v | semmle.label | .v |
| conversions.swift:232:26:232:43 | call to sourceUInt(_:) | semmle.label | call to sourceUInt(_:) |
| conversions.swift:235:29:235:54 | call to MyValue.init(_:) [v] | semmle.label | call to MyValue.init(_:) [v] |
| conversions.swift:235:37:235:53 | call to sourceInt(_:) | semmle.label | call to sourceInt(_:) |
| conversions.swift:238:12:238:56 | call to Int.init(withMyValue2:) | semmle.label | call to Int.init(withMyValue2:) |
| conversions.swift:238:30:238:55 | call to MyValue.init(_:) [v] | semmle.label | call to MyValue.init(_:) [v] |
| conversions.swift:238:38:238:54 | call to sourceInt(_:) | semmle.label | call to sourceInt(_:) |
| conversions.swift:241:12:241:61 | call to mkInt(withMyValue:) | semmle.label | call to mkInt(withMyValue:) |
| conversions.swift:241:35:241:60 | call to MyValue.init(_:) [v] | semmle.label | call to MyValue.init(_:) [v] |
| conversions.swift:241:43:241:59 | call to sourceInt(_:) | semmle.label | call to sourceInt(_:) |
| conversions.swift:45:12:45:39 | call to Float.init(_:) | semmle.label | call to Float.init(_:) |
| conversions.swift:45:18:45:38 | call to sourceInt(_:) | semmle.label | call to sourceInt(_:) |
| conversions.swift:46:12:46:40 | call to Double.init(_:) | semmle.label | call to Double.init(_:) |
| conversions.swift:46:19:46:39 | call to sourceInt(_:) | semmle.label | call to sourceInt(_:) |
| conversions.swift:47:12:47:40 | call to String.init(_:) | semmle.label | call to String.init(_:) |
| conversions.swift:47:19:47:39 | call to sourceInt(_:) | semmle.label | call to sourceInt(_:) |
| conversions.swift:48:12:48:40 | call to String.init(_:) | semmle.label | call to String.init(_:) |
| conversions.swift:48:12:48:42 | .utf8 | semmle.label | .utf8 |
| conversions.swift:48:19:48:39 | call to sourceInt(_:) | semmle.label | call to sourceInt(_:) |
| conversions.swift:50:12:50:39 | [...] [Collection element] | semmle.label | [...] [Collection element] |
| conversions.swift:50:19:50:38 | call to sourceInt(_:) | semmle.label | call to sourceInt(_:) |
| conversions.swift:51:12:51:12 | arr | semmle.label | arr |
| conversions.swift:52:12:52:12 | arr [Collection element] | semmle.label | arr [Collection element] |
| conversions.swift:52:12:52:17 | ...[...] | semmle.label | ...[...] |
| conversions.swift:53:12:53:23 | call to Array<Element>.init(_:) | semmle.label | call to Array<Element>.init(_:) |
| conversions.swift:53:20:53:20 | arr [Collection element] | semmle.label | arr [Collection element] |
| conversions.swift:54:12:54:23 | call to Array<Element>.init(_:) [Collection element] | semmle.label | call to Array<Element>.init(_:) [Collection element] |
| conversions.swift:54:12:54:26 | ...[...] | semmle.label | ...[...] |
| conversions.swift:54:20:54:20 | arr [Collection element] | semmle.label | arr [Collection element] |
| conversions.swift:55:12:55:48 | call to Array<Element>.init(_:) | semmle.label | call to Array<Element>.init(_:) |
| conversions.swift:55:20:55:42 | call to sourceString(_:) | semmle.label | call to sourceString(_:) |
| conversions.swift:55:20:55:44 | .utf8 | semmle.label | .utf8 |
| conversions.swift:56:12:56:48 | call to Array<Element>.init(_:) [Collection element] | semmle.label | call to Array<Element>.init(_:) [Collection element] |
| conversions.swift:56:12:56:51 | ...[...] | semmle.label | ...[...] |
| conversions.swift:56:20:56:42 | call to sourceString(_:) | semmle.label | call to sourceString(_:) |
| conversions.swift:56:20:56:44 | .utf8 | semmle.label | .utf8 |
| conversions.swift:58:13:58:32 | call to sourceInt(_:) | semmle.label | call to sourceInt(_:) |
| conversions.swift:59:13:59:13 | v | semmle.label | v |
| conversions.swift:62:18:62:50 | call to numericCast(_:) | semmle.label | call to numericCast(_:) |
| conversions.swift:62:30:62:49 | call to sourceInt(_:) | semmle.label | call to sourceInt(_:) |
| conversions.swift:63:12:63:12 | v2 | semmle.label | v2 |
| conversions.swift:65:17:65:66 | call to unsafeBitCast(_:to:) | semmle.label | call to unsafeBitCast(_:to:) |
| conversions.swift:65:31:65:50 | call to sourceInt(_:) | semmle.label | call to sourceInt(_:) |
| conversions.swift:66:12:66:12 | v4 | semmle.label | v4 |
| conversions.swift:74:11:74:35 | call to abs(_:) | semmle.label | call to abs(_:) |
| conversions.swift:74:15:74:34 | call to sourceInt(_:) | semmle.label | call to sourceInt(_:) |
| conversions.swift:75:12:75:12 | v7 | semmle.label | v7 |
| conversions.swift:90:12:90:50 | call to Self.init(_:radix:) [some:0] | semmle.label | call to Self.init(_:radix:) [some:0] |
| conversions.swift:90:12:90:51 | ...! | semmle.label | ...! |
| conversions.swift:90:16:90:38 | call to sourceString(_:) | semmle.label | call to sourceString(_:) |
| conversions.swift:91:12:91:53 | call to Self.init(_:radix:) [some:0] | semmle.label | call to Self.init(_:radix:) [some:0] |
| conversions.swift:91:12:91:54 | ...! | semmle.label | ...! |
| conversions.swift:91:19:91:41 | call to sourceString(_:) | semmle.label | call to sourceString(_:) |
| conversions.swift:93:12:93:50 | call to Self.init(littleEndian:) | semmle.label | call to Self.init(littleEndian:) |
| conversions.swift:93:30:93:49 | call to sourceInt(_:) | semmle.label | call to sourceInt(_:) |
| conversions.swift:94:12:94:56 | call to Self.init(littleEndian:) | semmle.label | call to Self.init(littleEndian:) |
| conversions.swift:94:33:94:55 | call to sourceUInt64(_:) | semmle.label | call to sourceUInt64(_:) |
| conversions.swift:95:12:95:47 | call to Self.init(bigEndian:) | semmle.label | call to Self.init(bigEndian:) |
| conversions.swift:95:27:95:46 | call to sourceInt(_:) | semmle.label | call to sourceInt(_:) |
| conversions.swift:96:12:96:53 | call to Self.init(bigEndian:) | semmle.label | call to Self.init(bigEndian:) |
| conversions.swift:96:30:96:52 | call to sourceUInt64(_:) | semmle.label | call to sourceUInt64(_:) |
| conversions.swift:97:12:97:31 | call to sourceInt(_:) | semmle.label | call to sourceInt(_:) |
| conversions.swift:97:12:97:33 | .littleEndian | semmle.label | .littleEndian |
| conversions.swift:98:12:98:34 | call to sourceUInt64(_:) | semmle.label | call to sourceUInt64(_:) |
| conversions.swift:98:12:98:36 | .littleEndian | semmle.label | .littleEndian |
| conversions.swift:99:12:99:31 | call to sourceInt(_:) | semmle.label | call to sourceInt(_:) |
| conversions.swift:99:12:99:33 | .bigEndian | semmle.label | .bigEndian |
| conversions.swift:100:12:100:34 | call to sourceUInt64(_:) | semmle.label | call to sourceUInt64(_:) |
| conversions.swift:100:12:100:36 | .bigEndian | semmle.label | .bigEndian |
| conversions.swift:136:12:136:33 | call to sourceFloat(_:) | semmle.label | call to sourceFloat(_:) |
| conversions.swift:137:12:137:40 | call to Float.init(_:) | semmle.label | call to Float.init(_:) |
| conversions.swift:137:18:137:39 | call to sourceFloat(_:) | semmle.label | call to sourceFloat(_:) |
| conversions.swift:139:12:139:41 | call to String.init(_:) | semmle.label | call to String.init(_:) |
| conversions.swift:139:19:139:40 | call to sourceFloat(_:) | semmle.label | call to sourceFloat(_:) |
| conversions.swift:140:12:140:41 | call to String.init(_:) | semmle.label | call to String.init(_:) |
| conversions.swift:140:12:140:43 | .utf8 | semmle.label | .utf8 |
| conversions.swift:140:19:140:40 | call to sourceFloat(_:) | semmle.label | call to sourceFloat(_:) |
| conversions.swift:141:12:141:43 | call to String.init(_:) | semmle.label | call to String.init(_:) |
| conversions.swift:141:19:141:42 | call to sourceFloat80(_:) | semmle.label | call to sourceFloat80(_:) |
| conversions.swift:142:12:142:43 | call to String.init(_:) | semmle.label | call to String.init(_:) |
| conversions.swift:142:12:142:45 | .utf8 | semmle.label | .utf8 |
| conversions.swift:142:19:142:42 | call to sourceFloat80(_:) | semmle.label | call to sourceFloat80(_:) |
| conversions.swift:143:12:143:42 | call to String.init(_:) | semmle.label | call to String.init(_:) |
| conversions.swift:143:19:143:41 | call to sourceDouble(_:) | semmle.label | call to sourceDouble(_:) |
| conversions.swift:144:12:144:42 | call to String.init(_:) | semmle.label | call to String.init(_:) |
| conversions.swift:144:12:144:44 | .utf8 | semmle.label | .utf8 |
| conversions.swift:144:19:144:41 | call to sourceDouble(_:) | semmle.label | call to sourceDouble(_:) |
| conversions.swift:146:12:146:40 | call to Float.init(_:) | semmle.label | call to Float.init(_:) |
| conversions.swift:146:18:146:39 | call to sourceFloat(_:) | semmle.label | call to sourceFloat(_:) |
| conversions.swift:147:12:147:79 | call to Float.init(sign:exponent:significand:) | semmle.label | call to Float.init(sign:exponent:significand:) |
| conversions.swift:147:41:147:60 | call to sourceInt(_:) | semmle.label | call to sourceInt(_:) |
| conversions.swift:148:12:148:79 | call to Float.init(sign:exponent:significand:) | semmle.label | call to Float.init(sign:exponent:significand:) |
| conversions.swift:148:57:148:78 | call to sourceFloat(_:) | semmle.label | call to sourceFloat(_:) |
| conversions.swift:150:12:150:66 | call to Float.init(signOf:magnitudeOf:) | semmle.label | call to Float.init(signOf:magnitudeOf:) |
| conversions.swift:150:44:150:65 | call to sourceFloat(_:) | semmle.label | call to sourceFloat(_:) |
| conversions.swift:152:12:152:33 | call to sourceFloat(_:) | semmle.label | call to sourceFloat(_:) |
| conversions.swift:152:12:152:35 | .exponent | semmle.label | .exponent |
| conversions.swift:153:12:153:33 | call to sourceFloat(_:) | semmle.label | call to sourceFloat(_:) |
| conversions.swift:153:12:153:35 | .significand | semmle.label | .significand |
| conversions.swift:154:12:154:35 | call to sourceFloat80(_:) | semmle.label | call to sourceFloat80(_:) |
| conversions.swift:154:12:154:37 | .exponent | semmle.label | .exponent |
| conversions.swift:155:12:155:35 | call to sourceFloat80(_:) | semmle.label | call to sourceFloat80(_:) |
| conversions.swift:155:12:155:37 | .significand | semmle.label | .significand |
| conversions.swift:156:12:156:34 | call to sourceDouble(_:) | semmle.label | call to sourceDouble(_:) |
| conversions.swift:156:12:156:36 | .exponent | semmle.label | .exponent |
| conversions.swift:157:12:157:34 | call to sourceDouble(_:) | semmle.label | call to sourceDouble(_:) |
| conversions.swift:157:12:157:36 | .significand | semmle.label | .significand |
| conversions.swift:165:12:165:35 | call to sourceString(_:) | semmle.label | call to sourceString(_:) |
| conversions.swift:166:12:166:43 | call to String.init(_:) | semmle.label | call to String.init(_:) |
| conversions.swift:166:19:166:42 | call to sourceString(_:) | semmle.label | call to sourceString(_:) |
| conversions.swift:174:12:174:45 | call to MyString.init(_:) | semmle.label | call to MyString.init(_:) |
| conversions.swift:174:12:174:45 | call to MyString.init(_:) [some:0] | semmle.label | call to MyString.init(_:) [some:0] |
| conversions.swift:174:12:174:46 | ...! | semmle.label | ...! |
| conversions.swift:174:21:174:44 | call to sourceString(_:) | semmle.label | call to sourceString(_:) |
| conversions.swift:175:12:175:12 | ms2 | semmle.label | ms2 |
| conversions.swift:176:12:176:16 | .description | semmle.label | .description |
| conversions.swift:177:12:177:16 | .debugDescription | semmle.label | .debugDescription |
| conversions.swift:182:31:182:54 | call to sourceString(_:) | semmle.label | call to sourceString(_:) |
| conversions.swift:183:12:183:12 | parent | semmle.label | parent |
| conversions.swift:184:12:184:12 | parent | semmle.label | parent |
| conversions.swift:186:25:186:69 | call to unsafeDowncast(_:to:) | semmle.label | call to unsafeDowncast(_:to:) |
| conversions.swift:186:40:186:40 | parent | semmle.label | parent |
| conversions.swift:187:12:187:12 | v3 | semmle.label | v3 |
| conversions.swift:188:12:188:12 | v3 | semmle.label | v3 |
| conversions.swift:201:14:201:33 | call to sourceArray(_:) | semmle.label | call to sourceArray(_:) |
| conversions.swift:202:14:202:33 | [...] [Collection element] | semmle.label | [...] [Collection element] |
| conversions.swift:202:15:202:32 | call to sourceInt(_:) | semmle.label | call to sourceInt(_:) |
| conversions.swift:203:13:203:13 | arr1 | semmle.label | arr1 |
| conversions.swift:204:13:204:13 | arr2 | semmle.label | arr2 |
| conversions.swift:205:13:205:19 | ...[...] | semmle.label | ...[...] |
| conversions.swift:206:13:206:13 | arr2 [Collection element] | semmle.label | arr2 [Collection element] |
| conversions.swift:206:13:206:19 | ...[...] | semmle.label | ...[...] |
| conversions.swift:208:19:208:29 | call to Array<Element>.init(_:) [Collection element] | semmle.label | call to Array<Element>.init(_:) [Collection element] |
| conversions.swift:208:25:208:25 | arr1 | semmle.label | arr1 |
| conversions.swift:209:19:209:29 | call to Array<Element>.init(_:) [Collection element] | semmle.label | call to Array<Element>.init(_:) [Collection element] |
| conversions.swift:209:25:209:25 | arr2 [Collection element] | semmle.label | arr2 [Collection element] |
| conversions.swift:210:13:210:13 | arr1b | semmle.label | arr1b |
| conversions.swift:211:13:211:13 | arr2b | semmle.label | arr2b |
| conversions.swift:212:13:212:13 | arr1b [Collection element] | semmle.label | arr1b [Collection element] |
| conversions.swift:212:13:212:20 | ...[...] | semmle.label | ...[...] |
| conversions.swift:213:13:213:13 | arr2b [Collection element] | semmle.label | arr2b [Collection element] |
| conversions.swift:213:13:213:20 | ...[...] | semmle.label | ...[...] |
| conversions.swift:215:15:215:35 | call to ContiguousArray<Element>.init(_:) [Collection element] | semmle.label | call to ContiguousArray<Element>.init(_:) [Collection element] |
| conversions.swift:215:31:215:31 | arr1 | semmle.label | arr1 |
| conversions.swift:216:15:216:35 | call to ContiguousArray<Element>.init(_:) [Collection element] | semmle.label | call to ContiguousArray<Element>.init(_:) [Collection element] |
| conversions.swift:216:31:216:31 | arr2 [Collection element] | semmle.label | arr2 [Collection element] |
| conversions.swift:217:13:217:13 | arr1c | semmle.label | arr1c |
| conversions.swift:218:13:218:13 | arr2c | semmle.label | arr2c |
| conversions.swift:219:13:219:13 | arr1c [Collection element] | semmle.label | arr1c [Collection element] |
| conversions.swift:219:13:219:20 | ...[...] | semmle.label | ...[...] |
| conversions.swift:220:13:220:13 | arr2c [Collection element] | semmle.label | arr2c [Collection element] |
| conversions.swift:220:13:220:20 | ...[...] | semmle.label | ...[...] |
| conversions.swift:227:6:227:6 | self [v] | semmle.label | self [v] |
| conversions.swift:229:2:231:2 | self[return] [v] | semmle.label | self[return] [v] |
| conversions.swift:229:7:229:12 | v | semmle.label | v |
| conversions.swift:230:3:230:3 | [post] self [v] | semmle.label | [post] self [v] |
| conversions.swift:230:12:230:12 | v | semmle.label | v |
| conversions.swift:235:7:235:17 | withUInt | semmle.label | withUInt |
| conversions.swift:236:13:236:13 | withUInt | semmle.label | withUInt |
| conversions.swift:241:7:241:20 | withMyValue [v] | semmle.label | withMyValue [v] |
| conversions.swift:242:13:242:13 | withMyValue [v] | semmle.label | withMyValue [v] |
| conversions.swift:242:13:242:25 | .v | semmle.label | .v |
| conversions.swift:247:2:252:2 | self[return] | semmle.label | self[return] |
| conversions.swift:247:7:247:21 | withMyValue2 [v] | semmle.label | withMyValue2 [v] |
| conversions.swift:248:13:248:13 | withMyValue2 [v] | semmle.label | withMyValue2 [v] |
| conversions.swift:248:13:248:26 | .v | semmle.label | .v |
| conversions.swift:249:11:249:11 | withMyValue2 [v] | semmle.label | withMyValue2 [v] |
| conversions.swift:249:11:249:24 | .v | semmle.label | .v |
| conversions.swift:251:12:251:12 | self | semmle.label | self |
| conversions.swift:254:20:254:33 | withMyValue [v] | semmle.label | withMyValue [v] |
| conversions.swift:255:13:255:13 | withMyValue [v] | semmle.label | withMyValue [v] |
| conversions.swift:255:13:255:25 | .v | semmle.label | .v |
| conversions.swift:256:10:256:10 | withMyValue [v] | semmle.label | withMyValue [v] |
| conversions.swift:256:10:256:22 | .v | semmle.label | .v |
| conversions.swift:262:26:262:43 | call to sourceUInt(_:) | semmle.label | call to sourceUInt(_:) |
| conversions.swift:265:29:265:54 | call to MyValue.init(_:) [v] | semmle.label | call to MyValue.init(_:) [v] |
| conversions.swift:265:37:265:53 | call to sourceInt(_:) | semmle.label | call to sourceInt(_:) |
| conversions.swift:268:12:268:56 | call to Int.init(withMyValue2:) | semmle.label | call to Int.init(withMyValue2:) |
| conversions.swift:268:30:268:55 | call to MyValue.init(_:) [v] | semmle.label | call to MyValue.init(_:) [v] |
| conversions.swift:268:38:268:54 | call to sourceInt(_:) | semmle.label | call to sourceInt(_:) |
| conversions.swift:271:12:271:61 | call to mkInt(withMyValue:) | semmle.label | call to mkInt(withMyValue:) |
| conversions.swift:271:35:271:60 | call to MyValue.init(_:) [v] | semmle.label | call to MyValue.init(_:) [v] |
| conversions.swift:271:43:271:59 | call to sourceInt(_:) | semmle.label | call to sourceInt(_:) |
| file://:0:0:0:0 | .first | semmle.label | .first |
| file://:0:0:0:0 | .second | semmle.label | .second |
| file://:0:0:0:0 | .v | semmle.label | .v |
@@ -495,16 +515,16 @@ nodes
| try.swift:18:18:18:25 | call to source() | semmle.label | call to source() |
| try.swift:18:18:18:25 | call to source() [some:0] | semmle.label | call to source() [some:0] |
subpaths
| conversions.swift:212:13:212:13 | withMyValue [v] | conversions.swift:197:6:197:6 | self [v] | file://:0:0:0:0 | .v | conversions.swift:212:13:212:25 | .v |
| conversions.swift:218:13:218:13 | withMyValue2 [v] | conversions.swift:197:6:197:6 | self [v] | file://:0:0:0:0 | .v | conversions.swift:218:13:218:26 | .v |
| conversions.swift:219:11:219:11 | withMyValue2 [v] | conversions.swift:197:6:197:6 | self [v] | file://:0:0:0:0 | .v | conversions.swift:219:11:219:24 | .v |
| conversions.swift:225:13:225:13 | withMyValue [v] | conversions.swift:197:6:197:6 | self [v] | file://:0:0:0:0 | .v | conversions.swift:225:13:225:25 | .v |
| conversions.swift:226:10:226:10 | withMyValue [v] | conversions.swift:197:6:197:6 | self [v] | file://:0:0:0:0 | .v | conversions.swift:226:10:226:22 | .v |
| conversions.swift:235:37:235:53 | call to sourceInt(_:) | conversions.swift:199:7:199:12 | v | conversions.swift:199:2:201:2 | self[return] [v] | conversions.swift:235:29:235:54 | call to MyValue.init(_:) [v] |
| conversions.swift:238:30:238:55 | call to MyValue.init(_:) [v] | conversions.swift:217:7:217:21 | withMyValue2 [v] | conversions.swift:217:2:222:2 | self[return] | conversions.swift:238:12:238:56 | call to Int.init(withMyValue2:) |
| conversions.swift:238:38:238:54 | call to sourceInt(_:) | conversions.swift:199:7:199:12 | v | conversions.swift:199:2:201:2 | self[return] [v] | conversions.swift:238:30:238:55 | call to MyValue.init(_:) [v] |
| conversions.swift:241:35:241:60 | call to MyValue.init(_:) [v] | conversions.swift:224:20:224:33 | withMyValue [v] | conversions.swift:226:10:226:22 | .v | conversions.swift:241:12:241:61 | call to mkInt(withMyValue:) |
| conversions.swift:241:43:241:59 | call to sourceInt(_:) | conversions.swift:199:7:199:12 | v | conversions.swift:199:2:201:2 | self[return] [v] | conversions.swift:241:35:241:60 | call to MyValue.init(_:) [v] |
| conversions.swift:242:13:242:13 | withMyValue [v] | conversions.swift:227:6:227:6 | self [v] | file://:0:0:0:0 | .v | conversions.swift:242:13:242:25 | .v |
| conversions.swift:248:13:248:13 | withMyValue2 [v] | conversions.swift:227:6:227:6 | self [v] | file://:0:0:0:0 | .v | conversions.swift:248:13:248:26 | .v |
| conversions.swift:249:11:249:11 | withMyValue2 [v] | conversions.swift:227:6:227:6 | self [v] | file://:0:0:0:0 | .v | conversions.swift:249:11:249:24 | .v |
| conversions.swift:255:13:255:13 | withMyValue [v] | conversions.swift:227:6:227:6 | self [v] | file://:0:0:0:0 | .v | conversions.swift:255:13:255:25 | .v |
| conversions.swift:256:10:256:10 | withMyValue [v] | conversions.swift:227:6:227:6 | self [v] | file://:0:0:0:0 | .v | conversions.swift:256:10:256:22 | .v |
| conversions.swift:265:37:265:53 | call to sourceInt(_:) | conversions.swift:229:7:229:12 | v | conversions.swift:229:2:231:2 | self[return] [v] | conversions.swift:265:29:265:54 | call to MyValue.init(_:) [v] |
| conversions.swift:268:30:268:55 | call to MyValue.init(_:) [v] | conversions.swift:247:7:247:21 | withMyValue2 [v] | conversions.swift:247:2:252:2 | self[return] | conversions.swift:268:12:268:56 | call to Int.init(withMyValue2:) |
| conversions.swift:268:38:268:54 | call to sourceInt(_:) | conversions.swift:229:7:229:12 | v | conversions.swift:229:2:231:2 | self[return] [v] | conversions.swift:268:30:268:55 | call to MyValue.init(_:) [v] |
| conversions.swift:271:35:271:60 | call to MyValue.init(_:) [v] | conversions.swift:254:20:254:33 | withMyValue [v] | conversions.swift:256:10:256:22 | .v | conversions.swift:271:12:271:61 | call to mkInt(withMyValue:) |
| conversions.swift:271:43:271:59 | call to sourceInt(_:) | conversions.swift:229:7:229:12 | v | conversions.swift:229:2:231:2 | self[return] [v] | conversions.swift:271:35:271:60 | call to MyValue.init(_:) [v] |
| stringinterpolation.swift:13:36:13:36 | pair [first] | stringinterpolation.swift:6:6:6:6 | self [first] | file://:0:0:0:0 | .first | stringinterpolation.swift:13:36:13:41 | .first |
| stringinterpolation.swift:19:13:19:20 | call to source() | stringinterpolation.swift:6:6:6:6 | value | stringinterpolation.swift:6:6:6:6 | self [Return] [first] | stringinterpolation.swift:19:2:19:2 | [post] p1 [first] |
| stringinterpolation.swift:22:21:22:21 | p1 [first] | stringinterpolation.swift:6:6:6:6 | self [first] | file://:0:0:0:0 | .first | stringinterpolation.swift:22:21:22:24 | .first |
@@ -514,70 +534,76 @@ subpaths
| stringinterpolation.swift:31:21:31:21 | p2 [second] | stringinterpolation.swift:7:6:7:6 | self [second] | file://:0:0:0:0 | .second | stringinterpolation.swift:31:21:31:24 | .second |
#select
| conversions.swift:32:12:32:31 | call to sourceInt(_:) | conversions.swift:32:12:32:31 | call to sourceInt(_:) | conversions.swift:32:12:32:31 | call to sourceInt(_:) | result |
| conversions.swift:35:12:35:38 | call to Float.init(_:) | conversions.swift:35:18:35:37 | call to sourceInt(_:) | conversions.swift:35:12:35:38 | call to Float.init(_:) | result |
| conversions.swift:36:12:36:39 | call to String.init(_:) | conversions.swift:36:19:36:38 | call to sourceInt(_:) | conversions.swift:36:12:36:39 | call to String.init(_:) | result |
| conversions.swift:37:12:37:41 | .utf8 | conversions.swift:37:19:37:38 | call to sourceInt(_:) | conversions.swift:37:12:37:41 | .utf8 | result |
| conversions.swift:40:12:40:12 | arr | conversions.swift:39:19:39:38 | call to sourceInt(_:) | conversions.swift:40:12:40:12 | arr | result |
| conversions.swift:41:12:41:17 | ...[...] | conversions.swift:39:19:39:38 | call to sourceInt(_:) | conversions.swift:41:12:41:17 | ...[...] | result |
| conversions.swift:42:12:42:23 | call to Array<Element>.init(_:) | conversions.swift:39:19:39:38 | call to sourceInt(_:) | conversions.swift:42:12:42:23 | call to Array<Element>.init(_:) | result |
| conversions.swift:43:12:43:26 | ...[...] | conversions.swift:39:19:39:38 | call to sourceInt(_:) | conversions.swift:43:12:43:26 | ...[...] | result |
| conversions.swift:44:12:44:48 | call to Array<Element>.init(_:) | conversions.swift:44:20:44:42 | call to sourceString(_:) | conversions.swift:44:12:44:48 | call to Array<Element>.init(_:) | result |
| conversions.swift:45:12:45:51 | ...[...] | conversions.swift:45:20:45:42 | call to sourceString(_:) | conversions.swift:45:12:45:51 | ...[...] | result |
| conversions.swift:48:13:48:13 | v | conversions.swift:47:13:47:32 | call to sourceInt(_:) | conversions.swift:48:13:48:13 | v | result |
| conversions.swift:52:12:52:12 | v2 | conversions.swift:51:30:51:49 | call to sourceInt(_:) | conversions.swift:52:12:52:12 | v2 | result |
| conversions.swift:55:12:55:12 | v4 | conversions.swift:54:31:54:50 | call to sourceInt(_:) | conversions.swift:55:12:55:12 | v4 | result |
| conversions.swift:64:12:64:12 | v7 | conversions.swift:63:15:63:34 | call to sourceInt(_:) | conversions.swift:64:12:64:12 | v7 | result |
| conversions.swift:75:12:75:51 | ...! | conversions.swift:75:16:75:38 | call to sourceString(_:) | conversions.swift:75:12:75:51 | ...! | result |
| conversions.swift:77:12:77:50 | call to Self.init(littleEndian:) | conversions.swift:77:30:77:49 | call to sourceInt(_:) | conversions.swift:77:12:77:50 | call to Self.init(littleEndian:) | result |
| conversions.swift:78:12:78:47 | call to Self.init(bigEndian:) | conversions.swift:78:27:78:46 | call to sourceInt(_:) | conversions.swift:78:12:78:47 | call to Self.init(bigEndian:) | result |
| conversions.swift:79:12:79:33 | .littleEndian | conversions.swift:79:12:79:31 | call to sourceInt(_:) | conversions.swift:79:12:79:33 | .littleEndian | result |
| conversions.swift:80:12:80:33 | .bigEndian | conversions.swift:80:12:80:31 | call to sourceInt(_:) | conversions.swift:80:12:80:33 | .bigEndian | result |
| conversions.swift:108:12:108:33 | call to sourceFloat(_:) | conversions.swift:108:12:108:33 | call to sourceFloat(_:) | conversions.swift:108:12:108:33 | call to sourceFloat(_:) | result |
| conversions.swift:109:12:109:40 | call to Float.init(_:) | conversions.swift:109:18:109:39 | call to sourceFloat(_:) | conversions.swift:109:12:109:40 | call to Float.init(_:) | result |
| conversions.swift:111:12:111:41 | call to String.init(_:) | conversions.swift:111:19:111:40 | call to sourceFloat(_:) | conversions.swift:111:12:111:41 | call to String.init(_:) | result |
| conversions.swift:112:12:112:43 | .utf8 | conversions.swift:112:19:112:40 | call to sourceFloat(_:) | conversions.swift:112:12:112:43 | .utf8 | result |
| conversions.swift:113:12:113:43 | call to String.init(_:) | conversions.swift:113:19:113:42 | call to sourceFloat80(_:) | conversions.swift:113:12:113:43 | call to String.init(_:) | result |
| conversions.swift:114:12:114:45 | .utf8 | conversions.swift:114:19:114:42 | call to sourceFloat80(_:) | conversions.swift:114:12:114:45 | .utf8 | result |
| conversions.swift:115:12:115:42 | call to String.init(_:) | conversions.swift:115:19:115:41 | call to sourceDouble(_:) | conversions.swift:115:12:115:42 | call to String.init(_:) | result |
| conversions.swift:116:12:116:44 | .utf8 | conversions.swift:116:19:116:41 | call to sourceDouble(_:) | conversions.swift:116:12:116:44 | .utf8 | result |
| conversions.swift:118:12:118:40 | call to Float.init(_:) | conversions.swift:118:18:118:39 | call to sourceFloat(_:) | conversions.swift:118:12:118:40 | call to Float.init(_:) | result |
| conversions.swift:119:12:119:79 | call to Float.init(sign:exponent:significand:) | conversions.swift:119:41:119:60 | call to sourceInt(_:) | conversions.swift:119:12:119:79 | call to Float.init(sign:exponent:significand:) | result |
| conversions.swift:120:12:120:79 | call to Float.init(sign:exponent:significand:) | conversions.swift:120:57:120:78 | call to sourceFloat(_:) | conversions.swift:120:12:120:79 | call to Float.init(sign:exponent:significand:) | result |
| conversions.swift:122:12:122:66 | call to Float.init(signOf:magnitudeOf:) | conversions.swift:122:44:122:65 | call to sourceFloat(_:) | conversions.swift:122:12:122:66 | call to Float.init(signOf:magnitudeOf:) | result |
| conversions.swift:124:12:124:35 | .exponent | conversions.swift:124:12:124:33 | call to sourceFloat(_:) | conversions.swift:124:12:124:35 | .exponent | result |
| conversions.swift:125:12:125:35 | .significand | conversions.swift:125:12:125:33 | call to sourceFloat(_:) | conversions.swift:125:12:125:35 | .significand | result |
| conversions.swift:126:12:126:37 | .exponent | conversions.swift:126:12:126:35 | call to sourceFloat80(_:) | conversions.swift:126:12:126:37 | .exponent | result |
| conversions.swift:127:12:127:37 | .significand | conversions.swift:127:12:127:35 | call to sourceFloat80(_:) | conversions.swift:127:12:127:37 | .significand | result |
| conversions.swift:128:12:128:36 | .exponent | conversions.swift:128:12:128:34 | call to sourceDouble(_:) | conversions.swift:128:12:128:36 | .exponent | result |
| conversions.swift:129:12:129:36 | .significand | conversions.swift:129:12:129:34 | call to sourceDouble(_:) | conversions.swift:129:12:129:36 | .significand | result |
| conversions.swift:135:12:135:35 | call to sourceString(_:) | conversions.swift:135:12:135:35 | call to sourceString(_:) | conversions.swift:135:12:135:35 | call to sourceString(_:) | result |
| conversions.swift:136:12:136:43 | call to String.init(_:) | conversions.swift:136:19:136:42 | call to sourceString(_:) | conversions.swift:136:12:136:43 | call to String.init(_:) | result |
| conversions.swift:145:12:145:12 | ms2 | conversions.swift:144:21:144:44 | call to sourceString(_:) | conversions.swift:145:12:145:12 | ms2 | result |
| conversions.swift:146:12:146:16 | .description | conversions.swift:144:21:144:44 | call to sourceString(_:) | conversions.swift:146:12:146:16 | .description | result |
| conversions.swift:147:12:147:16 | .debugDescription | conversions.swift:144:21:144:44 | call to sourceString(_:) | conversions.swift:147:12:147:16 | .debugDescription | result |
| conversions.swift:153:12:153:12 | parent | conversions.swift:152:31:152:54 | call to sourceString(_:) | conversions.swift:153:12:153:12 | parent | result |
| conversions.swift:154:12:154:12 | parent | conversions.swift:152:31:152:54 | call to sourceString(_:) | conversions.swift:154:12:154:12 | parent | result |
| conversions.swift:157:12:157:12 | v3 | conversions.swift:152:31:152:54 | call to sourceString(_:) | conversions.swift:157:12:157:12 | v3 | result |
| conversions.swift:158:12:158:12 | v3 | conversions.swift:152:31:152:54 | call to sourceString(_:) | conversions.swift:158:12:158:12 | v3 | result |
| conversions.swift:173:13:173:13 | arr1 | conversions.swift:171:14:171:33 | call to sourceArray(_:) | conversions.swift:173:13:173:13 | arr1 | result |
| conversions.swift:174:13:174:13 | arr2 | conversions.swift:172:15:172:32 | call to sourceInt(_:) | conversions.swift:174:13:174:13 | arr2 | result |
| conversions.swift:175:13:175:19 | ...[...] | conversions.swift:171:14:171:33 | call to sourceArray(_:) | conversions.swift:175:13:175:19 | ...[...] | result |
| conversions.swift:176:13:176:19 | ...[...] | conversions.swift:172:15:172:32 | call to sourceInt(_:) | conversions.swift:176:13:176:19 | ...[...] | result |
| conversions.swift:180:13:180:13 | arr1b | conversions.swift:171:14:171:33 | call to sourceArray(_:) | conversions.swift:180:13:180:13 | arr1b | result |
| conversions.swift:181:13:181:13 | arr2b | conversions.swift:172:15:172:32 | call to sourceInt(_:) | conversions.swift:181:13:181:13 | arr2b | result |
| conversions.swift:182:13:182:20 | ...[...] | conversions.swift:171:14:171:33 | call to sourceArray(_:) | conversions.swift:182:13:182:20 | ...[...] | result |
| conversions.swift:183:13:183:20 | ...[...] | conversions.swift:172:15:172:32 | call to sourceInt(_:) | conversions.swift:183:13:183:20 | ...[...] | result |
| conversions.swift:187:13:187:13 | arr1c | conversions.swift:171:14:171:33 | call to sourceArray(_:) | conversions.swift:187:13:187:13 | arr1c | result |
| conversions.swift:188:13:188:13 | arr2c | conversions.swift:172:15:172:32 | call to sourceInt(_:) | conversions.swift:188:13:188:13 | arr2c | result |
| conversions.swift:189:13:189:20 | ...[...] | conversions.swift:171:14:171:33 | call to sourceArray(_:) | conversions.swift:189:13:189:20 | ...[...] | result |
| conversions.swift:190:13:190:20 | ...[...] | conversions.swift:172:15:172:32 | call to sourceInt(_:) | conversions.swift:190:13:190:20 | ...[...] | result |
| conversions.swift:206:13:206:13 | withUInt | conversions.swift:232:26:232:43 | call to sourceUInt(_:) | conversions.swift:206:13:206:13 | withUInt | result |
| conversions.swift:212:13:212:25 | .v | conversions.swift:235:37:235:53 | call to sourceInt(_:) | conversions.swift:212:13:212:25 | .v | result |
| conversions.swift:218:13:218:26 | .v | conversions.swift:238:38:238:54 | call to sourceInt(_:) | conversions.swift:218:13:218:26 | .v | result |
| conversions.swift:221:12:221:12 | self | conversions.swift:238:38:238:54 | call to sourceInt(_:) | conversions.swift:221:12:221:12 | self | result |
| conversions.swift:225:13:225:25 | .v | conversions.swift:241:43:241:59 | call to sourceInt(_:) | conversions.swift:225:13:225:25 | .v | result |
| conversions.swift:238:12:238:56 | call to Int.init(withMyValue2:) | conversions.swift:238:38:238:54 | call to sourceInt(_:) | conversions.swift:238:12:238:56 | call to Int.init(withMyValue2:) | result |
| conversions.swift:241:12:241:61 | call to mkInt(withMyValue:) | conversions.swift:241:43:241:59 | call to sourceInt(_:) | conversions.swift:241:12:241:61 | call to mkInt(withMyValue:) | result |
| conversions.swift:45:12:45:39 | call to Float.init(_:) | conversions.swift:45:18:45:38 | call to sourceInt(_:) | conversions.swift:45:12:45:39 | call to Float.init(_:) | result |
| conversions.swift:46:12:46:40 | call to Double.init(_:) | conversions.swift:46:19:46:39 | call to sourceInt(_:) | conversions.swift:46:12:46:40 | call to Double.init(_:) | result |
| conversions.swift:47:12:47:40 | call to String.init(_:) | conversions.swift:47:19:47:39 | call to sourceInt(_:) | conversions.swift:47:12:47:40 | call to String.init(_:) | result |
| conversions.swift:48:12:48:42 | .utf8 | conversions.swift:48:19:48:39 | call to sourceInt(_:) | conversions.swift:48:12:48:42 | .utf8 | result |
| conversions.swift:51:12:51:12 | arr | conversions.swift:50:19:50:38 | call to sourceInt(_:) | conversions.swift:51:12:51:12 | arr | result |
| conversions.swift:52:12:52:17 | ...[...] | conversions.swift:50:19:50:38 | call to sourceInt(_:) | conversions.swift:52:12:52:17 | ...[...] | result |
| conversions.swift:53:12:53:23 | call to Array<Element>.init(_:) | conversions.swift:50:19:50:38 | call to sourceInt(_:) | conversions.swift:53:12:53:23 | call to Array<Element>.init(_:) | result |
| conversions.swift:54:12:54:26 | ...[...] | conversions.swift:50:19:50:38 | call to sourceInt(_:) | conversions.swift:54:12:54:26 | ...[...] | result |
| conversions.swift:55:12:55:48 | call to Array<Element>.init(_:) | conversions.swift:55:20:55:42 | call to sourceString(_:) | conversions.swift:55:12:55:48 | call to Array<Element>.init(_:) | result |
| conversions.swift:56:12:56:51 | ...[...] | conversions.swift:56:20:56:42 | call to sourceString(_:) | conversions.swift:56:12:56:51 | ...[...] | result |
| conversions.swift:59:13:59:13 | v | conversions.swift:58:13:58:32 | call to sourceInt(_:) | conversions.swift:59:13:59:13 | v | result |
| conversions.swift:63:12:63:12 | v2 | conversions.swift:62:30:62:49 | call to sourceInt(_:) | conversions.swift:63:12:63:12 | v2 | result |
| conversions.swift:66:12:66:12 | v4 | conversions.swift:65:31:65:50 | call to sourceInt(_:) | conversions.swift:66:12:66:12 | v4 | result |
| conversions.swift:75:12:75:12 | v7 | conversions.swift:74:15:74:34 | call to sourceInt(_:) | conversions.swift:75:12:75:12 | v7 | result |
| conversions.swift:90:12:90:51 | ...! | conversions.swift:90:16:90:38 | call to sourceString(_:) | conversions.swift:90:12:90:51 | ...! | result |
| conversions.swift:91:12:91:54 | ...! | conversions.swift:91:19:91:41 | call to sourceString(_:) | conversions.swift:91:12:91:54 | ...! | result |
| conversions.swift:93:12:93:50 | call to Self.init(littleEndian:) | conversions.swift:93:30:93:49 | call to sourceInt(_:) | conversions.swift:93:12:93:50 | call to Self.init(littleEndian:) | result |
| conversions.swift:94:12:94:56 | call to Self.init(littleEndian:) | conversions.swift:94:33:94:55 | call to sourceUInt64(_:) | conversions.swift:94:12:94:56 | call to Self.init(littleEndian:) | result |
| conversions.swift:95:12:95:47 | call to Self.init(bigEndian:) | conversions.swift:95:27:95:46 | call to sourceInt(_:) | conversions.swift:95:12:95:47 | call to Self.init(bigEndian:) | result |
| conversions.swift:96:12:96:53 | call to Self.init(bigEndian:) | conversions.swift:96:30:96:52 | call to sourceUInt64(_:) | conversions.swift:96:12:96:53 | call to Self.init(bigEndian:) | result |
| conversions.swift:97:12:97:33 | .littleEndian | conversions.swift:97:12:97:31 | call to sourceInt(_:) | conversions.swift:97:12:97:33 | .littleEndian | result |
| conversions.swift:98:12:98:36 | .littleEndian | conversions.swift:98:12:98:34 | call to sourceUInt64(_:) | conversions.swift:98:12:98:36 | .littleEndian | result |
| conversions.swift:99:12:99:33 | .bigEndian | conversions.swift:99:12:99:31 | call to sourceInt(_:) | conversions.swift:99:12:99:33 | .bigEndian | result |
| conversions.swift:100:12:100:36 | .bigEndian | conversions.swift:100:12:100:34 | call to sourceUInt64(_:) | conversions.swift:100:12:100:36 | .bigEndian | result |
| conversions.swift:136:12:136:33 | call to sourceFloat(_:) | conversions.swift:136:12:136:33 | call to sourceFloat(_:) | conversions.swift:136:12:136:33 | call to sourceFloat(_:) | result |
| conversions.swift:137:12:137:40 | call to Float.init(_:) | conversions.swift:137:18:137:39 | call to sourceFloat(_:) | conversions.swift:137:12:137:40 | call to Float.init(_:) | result |
| conversions.swift:139:12:139:41 | call to String.init(_:) | conversions.swift:139:19:139:40 | call to sourceFloat(_:) | conversions.swift:139:12:139:41 | call to String.init(_:) | result |
| conversions.swift:140:12:140:43 | .utf8 | conversions.swift:140:19:140:40 | call to sourceFloat(_:) | conversions.swift:140:12:140:43 | .utf8 | result |
| conversions.swift:141:12:141:43 | call to String.init(_:) | conversions.swift:141:19:141:42 | call to sourceFloat80(_:) | conversions.swift:141:12:141:43 | call to String.init(_:) | result |
| conversions.swift:142:12:142:45 | .utf8 | conversions.swift:142:19:142:42 | call to sourceFloat80(_:) | conversions.swift:142:12:142:45 | .utf8 | result |
| conversions.swift:143:12:143:42 | call to String.init(_:) | conversions.swift:143:19:143:41 | call to sourceDouble(_:) | conversions.swift:143:12:143:42 | call to String.init(_:) | result |
| conversions.swift:144:12:144:44 | .utf8 | conversions.swift:144:19:144:41 | call to sourceDouble(_:) | conversions.swift:144:12:144:44 | .utf8 | result |
| conversions.swift:146:12:146:40 | call to Float.init(_:) | conversions.swift:146:18:146:39 | call to sourceFloat(_:) | conversions.swift:146:12:146:40 | call to Float.init(_:) | result |
| conversions.swift:147:12:147:79 | call to Float.init(sign:exponent:significand:) | conversions.swift:147:41:147:60 | call to sourceInt(_:) | conversions.swift:147:12:147:79 | call to Float.init(sign:exponent:significand:) | result |
| conversions.swift:148:12:148:79 | call to Float.init(sign:exponent:significand:) | conversions.swift:148:57:148:78 | call to sourceFloat(_:) | conversions.swift:148:12:148:79 | call to Float.init(sign:exponent:significand:) | result |
| conversions.swift:150:12:150:66 | call to Float.init(signOf:magnitudeOf:) | conversions.swift:150:44:150:65 | call to sourceFloat(_:) | conversions.swift:150:12:150:66 | call to Float.init(signOf:magnitudeOf:) | result |
| conversions.swift:152:12:152:35 | .exponent | conversions.swift:152:12:152:33 | call to sourceFloat(_:) | conversions.swift:152:12:152:35 | .exponent | result |
| conversions.swift:153:12:153:35 | .significand | conversions.swift:153:12:153:33 | call to sourceFloat(_:) | conversions.swift:153:12:153:35 | .significand | result |
| conversions.swift:154:12:154:37 | .exponent | conversions.swift:154:12:154:35 | call to sourceFloat80(_:) | conversions.swift:154:12:154:37 | .exponent | result |
| conversions.swift:155:12:155:37 | .significand | conversions.swift:155:12:155:35 | call to sourceFloat80(_:) | conversions.swift:155:12:155:37 | .significand | result |
| conversions.swift:156:12:156:36 | .exponent | conversions.swift:156:12:156:34 | call to sourceDouble(_:) | conversions.swift:156:12:156:36 | .exponent | result |
| conversions.swift:157:12:157:36 | .significand | conversions.swift:157:12:157:34 | call to sourceDouble(_:) | conversions.swift:157:12:157:36 | .significand | result |
| conversions.swift:165:12:165:35 | call to sourceString(_:) | conversions.swift:165:12:165:35 | call to sourceString(_:) | conversions.swift:165:12:165:35 | call to sourceString(_:) | result |
| conversions.swift:166:12:166:43 | call to String.init(_:) | conversions.swift:166:19:166:42 | call to sourceString(_:) | conversions.swift:166:12:166:43 | call to String.init(_:) | result |
| conversions.swift:175:12:175:12 | ms2 | conversions.swift:174:21:174:44 | call to sourceString(_:) | conversions.swift:175:12:175:12 | ms2 | result |
| conversions.swift:176:12:176:16 | .description | conversions.swift:174:21:174:44 | call to sourceString(_:) | conversions.swift:176:12:176:16 | .description | result |
| conversions.swift:177:12:177:16 | .debugDescription | conversions.swift:174:21:174:44 | call to sourceString(_:) | conversions.swift:177:12:177:16 | .debugDescription | result |
| conversions.swift:183:12:183:12 | parent | conversions.swift:182:31:182:54 | call to sourceString(_:) | conversions.swift:183:12:183:12 | parent | result |
| conversions.swift:184:12:184:12 | parent | conversions.swift:182:31:182:54 | call to sourceString(_:) | conversions.swift:184:12:184:12 | parent | result |
| conversions.swift:187:12:187:12 | v3 | conversions.swift:182:31:182:54 | call to sourceString(_:) | conversions.swift:187:12:187:12 | v3 | result |
| conversions.swift:188:12:188:12 | v3 | conversions.swift:182:31:182:54 | call to sourceString(_:) | conversions.swift:188:12:188:12 | v3 | result |
| conversions.swift:203:13:203:13 | arr1 | conversions.swift:201:14:201:33 | call to sourceArray(_:) | conversions.swift:203:13:203:13 | arr1 | result |
| conversions.swift:204:13:204:13 | arr2 | conversions.swift:202:15:202:32 | call to sourceInt(_:) | conversions.swift:204:13:204:13 | arr2 | result |
| conversions.swift:205:13:205:19 | ...[...] | conversions.swift:201:14:201:33 | call to sourceArray(_:) | conversions.swift:205:13:205:19 | ...[...] | result |
| conversions.swift:206:13:206:19 | ...[...] | conversions.swift:202:15:202:32 | call to sourceInt(_:) | conversions.swift:206:13:206:19 | ...[...] | result |
| conversions.swift:210:13:210:13 | arr1b | conversions.swift:201:14:201:33 | call to sourceArray(_:) | conversions.swift:210:13:210:13 | arr1b | result |
| conversions.swift:211:13:211:13 | arr2b | conversions.swift:202:15:202:32 | call to sourceInt(_:) | conversions.swift:211:13:211:13 | arr2b | result |
| conversions.swift:212:13:212:20 | ...[...] | conversions.swift:201:14:201:33 | call to sourceArray(_:) | conversions.swift:212:13:212:20 | ...[...] | result |
| conversions.swift:213:13:213:20 | ...[...] | conversions.swift:202:15:202:32 | call to sourceInt(_:) | conversions.swift:213:13:213:20 | ...[...] | result |
| conversions.swift:217:13:217:13 | arr1c | conversions.swift:201:14:201:33 | call to sourceArray(_:) | conversions.swift:217:13:217:13 | arr1c | result |
| conversions.swift:218:13:218:13 | arr2c | conversions.swift:202:15:202:32 | call to sourceInt(_:) | conversions.swift:218:13:218:13 | arr2c | result |
| conversions.swift:219:13:219:20 | ...[...] | conversions.swift:201:14:201:33 | call to sourceArray(_:) | conversions.swift:219:13:219:20 | ...[...] | result |
| conversions.swift:220:13:220:20 | ...[...] | conversions.swift:202:15:202:32 | call to sourceInt(_:) | conversions.swift:220:13:220:20 | ...[...] | result |
| conversions.swift:236:13:236:13 | withUInt | conversions.swift:262:26:262:43 | call to sourceUInt(_:) | conversions.swift:236:13:236:13 | withUInt | result |
| conversions.swift:242:13:242:25 | .v | conversions.swift:265:37:265:53 | call to sourceInt(_:) | conversions.swift:242:13:242:25 | .v | result |
| conversions.swift:248:13:248:26 | .v | conversions.swift:268:38:268:54 | call to sourceInt(_:) | conversions.swift:248:13:248:26 | .v | result |
| conversions.swift:251:12:251:12 | self | conversions.swift:268:38:268:54 | call to sourceInt(_:) | conversions.swift:251:12:251:12 | self | result |
| conversions.swift:255:13:255:25 | .v | conversions.swift:271:43:271:59 | call to sourceInt(_:) | conversions.swift:255:13:255:25 | .v | result |
| conversions.swift:268:12:268:56 | call to Int.init(withMyValue2:) | conversions.swift:268:38:268:54 | call to sourceInt(_:) | conversions.swift:268:12:268:56 | call to Int.init(withMyValue2:) | result |
| conversions.swift:271:12:271:61 | call to mkInt(withMyValue:) | conversions.swift:271:43:271:59 | call to sourceInt(_:) | conversions.swift:271:12:271:61 | call to mkInt(withMyValue:) | result |
| simple.swift:12:13:12:24 | ... .+(_:_:) ... | simple.swift:12:17:12:24 | call to source() | simple.swift:12:13:12:24 | ... .+(_:_:) ... | result |
| simple.swift:13:13:13:24 | ... .+(_:_:) ... | simple.swift:13:13:13:20 | call to source() | simple.swift:13:13:13:24 | ... .+(_:_:) ... | result |
| simple.swift:14:13:14:24 | ... .-(_:_:) ... | simple.swift:14:17:14:24 | call to source() | simple.swift:14:13:14:24 | ... .-(_:_:) ... | result |

41
swift/ql/test/library-tests/dataflow/taint/core/TaintInline.expected
View File

@@ -1,17 +1,30 @@
testFailures
| conversions.swift:33:39:34:1 | // $ tainted=conv1-2\n | Missing result: tainted=conv1-2 |
| conversions.swift:34:41:35:1 | // $ tainted=conv1-3\n | Missing result: tainted=conv1-3 |
| conversions.swift:58:16:59:1 | // $ tainted=conv3-4\n | Missing result: tainted=conv3-4 |
| conversions.swift:61:16:62:1 | // $ tainted=conv3-5\n | Missing result: tainted=conv3-5 |
| conversions.swift:69:51:70:1 | // $ tainted=conv3-7\n | Missing result: tainted=conv3-7 |
| conversions.swift:71:49:72:1 | // $ tainted=conv4-1\n | Missing result: tainted=conv4-1 |
| conversions.swift:72:52:73:1 | // $ tainted=conv4-2\n | Missing result: tainted=conv4-2 |
| conversions.swift:73:49:74:1 | // $ tainted=conv4-3\n | Missing result: tainted=conv4-3 |
| conversions.swift:74:59:75:1 | // $ tainted=conv4-4\n | Missing result: tainted=conv4-4 |
| conversions.swift:110:43:111:1 | // $ tainted=conv7-3\n | Missing result: tainted=conv7-3 |
| conversions.swift:130:47:131:1 | // $ tainted=conv9-7\n | Missing result: tainted=conv9-7 |
| conversions.swift:131:49:132:1 | // $ tainted=conv9-8\n | Missing result: tainted=conv9-8 |
| conversions.swift:166:45:167:1 | // $ tainted=cenum\n | Missing result: tainted=cenum |
| conversions.swift:208:18:209:1 | // $ tainted=ext1\n | Missing result: tainted=ext1 |
| conversions.swift:232:47:233:1 | // $ tainted=ext1\n | Missing result: tainted=ext1 |
| conversions.swift:34:40:35:1 | // $ tainted=conv1-3\n | Missing result: tainted=conv1-3 |
| conversions.swift:35:41:36:1 | // $ tainted=conv1-4\n | Missing result: tainted=conv1-4 |
| conversions.swift:36:41:37:1 | // $ tainted=conv1-5\n | Missing result: tainted=conv1-5 |
| conversions.swift:37:41:38:1 | // $ tainted=conv1-6\n | Missing result: tainted=conv1-6 |
| conversions.swift:39:40:40:1 | // $ tainted=conv1-8\n | Missing result: tainted=conv1-8 |
| conversions.swift:40:41:41:1 | // $ tainted=conv1-9\n | Missing result: tainted=conv1-9 |
| conversions.swift:41:43:42:1 | // $ tainted=conv1-10\n | Missing result: tainted=conv1-10 |
| conversions.swift:42:43:43:1 | // $ tainted=conv1-11\n | Missing result: tainted=conv1-11 |
| conversions.swift:43:43:44:1 | // $ tainted=conv1-12\n | Missing result: tainted=conv1-12 |
| conversions.swift:69:16:70:1 | // $ tainted=conv3-4\n | Missing result: tainted=conv3-4 |
| conversions.swift:72:16:73:1 | // $ tainted=conv3-5\n | Missing result: tainted=conv3-5 |
| conversions.swift:80:51:81:1 | // $ tainted=conv3-7\n | Missing result: tainted=conv3-7 |
| conversions.swift:82:54:83:1 | // $ tainted=conv3-8\n | Missing result: tainted=conv3-8 |
| conversions.swift:84:49:85:1 | // $ tainted=conv4-1\n | Missing result: tainted=conv4-1 |
| conversions.swift:85:52:86:1 | // $ tainted=conv4-2\n | Missing result: tainted=conv4-2 |
| conversions.swift:86:49:87:1 | // $ tainted=conv4-3\n | Missing result: tainted=conv4-3 |
| conversions.swift:87:52:88:1 | // $ tainted=conv4-4\n | Missing result: tainted=conv4-4 |
| conversions.swift:88:59:89:1 | // $ tainted=conv4-5\n | Missing result: tainted=conv4-5 |
| conversions.swift:89:62:90:1 | // $ tainted=conv4-6\n | Missing result: tainted=conv4-6 |
| conversions.swift:138:43:139:1 | // $ tainted=conv7-3\n | Missing result: tainted=conv7-3 |
| conversions.swift:158:47:159:1 | // $ tainted=conv9-7\n | Missing result: tainted=conv9-7 |
| conversions.swift:159:49:160:1 | // $ tainted=conv9-8\n | Missing result: tainted=conv9-8 |
| conversions.swift:160:44:161:1 | // $ tainted=conv9-9\n | Missing result: tainted=conv9-9 |
| conversions.swift:161:48:162:1 | // $ tainted=conv9-10\n | Missing result: tainted=conv9-10 |
| conversions.swift:196:45:197:1 | // $ tainted=cenum\n | Missing result: tainted=cenum |
| conversions.swift:238:18:239:1 | // $ tainted=ext1\n | Missing result: tainted=ext1 |
| conversions.swift:262:47:263:1 | // $ tainted=ext1\n | Missing result: tainted=ext1 |
failures

56
swift/ql/test/library-tests/dataflow/taint/core/conversions.swift
View File

@@ -31,10 +31,21 @@ typealias MyInt = Int
func testConversions() {
sink(arg: sourceInt("conv1-1")) // $ tainted=conv1-1
sink(arg: Int(sourceInt("conv1-2"))) // $ tainted=conv1-2
sink(arg: UInt8(sourceInt("conv1-3"))) // $ tainted=conv1-3
sink(arg: Float(sourceInt("conv1-4"))) // $ tainted=conv1-4
sink(arg: String(sourceInt("conv1-5"))) // $ tainted=conv1-5
sink(arg: String(sourceInt("conv1-6")).utf8) // $ tainted=conv1-6
sink(arg: Int8(sourceInt("conv1-3"))) // $ tainted=conv1-3
sink(arg: Int16(sourceInt("conv1-4"))) // $ tainted=conv1-4
sink(arg: Int32(sourceInt("conv1-5"))) // $ tainted=conv1-5
sink(arg: Int64(sourceInt("conv1-6"))) // $ tainted=conv1-6
//sink(arg: Int128(sourceInt("conv1-7"))) --- doesn't build in test (yet)
sink(arg: UInt(sourceInt("conv1-8"))) // $ tainted=conv1-8
sink(arg: UInt8(sourceInt("conv1-9"))) // $ tainted=conv1-9
sink(arg: UInt16(sourceInt("conv1-10"))) // $ tainted=conv1-10
sink(arg: UInt32(sourceInt("conv1-11"))) // $ tainted=conv1-11
sink(arg: UInt64(sourceInt("conv1-12"))) // $ tainted=conv1-12
//sink(arg: UInt128(sourceInt("conv1-13"))) --- doesn't build in test (yet)
sink(arg: Float(sourceInt("conv1-14"))) // $ tainted=conv1-14
sink(arg: Double(sourceInt("conv1-15"))) // $ tainted=conv1-15
sink(arg: String(sourceInt("conv1-16"))) // $ tainted=conv1-16
sink(arg: String(sourceInt("conv1-17")).utf8) // $ tainted=conv1-17
let arr = [1, 2, sourceInt("conv2-1")]
sink(arg: arr) // $ tainted=conv2-1
@@ -67,17 +78,26 @@ func testConversions() {
sink(arg: v8)
sink(arg: v8.advanced(by: 1))
sink(arg: v8.advanced(by: sourceInt("conv3-7"))) // $ tainted=conv3-7
sink(arg: v8.distance(to: 1))
sink(arg: v8.distance(to: sourceUInt64("conv3-8"))) // $ tainted=conv3-8
sink(arg: Int(exactly: sourceInt("conv4-1"))!) // $ tainted=conv4-1
sink(arg: UInt32(exactly: sourceInt("conv4-2"))!) // $ tainted=conv4-2
sink(arg: Int(clamping: sourceInt("conv4-3"))) // $ tainted=conv4-3
sink(arg: Int(truncatingIfNeeded: sourceInt("conv4-4"))) // $ tainted=conv4-4
sink(arg: Int(sourceString("conv4-5"), radix: 10)!) // $ tainted=conv4-5
sink(arg: UInt32(clamping: sourceInt("conv4-4"))) // $ tainted=conv4-4
sink(arg: Int(truncatingIfNeeded: sourceInt("conv4-5"))) // $ tainted=conv4-5
sink(arg: UInt32(truncatingIfNeeded: sourceInt("conv4-6"))) // $ tainted=conv4-6
sink(arg: Int(sourceString("conv4-7"), radix: 10)!) // $ tainted=conv4-7
sink(arg: UInt32(sourceString("conv4-8"), radix: 10)!) // $ tainted=conv4-8
sink(arg: Int(littleEndian: sourceInt("conv5-1"))) // $ tainted=conv5-1
sink(arg: Int(bigEndian: sourceInt("conv5-2"))) // $ tainted=conv5-2
sink(arg: sourceInt("conv5-3").littleEndian) // $ tainted=conv5-3
sink(arg: sourceInt("conv5-4").bigEndian) // $ tainted=conv5-4
sink(arg: UInt64(littleEndian: sourceUInt64("conv5-2"))) // $ tainted=conv5-2
sink(arg: Int(bigEndian: sourceInt("conv5-3"))) // $ tainted=conv5-3
sink(arg: UInt64(bigEndian: sourceUInt64("conv5-4"))) // $ tainted=conv5-4
sink(arg: sourceInt("conv5-5").littleEndian) // $ tainted=conv5-5
sink(arg: sourceUInt64("conv5-6").littleEndian) // $ tainted=conv5-6
sink(arg: sourceInt("conv5-7").bigEndian) // $ tainted=conv5-7
sink(arg: sourceUInt64("conv5-8").bigEndian) // $ tainted=conv5-8
let (q1, r1) = 1000.quotientAndRemainder(dividingBy: 2)
sink(arg: q1)
@@ -91,18 +111,26 @@ func testConversions() {
sink(arg: q3) // $ MISSING: tainted=conv6-2
sink(arg: r3) // $ MISSING: tainted=conv6-2
let (q4, r4) = UInt64(1000).quotientAndRemainder(dividingBy: sourceUInt64("conv6-3"))
sink(arg: q4) // $ MISSING: tainted=conv6-3
sink(arg: r4) // $ MISSING: tainted=conv6-3
let pair1 = 1000.addingReportingOverflow(2)
sink(arg: pair1.0) // part
sink(arg: pair1.1) // overflow
let pair2 = sourceInt("conv6-3").addingReportingOverflow(2)
sink(arg: pair2.0) // $ MISSING: tainted=conv6-3
let pair2 = sourceInt("conv6-4").addingReportingOverflow(2)
sink(arg: pair2.0) // $ MISSING: tainted=conv6-4
sink(arg: pair2.1)
let pair3 = 1000.addingReportingOverflow(sourceInt("conv6-4"))
sink(arg: pair3.0) // $ MISSING: tainted=conv6-4
let pair3 = 1000.addingReportingOverflow(sourceInt("conv6-5"))
sink(arg: pair3.0) // $ MISSING: tainted=conv6-5
sink(arg: pair3.1)
let pair4 = UInt64(1000).addingReportingOverflow(sourceUInt64("conv6-6"))
sink(arg: pair4.0) // $ MISSING: tainted=conv6-6
sink(arg: pair4.1)
// ---
sink(arg: sourceFloat("conv7-1")) // $ tainted=conv7-1
@@ -129,6 +157,8 @@ func testConversions() {
sink(arg: sourceDouble("conv9-6").significand) // $ tainted=conv9-6
sink(arg: sourceUInt("conv9-7").byteSwapped) // $ tainted=conv9-7
sink(arg: sourceUInt64("conv9-8").byteSwapped) // $ tainted=conv9-8
sink(arg: sourceInt("conv9-9").magnitude) // $ tainted=conv9-9
sink(arg: sourceUInt64("conv9-10").magnitude) // $ tainted=conv9-10
// ---