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 | |
@@ -200,7 +202,10 @@ edges
200202| test.swift:181:13:181:13 | a [x] | test.swift:181:13:181:15 | .x | provenance | |
201203| test.swift:185:7:185:7 | self [a, x] | file://:0:0:0:0 | self [a, x] | provenance | |
202204| test.swift:194:3:194:3 | [post] b [a, x] | test.swift:195:13:195:13 | b [a, x] | provenance | |
205+ | test.swift:194:3:194:5 | .a [Reverse] [x] | file://:0:0:0:0 | .a [Reverse] [x] | provenance | |
206+ | test.swift:194:3:194:5 | .a [Reverse] [x] | test.swift:194:3:194:3 | [post] b [a, x] | provenance | |
203207| test.swift:194:3:194:5 | [post] getter for .a [x] | test.swift:194:3:194:3 | [post] b [a, x] | provenance | |
208+ | test.swift:194:3:194:5 | [post] getter for .a [x] | test.swift:194:3:194:5 | .a [Reverse] [x] | provenance | |
204209| test.swift:194:11:194:18 | call to source() | test.swift:163:7:163:7 | value | provenance | |
205210| test.swift:194:11:194:18 | call to source() | test.swift:194:3:194:5 | [post] getter for .a [x] | provenance | |
206211| test.swift:195:13:195:13 | b [a, x] | test.swift:185:7:185:7 | self [a, x] | provenance | |
@@ -223,7 +228,10 @@ edges
223228| test.swift:213:13:213:13 | a [x] | test.swift:173:8:173:8 | self [x] | provenance | |
224229| test.swift:213:13:213:13 | a [x] | test.swift:213:13:213:19 | call to get() | provenance | |
225230| test.swift:218:3:218:3 | [post] b [a, x] | test.swift:219:13:219:13 | b [a, x] | provenance | |
231+ | test.swift:218:3:218:5 | .a [Reverse] [x] | file://:0:0:0:0 | .a [Reverse] [x] | provenance | |
232+ | test.swift:218:3:218:5 | .a [Reverse] [x] | test.swift:218:3:218:3 | [post] b [a, x] | provenance | |
226233| test.swift:218:3:218:5 | [post] getter for .a [x] | test.swift:218:3:218:3 | [post] b [a, x] | provenance | |
234+ | test.swift:218:3:218:5 | [post] getter for .a [x] | test.swift:218:3:218:5 | .a [Reverse] [x] | provenance | |
227235| test.swift:218:11:218:18 | call to source() | test.swift:169:12:169:22 | value | provenance | |
228236| test.swift:218:11:218:18 | call to source() | test.swift:218:3:218:5 | [post] getter for .a [x] | provenance | |
229237| test.swift:219:13:219:13 | b [a, x] | test.swift:185:7:185:7 | self [a, x] | provenance | |
@@ -745,6 +753,7 @@ edges
745753| test.swift:988:34:988:34 | value | file://:0:0:0:0 | value | provenance | |
746754| test.swift:991:10:991:17 | call to source() | test.swift:988:34:988:34 | value | provenance | |
747755nodes
756+ | file://:0:0:0:0 | .a [Reverse] [x] | semmle.label | .a [Reverse] [x] |
748757| file://:0:0:0:0 | .a [x] | semmle.label | .a [x] |
749758| file://:0:0:0:0 | .s [x] | semmle.label | .s [x] |
750759| file://:0:0:0:0 | .str | semmle.label | .str |
@@ -766,6 +775,7 @@ nodes
766775| file://:0:0:0:0 | [post] self [x, some:0] | semmle.label | [post] self [x, some:0] |
767776| file://:0:0:0:0 | [post] self [x] | semmle.label | [post] self [x] |
768777| file://:0:0:0:0 | [post] self [x] | semmle.label | [post] self [x] |
778+ | file://:0:0:0:0 | self [Reverse] [a, x] | semmle.label | self [Reverse] [a, x] |
769779| file://:0:0:0:0 | self [a, x] | semmle.label | self [a, x] |
770780| file://:0:0:0:0 | self [s, x] | semmle.label | self [s, x] |
771781| file://:0:0:0:0 | self [str] | semmle.label | self [str] |
@@ -967,8 +977,10 @@ nodes
967977| test.swift:180:9:180:16 | call to source() | semmle.label | call to source() |
968978| test.swift:181:13:181:13 | a [x] | semmle.label | a [x] |
969979| test.swift:181:13:181:15 | .x | semmle.label | .x |
980+ | test.swift:185:7:185:7 | self [Reverse] [a, x] | semmle.label | self [Reverse] [a, x] |
970981| test.swift:185:7:185:7 | self [a, x] | semmle.label | self [a, x] |
971982| test.swift:194:3:194:3 | [post] b [a, x] | semmle.label | [post] b [a, x] |
983+ | test.swift:194:3:194:5 | .a [Reverse] [x] | semmle.label | .a [Reverse] [x] |
972984| test.swift:194:3:194:5 | [post] getter for .a [x] | semmle.label | [post] getter for .a [x] |
973985| test.swift:194:11:194:18 | call to source() | semmle.label | call to source() |
974986| test.swift:195:13:195:13 | b [a, x] | semmle.label | b [a, x] |
@@ -987,6 +999,7 @@ nodes
987999| test.swift:213:13:213:13 | a [x] | semmle.label | a [x] |
9881000| test.swift:213:13:213:19 | call to get() | semmle.label | call to get() |
9891001| test.swift:218:3:218:3 | [post] b [a, x] | semmle.label | [post] b [a, x] |
1002+ | test.swift:218:3:218:5 | .a [Reverse] [x] | semmle.label | .a [Reverse] [x] |
9901003| test.swift:218:3:218:5 | [post] getter for .a [x] | semmle.label | [post] getter for .a [x] |
9911004| test.swift:218:11:218:18 | call to source() | semmle.label | call to source() |
9921005| test.swift:219:13:219:13 | b [a, x] | semmle.label | b [a, x] |
@@ -1553,6 +1566,7 @@ subpaths
15531566| 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 |
15541567| 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] |
15551568| 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 |
1569+ | 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] |
15561570| 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] |
15571571| 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] |
15581572| 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 |
@@ -1564,6 +1578,7 @@ subpaths
15641578| 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] |
15651579| 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] |
15661580| 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() |
1581+ | 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] |
15671582| 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] |
15681583| 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] |
15691584| 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