1
1
edges
2
+ | file://:0:0:0:0 | .a [Reverse] [x] | file://:0:0:0:0 | self [Reverse] [a, x] | provenance | |
2
3
| file://:0:0:0:0 | .wrappedValue | test.swift:949:15:949:15 | x | provenance | |
3
4
| file://:0:0:0:0 | .wrappedValue | test.swift:951:15:951:15 | x | provenance | |
4
5
| file://:0:0:0:0 | KeyPathComponent [some:0] | test.swift:663:13:663:29 | exit #keyPath(...) [some:0] | provenance | |
10
11
| file://:0:0:0:0 | [post] self [x, some:0] | test.swift:559:9:559:9 | self [Reverse] [x, some:0] | provenance | |
11
12
| file://:0:0:0:0 | [post] self [x] | test.swift:163:7:163:7 | self [Reverse] [x] | provenance | |
12
13
| file://:0:0:0:0 | [post] self [x] | test.swift:559:9:559:9 | self [Reverse] [x] | provenance | |
14
+ | file://:0:0:0:0 | self [Reverse] [a, x] | test.swift:185:7:185:7 | self [Reverse] [a, x] | provenance | |
13
15
| file://:0:0:0:0 | self [a, x] | file://:0:0:0:0 | .a [x] | provenance | |
14
16
| file://:0:0:0:0 | self [s, x] | file://:0:0:0:0 | .s [x] | provenance | |
15
17
| file://:0:0:0:0 | self [str] | file://:0:0:0:0 | .str | provenance | |
@@ -234,7 +236,10 @@ edges
234
236
| test.swift:181:13:181:13 | a [x] | test.swift:181:13:181:15 | .x | provenance | |
235
237
| test.swift:185:7:185:7 | self [a, x] | file://:0:0:0:0 | self [a, x] | provenance | |
236
238
| test.swift:194:3:194:3 | [post] b [a, x] | test.swift:195:13:195:13 | b [a, x] | provenance | |
239
+ | test.swift:194:3:194:5 | .a [Reverse] [x] | file://:0:0:0:0 | .a [Reverse] [x] | provenance | |
240
+ | test.swift:194:3:194:5 | .a [Reverse] [x] | test.swift:194:3:194:3 | [post] b [a, x] | provenance | |
237
241
| test.swift:194:3:194:5 | [post] getter for .a [x] | test.swift:194:3:194:3 | [post] b [a, x] | provenance | |
242
+ | test.swift:194:3:194:5 | [post] getter for .a [x] | test.swift:194:3:194:5 | .a [Reverse] [x] | provenance | |
238
243
| test.swift:194:11:194:18 | call to source() | test.swift:163:7:163:7 | value | provenance | |
239
244
| test.swift:194:11:194:18 | call to source() | test.swift:194:3:194:5 | [post] getter for .a [x] | provenance | |
240
245
| test.swift:195:13:195:13 | b [a, x] | test.swift:185:7:185:7 | self [a, x] | provenance | |
@@ -257,7 +262,10 @@ edges
257
262
| test.swift:213:13:213:13 | a [x] | test.swift:173:8:173:8 | self [x] | provenance | |
258
263
| test.swift:213:13:213:13 | a [x] | test.swift:213:13:213:19 | call to get() | provenance | |
259
264
| test.swift:218:3:218:3 | [post] b [a, x] | test.swift:219:13:219:13 | b [a, x] | provenance | |
265
+ | test.swift:218:3:218:5 | .a [Reverse] [x] | file://:0:0:0:0 | .a [Reverse] [x] | provenance | |
266
+ | test.swift:218:3:218:5 | .a [Reverse] [x] | test.swift:218:3:218:3 | [post] b [a, x] | provenance | |
260
267
| test.swift:218:3:218:5 | [post] getter for .a [x] | test.swift:218:3:218:3 | [post] b [a, x] | provenance | |
268
+ | test.swift:218:3:218:5 | [post] getter for .a [x] | test.swift:218:3:218:5 | .a [Reverse] [x] | provenance | |
261
269
| test.swift:218:11:218:18 | call to source() | test.swift:169:12:169:22 | value | provenance | |
262
270
| test.swift:218:11:218:18 | call to source() | test.swift:218:3:218:5 | [post] getter for .a [x] | provenance | |
263
271
| test.swift:219:13:219:13 | b [a, x] | test.swift:185:7:185:7 | self [a, x] | provenance | |
@@ -779,6 +787,7 @@ edges
779
787
| test.swift:988:34:988:34 | value | file://:0:0:0:0 | value | provenance | |
780
788
| test.swift:991:10:991:17 | call to source() | test.swift:988:34:988:34 | value | provenance | |
781
789
nodes
790
+ | file://:0:0:0:0 | .a [Reverse] [x] | semmle.label | .a [Reverse] [x] |
782
791
| file://:0:0:0:0 | .a [x] | semmle.label | .a [x] |
783
792
| file://:0:0:0:0 | .s [x] | semmle.label | .s [x] |
784
793
| file://:0:0:0:0 | .str | semmle.label | .str |
@@ -800,6 +809,7 @@ nodes
800
809
| file://:0:0:0:0 | [post] self [x, some:0] | semmle.label | [post] self [x, some:0] |
801
810
| file://:0:0:0:0 | [post] self [x] | semmle.label | [post] self [x] |
802
811
| file://:0:0:0:0 | [post] self [x] | semmle.label | [post] self [x] |
812
+ | file://:0:0:0:0 | self [Reverse] [a, x] | semmle.label | self [Reverse] [a, x] |
803
813
| file://:0:0:0:0 | self [a, x] | semmle.label | self [a, x] |
804
814
| file://:0:0:0:0 | self [s, x] | semmle.label | self [s, x] |
805
815
| file://:0:0:0:0 | self [str] | semmle.label | self [str] |
@@ -1037,8 +1047,10 @@ nodes
1037
1047
| test.swift:180:9:180:16 | call to source() | semmle.label | call to source() |
1038
1048
| test.swift:181:13:181:13 | a [x] | semmle.label | a [x] |
1039
1049
| test.swift:181:13:181:15 | .x | semmle.label | .x |
1050
+ | test.swift:185:7:185:7 | self [Reverse] [a, x] | semmle.label | self [Reverse] [a, x] |
1040
1051
| test.swift:185:7:185:7 | self [a, x] | semmle.label | self [a, x] |
1041
1052
| test.swift:194:3:194:3 | [post] b [a, x] | semmle.label | [post] b [a, x] |
1053
+ | test.swift:194:3:194:5 | .a [Reverse] [x] | semmle.label | .a [Reverse] [x] |
1042
1054
| test.swift:194:3:194:5 | [post] getter for .a [x] | semmle.label | [post] getter for .a [x] |
1043
1055
| test.swift:194:11:194:18 | call to source() | semmle.label | call to source() |
1044
1056
| test.swift:195:13:195:13 | b [a, x] | semmle.label | b [a, x] |
@@ -1057,6 +1069,7 @@ nodes
1057
1069
| test.swift:213:13:213:13 | a [x] | semmle.label | a [x] |
1058
1070
| test.swift:213:13:213:19 | call to get() | semmle.label | call to get() |
1059
1071
| test.swift:218:3:218:3 | [post] b [a, x] | semmle.label | [post] b [a, x] |
1072
+ | test.swift:218:3:218:5 | .a [Reverse] [x] | semmle.label | .a [Reverse] [x] |
1060
1073
| test.swift:218:3:218:5 | [post] getter for .a [x] | semmle.label | [post] getter for .a [x] |
1061
1074
| test.swift:218:11:218:18 | call to source() | semmle.label | call to source() |
1062
1075
| test.swift:219:13:219:13 | b [a, x] | semmle.label | b [a, x] |
@@ -1623,6 +1636,7 @@ subpaths
1623
1636
| test.swift:174:12:174:12 | self [x] | test.swift:163:7:163:7 | self [x] | file://:0:0:0:0 | .x | test.swift:174:12:174:12 | .x |
1624
1637
| test.swift:180:9:180:16 | call to source() | test.swift:163:7:163:7 | value | test.swift:163:7:163:7 | self [Reverse] [x] | test.swift:180:3:180:3 | [post] a [x] |
1625
1638
| test.swift:181:13:181:13 | a [x] | test.swift:163:7:163:7 | self [x] | file://:0:0:0:0 | .x | test.swift:181:13:181:15 | .x |
1639
+ | test.swift:194:3:194:5 | .a [Reverse] [x] | file://:0:0:0:0 | .a [Reverse] [x] | test.swift:185:7:185:7 | self [Reverse] [a, x] | test.swift:194:3:194:3 | [post] b [a, x] |
1626
1640
| test.swift:194:11:194:18 | call to source() | test.swift:163:7:163:7 | value | test.swift:163:7:163:7 | self [Reverse] [x] | test.swift:194:3:194:5 | [post] getter for .a [x] |
1627
1641
| test.swift:195:13:195:13 | b [a, x] | test.swift:185:7:185:7 | self [a, x] | file://:0:0:0:0 | .a [x] | test.swift:195:13:195:15 | .a [x] |
1628
1642
| test.swift:195:13:195:15 | .a [x] | test.swift:163:7:163:7 | self [x] | file://:0:0:0:0 | .x | test.swift:195:13:195:17 | .x |
@@ -1634,6 +1648,7 @@ subpaths
1634
1648
| test.swift:212:9:212:16 | call to source() | test.swift:169:12:169:22 | value | test.swift:169:3:171:3 | self[return] [x] | test.swift:212:3:212:3 | [post] a [x] |
1635
1649
| test.swift:212:9:212:16 | call to source() | test.swift:169:12:169:22 | value | test.swift:169:8:169:8 | self [Reverse] [x] | test.swift:212:3:212:3 | [post] a [x] |
1636
1650
| test.swift:213:13:213:13 | a [x] | test.swift:173:8:173:8 | self [x] | test.swift:174:12:174:12 | .x | test.swift:213:13:213:19 | call to get() |
1651
+ | test.swift:218:3:218:5 | .a [Reverse] [x] | file://:0:0:0:0 | .a [Reverse] [x] | test.swift:185:7:185:7 | self [Reverse] [a, x] | test.swift:218:3:218:3 | [post] b [a, x] |
1637
1652
| test.swift:218:11:218:18 | call to source() | test.swift:169:12:169:22 | value | test.swift:169:3:171:3 | self[return] [x] | test.swift:218:3:218:5 | [post] getter for .a [x] |
1638
1653
| test.swift:218:11:218:18 | call to source() | test.swift:169:12:169:22 | value | test.swift:169:8:169:8 | self [Reverse] [x] | test.swift:218:3:218:5 | [post] getter for .a [x] |
1639
1654
| test.swift:219:13:219:13 | b [a, x] | test.swift:185:7:185:7 | self [a, x] | file://:0:0:0:0 | .a [x] | test.swift:219:13:219:15 | .a [x] |
0 commit comments