11edges
2+ | file://:0:0:0:0 | .a [Reverse] [x] | file://:0:0:0:0 | self [Reverse] [a, x] | provenance | |
23| file://:0:0:0:0 | .wrappedValue | test.swift:949:15:949:15 | x | provenance | |
34| file://:0:0:0:0 | .wrappedValue | test.swift:951:15:951:15 | x | provenance | |
45| file://:0:0:0:0 | KeyPathComponent [some:0] | test.swift:663:13:663:29 | exit #keyPath(...) [some:0] | provenance | |
1011| file://:0:0:0:0 | [post] self [x, some:0] | test.swift:559:9:559:9 | self [Reverse] [x, some:0] | provenance | |
1112| file://:0:0:0:0 | [post] self [x] | test.swift:163:7:163:7 | self [Reverse] [x] | provenance | |
1213| 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 | |
1315| file://:0:0:0:0 | self [a, x] | file://:0:0:0:0 | .a [x] | provenance | |
1416| file://:0:0:0:0 | self [s, x] | file://:0:0:0:0 | .s [x] | provenance | |
1517| file://:0:0:0:0 | self [str] | file://:0:0:0:0 | .str | provenance | |
@@ -234,7 +236,10 @@ edges
234236| test.swift:181:13:181:13 | a [x] | test.swift:181:13:181:15 | .x | provenance | |
235237| test.swift:185:7:185:7 | self [a, x] | file://:0:0:0:0 | self [a, x] | provenance | |
236238| 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 | |
237241| 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 | |
238243| test.swift:194:11:194:18 | call to source() | test.swift:163:7:163:7 | value | provenance | |
239244| test.swift:194:11:194:18 | call to source() | test.swift:194:3:194:5 | [post] getter for .a [x] | provenance | |
240245| test.swift:195:13:195:13 | b [a, x] | test.swift:185:7:185:7 | self [a, x] | provenance | |
@@ -257,7 +262,10 @@ edges
257262| test.swift:213:13:213:13 | a [x] | test.swift:173:8:173:8 | self [x] | provenance | |
258263| test.swift:213:13:213:13 | a [x] | test.swift:213:13:213:19 | call to get() | provenance | |
259264| 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 | |
260267| 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 | |
261269| test.swift:218:11:218:18 | call to source() | test.swift:169:12:169:22 | value | provenance | |
262270| test.swift:218:11:218:18 | call to source() | test.swift:218:3:218:5 | [post] getter for .a [x] | provenance | |
263271| test.swift:219:13:219:13 | b [a, x] | test.swift:185:7:185:7 | self [a, x] | provenance | |
@@ -779,6 +787,7 @@ edges
779787| test.swift:988:34:988:34 | value | file://:0:0:0:0 | value | provenance | |
780788| test.swift:991:10:991:17 | call to source() | test.swift:988:34:988:34 | value | provenance | |
781789nodes
790+ | file://:0:0:0:0 | .a [Reverse] [x] | semmle.label | .a [Reverse] [x] |
782791| file://:0:0:0:0 | .a [x] | semmle.label | .a [x] |
783792| file://:0:0:0:0 | .s [x] | semmle.label | .s [x] |
784793| file://:0:0:0:0 | .str | semmle.label | .str |
@@ -800,6 +809,7 @@ nodes
800809| file://:0:0:0:0 | [post] self [x, some:0] | semmle.label | [post] self [x, some:0] |
801810| file://:0:0:0:0 | [post] self [x] | semmle.label | [post] self [x] |
802811| 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] |
803813| file://:0:0:0:0 | self [a, x] | semmle.label | self [a, x] |
804814| file://:0:0:0:0 | self [s, x] | semmle.label | self [s, x] |
805815| file://:0:0:0:0 | self [str] | semmle.label | self [str] |
@@ -1037,8 +1047,10 @@ nodes
10371047| test.swift:180:9:180:16 | call to source() | semmle.label | call to source() |
10381048| test.swift:181:13:181:13 | a [x] | semmle.label | a [x] |
10391049| 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] |
10401051| test.swift:185:7:185:7 | self [a, x] | semmle.label | self [a, x] |
10411052| 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] |
10421054| test.swift:194:3:194:5 | [post] getter for .a [x] | semmle.label | [post] getter for .a [x] |
10431055| test.swift:194:11:194:18 | call to source() | semmle.label | call to source() |
10441056| test.swift:195:13:195:13 | b [a, x] | semmle.label | b [a, x] |
@@ -1057,6 +1069,7 @@ nodes
10571069| test.swift:213:13:213:13 | a [x] | semmle.label | a [x] |
10581070| test.swift:213:13:213:19 | call to get() | semmle.label | call to get() |
10591071| 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] |
10601073| test.swift:218:3:218:5 | [post] getter for .a [x] | semmle.label | [post] getter for .a [x] |
10611074| test.swift:218:11:218:18 | call to source() | semmle.label | call to source() |
10621075| test.swift:219:13:219:13 | b [a, x] | semmle.label | b [a, x] |
@@ -1623,6 +1636,7 @@ subpaths
16231636| 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 |
16241637| 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] |
16251638| 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] |
16261640| 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] |
16271641| 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] |
16281642| 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
16341648| 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] |
16351649| 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] |
16361650| 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] |
16371652| 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] |
16381653| 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] |
16391654| 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