1010| Patterns.cs:11:17:11:33 | call to method Source<Object> : Object | Patterns.cs:11:13:11:13 | access to local variable o : Object | provenance | |
1111| Patterns.cs:12:13:12:13 | access to local variable r : RecordClass2 [property Prop] : Object | Patterns.cs:13:31:13:48 | [match] { ... } : RecordClass2 [property Prop] : Object | provenance | |
1212| Patterns.cs:12:13:12:13 | access to local variable r : RecordClass2 [property Prop] : Object | Patterns.cs:13:31:13:48 | [match] { ... } : RecordClass2 [property Prop] : Object | provenance | |
13- | Patterns.cs:12:13:12:13 | access to local variable r : RecordClass2 [property Prop] : Object | Patterns.cs:13:31:13:48 | [no-match] { ... } : RecordClass2 [property Prop] : Object | provenance | |
14- | Patterns.cs:12:13:12:13 | access to local variable r : RecordClass2 [property Prop] : Object | Patterns.cs:13:31:13:48 | [no-match] { ... } : RecordClass2 [property Prop] : Object | provenance | |
1513| Patterns.cs:12:17:12:35 | object creation of type RecordClass2 : RecordClass2 [property Prop] : Object | Patterns.cs:12:13:12:13 | access to local variable r : RecordClass2 [property Prop] : Object | provenance | |
1614| Patterns.cs:12:17:12:35 | object creation of type RecordClass2 : RecordClass2 [property Prop] : Object | Patterns.cs:12:13:12:13 | access to local variable r : RecordClass2 [property Prop] : Object | provenance | |
1715| Patterns.cs:12:34:12:34 | access to local variable o : Object | Patterns.cs:3:41:3:44 | Prop : Object | provenance | |
2018| Patterns.cs:12:34:12:34 | access to local variable o : Object | Patterns.cs:12:17:12:35 | object creation of type RecordClass2 : RecordClass2 [property Prop] : Object | provenance | |
2119| Patterns.cs:13:31:13:48 | [match] { ... } : RecordClass2 [property Prop] : Object | Patterns.cs:13:39:13:46 | Object p : Object | provenance | |
2220| Patterns.cs:13:31:13:48 | [match] { ... } : RecordClass2 [property Prop] : Object | Patterns.cs:13:39:13:46 | Object p : Object | provenance | |
23- | Patterns.cs:13:31:13:48 | [no-match] { ... } : RecordClass2 [property Prop] : Object | Patterns.cs:13:39:13:46 | Object p : Object | provenance | |
24- | Patterns.cs:13:31:13:48 | [no-match] { ... } : RecordClass2 [property Prop] : Object | Patterns.cs:13:39:13:46 | Object p : Object | provenance | |
2521| Patterns.cs:13:39:13:46 | Object p : Object | Patterns.cs:15:18:15:18 | access to local variable p | provenance | |
2622| Patterns.cs:13:39:13:46 | Object p : Object | Patterns.cs:15:18:15:18 | access to local variable p | provenance | |
2723| Patterns.cs:21:13:21:13 | access to local variable o : Object | Patterns.cs:22:34:22:34 | access to local variable o : Object | provenance | |
3026| Patterns.cs:21:17:21:33 | call to method Source<Object> : Object | Patterns.cs:21:13:21:13 | access to local variable o : Object | provenance | |
3127| Patterns.cs:22:13:22:13 | access to local variable r : RecordClass2 [property Prop] : Object | Patterns.cs:25:31:25:48 | [match] { ... } : RecordClass2 [property Prop] : Object | provenance | |
3228| Patterns.cs:22:13:22:13 | access to local variable r : RecordClass2 [property Prop] : Object | Patterns.cs:25:31:25:48 | [match] { ... } : RecordClass2 [property Prop] : Object | provenance | |
33- | Patterns.cs:22:13:22:13 | access to local variable r : RecordClass2 [property Prop] : Object | Patterns.cs:25:31:25:48 | [no-match] { ... } : RecordClass2 [property Prop] : Object | provenance | |
34- | Patterns.cs:22:13:22:13 | access to local variable r : RecordClass2 [property Prop] : Object | Patterns.cs:25:31:25:48 | [no-match] { ... } : RecordClass2 [property Prop] : Object | provenance | |
3529| Patterns.cs:22:17:22:35 | object creation of type RecordClass2 : RecordClass2 [property Prop] : Object | Patterns.cs:22:13:22:13 | access to local variable r : RecordClass2 [property Prop] : Object | provenance | |
3630| Patterns.cs:22:17:22:35 | object creation of type RecordClass2 : RecordClass2 [property Prop] : Object | Patterns.cs:22:13:22:13 | access to local variable r : RecordClass2 [property Prop] : Object | provenance | |
3731| Patterns.cs:22:34:22:34 | access to local variable o : Object | Patterns.cs:3:41:3:44 | Prop : Object | provenance | |
4034| Patterns.cs:22:34:22:34 | access to local variable o : Object | Patterns.cs:22:17:22:35 | object creation of type RecordClass2 : RecordClass2 [property Prop] : Object | provenance | |
4135| Patterns.cs:25:31:25:48 | [match] { ... } : RecordClass2 [property Prop] : Object | Patterns.cs:25:39:25:46 | Object p : Object | provenance | |
4236| Patterns.cs:25:31:25:48 | [match] { ... } : RecordClass2 [property Prop] : Object | Patterns.cs:25:39:25:46 | Object p : Object | provenance | |
43- | Patterns.cs:25:31:25:48 | [no-match] { ... } : RecordClass2 [property Prop] : Object | Patterns.cs:25:39:25:46 | Object p : Object | provenance | |
44- | Patterns.cs:25:31:25:48 | [no-match] { ... } : RecordClass2 [property Prop] : Object | Patterns.cs:25:39:25:46 | Object p : Object | provenance | |
4537| Patterns.cs:25:39:25:46 | Object p : Object | Patterns.cs:26:22:26:22 | access to local variable p | provenance | |
4638| Patterns.cs:25:39:25:46 | Object p : Object | Patterns.cs:26:22:26:22 | access to local variable p | provenance | |
4739| Patterns.cs:33:13:33:13 | access to local variable o : Object | Patterns.cs:34:45:34:45 | access to local variable o : Object | provenance | |
5042| Patterns.cs:33:17:33:33 | call to method Source<Object> : Object | Patterns.cs:33:13:33:13 | access to local variable o : Object | provenance | |
5143| Patterns.cs:34:13:34:13 | access to local variable s : Nested [property Record, property Prop] : Object | Patterns.cs:35:25:35:54 | [match] { ... } : Nested [property Record, property Prop] : Object | provenance | |
5244| Patterns.cs:34:13:34:13 | access to local variable s : Nested [property Record, property Prop] : Object | Patterns.cs:35:25:35:54 | [match] { ... } : Nested [property Record, property Prop] : Object | provenance | |
53- | Patterns.cs:34:13:34:13 | access to local variable s : Nested [property Record, property Prop] : Object | Patterns.cs:35:25:35:54 | [no-match] { ... } : Nested [property Record, property Prop] : Object | provenance | |
54- | Patterns.cs:34:13:34:13 | access to local variable s : Nested [property Record, property Prop] : Object | Patterns.cs:35:25:35:54 | [no-match] { ... } : Nested [property Record, property Prop] : Object | provenance | |
5545| Patterns.cs:34:17:34:47 | object creation of type Nested : Nested [property Record, property Prop] : Object | Patterns.cs:34:13:34:13 | access to local variable s : Nested [property Record, property Prop] : Object | provenance | |
5646| Patterns.cs:34:17:34:47 | object creation of type Nested : Nested [property Record, property Prop] : Object | Patterns.cs:34:13:34:13 | access to local variable s : Nested [property Record, property Prop] : Object | provenance | |
5747| Patterns.cs:34:28:34:46 | object creation of type RecordClass2 : RecordClass2 [property Prop] : Object | Patterns.cs:5:41:5:46 | Record : RecordClass2 [property Prop] : Object | provenance | |
@@ -64,16 +54,10 @@ edges
6454| Patterns.cs:34:45:34:45 | access to local variable o : Object | Patterns.cs:34:28:34:46 | object creation of type RecordClass2 : RecordClass2 [property Prop] : Object | provenance | |
6555| Patterns.cs:35:25:35:54 | [match] { ... } : Nested [property Record, property Prop] : Object | Patterns.cs:35:35:35:52 | [match] { ... } : null [property Prop] : Object | provenance | |
6656| Patterns.cs:35:25:35:54 | [match] { ... } : Nested [property Record, property Prop] : Object | Patterns.cs:35:35:35:52 | [match] { ... } : null [property Prop] : Object | provenance | |
67- | Patterns.cs:35:25:35:54 | [no-match] { ... } : Nested [property Record, property Prop] : Object | Patterns.cs:35:35:35:52 | [no-match] { ... } : null [property Prop] : Object | provenance | |
68- | Patterns.cs:35:25:35:54 | [no-match] { ... } : Nested [property Record, property Prop] : Object | Patterns.cs:35:35:35:52 | [no-match] { ... } : null [property Prop] : Object | provenance | |
6957| Patterns.cs:35:35:35:52 | [match] { ... } : null [property Prop] : Object | Patterns.cs:35:35:35:52 | [match] { ... } : null [property Prop] : Object | provenance | |
7058| Patterns.cs:35:35:35:52 | [match] { ... } : null [property Prop] : Object | Patterns.cs:35:35:35:52 | [match] { ... } : null [property Prop] : Object | provenance | |
7159| Patterns.cs:35:35:35:52 | [match] { ... } : null [property Prop] : Object | Patterns.cs:35:43:35:50 | Object p : Object | provenance | |
7260| Patterns.cs:35:35:35:52 | [match] { ... } : null [property Prop] : Object | Patterns.cs:35:43:35:50 | Object p : Object | provenance | |
73- | Patterns.cs:35:35:35:52 | [no-match] { ... } : null [property Prop] : Object | Patterns.cs:35:35:35:52 | [no-match] { ... } : null [property Prop] : Object | provenance | |
74- | Patterns.cs:35:35:35:52 | [no-match] { ... } : null [property Prop] : Object | Patterns.cs:35:35:35:52 | [no-match] { ... } : null [property Prop] : Object | provenance | |
75- | Patterns.cs:35:35:35:52 | [no-match] { ... } : null [property Prop] : Object | Patterns.cs:35:43:35:50 | Object p : Object | provenance | |
76- | Patterns.cs:35:35:35:52 | [no-match] { ... } : null [property Prop] : Object | Patterns.cs:35:43:35:50 | Object p : Object | provenance | |
7761| Patterns.cs:35:43:35:50 | Object p : Object | Patterns.cs:37:18:37:18 | access to local variable p | provenance | |
7862| Patterns.cs:35:43:35:50 | Object p : Object | Patterns.cs:37:18:37:18 | access to local variable p | provenance | |
7963| Patterns.cs:43:13:43:13 | access to local variable o : Object | Patterns.cs:44:45:44:45 | access to local variable o : Object | provenance | |
8266| Patterns.cs:43:17:43:33 | call to method Source<Object> : Object | Patterns.cs:43:13:43:13 | access to local variable o : Object | provenance | |
8367| Patterns.cs:44:13:44:13 | access to local variable s : Nested [property Record, property Prop] : Object | Patterns.cs:45:25:45:49 | [match] { ... } : Nested [property Record, property Prop] : Object | provenance | |
8468| Patterns.cs:44:13:44:13 | access to local variable s : Nested [property Record, property Prop] : Object | Patterns.cs:45:25:45:49 | [match] { ... } : Nested [property Record, property Prop] : Object | provenance | |
85- | Patterns.cs:44:13:44:13 | access to local variable s : Nested [property Record, property Prop] : Object | Patterns.cs:45:25:45:49 | [no-match] { ... } : Nested [property Record, property Prop] : Object | provenance | |
86- | Patterns.cs:44:13:44:13 | access to local variable s : Nested [property Record, property Prop] : Object | Patterns.cs:45:25:45:49 | [no-match] { ... } : Nested [property Record, property Prop] : Object | provenance | |
8769| Patterns.cs:44:17:44:47 | object creation of type Nested : Nested [property Record, property Prop] : Object | Patterns.cs:44:13:44:13 | access to local variable s : Nested [property Record, property Prop] : Object | provenance | |
8870| Patterns.cs:44:17:44:47 | object creation of type Nested : Nested [property Record, property Prop] : Object | Patterns.cs:44:13:44:13 | access to local variable s : Nested [property Record, property Prop] : Object | provenance | |
8971| Patterns.cs:44:28:44:46 | object creation of type RecordClass2 : RecordClass2 [property Prop] : Object | Patterns.cs:5:41:5:46 | Record : RecordClass2 [property Prop] : Object | provenance | |
9678| Patterns.cs:44:45:44:45 | access to local variable o : Object | Patterns.cs:44:28:44:46 | object creation of type RecordClass2 : RecordClass2 [property Prop] : Object | provenance | |
9779| Patterns.cs:45:25:45:49 | [match] { ... } : Nested [property Record, property Prop] : Object | Patterns.cs:45:27:45:32 | [match] { ... } : null [property Prop] : Object | provenance | |
9880| Patterns.cs:45:25:45:49 | [match] { ... } : Nested [property Record, property Prop] : Object | Patterns.cs:45:27:45:32 | [match] { ... } : null [property Prop] : Object | provenance | |
99- | Patterns.cs:45:25:45:49 | [no-match] { ... } : Nested [property Record, property Prop] : Object | Patterns.cs:45:27:45:32 | [no-match] { ... } : null [property Prop] : Object | provenance | |
100- | Patterns.cs:45:25:45:49 | [no-match] { ... } : Nested [property Record, property Prop] : Object | Patterns.cs:45:27:45:32 | [no-match] { ... } : null [property Prop] : Object | provenance | |
10181| Patterns.cs:45:27:45:32 | [match] { ... } : null [property Prop] : Object | Patterns.cs:45:40:45:47 | Object p : Object | provenance | |
10282| Patterns.cs:45:27:45:32 | [match] { ... } : null [property Prop] : Object | Patterns.cs:45:40:45:47 | Object p : Object | provenance | |
103- | Patterns.cs:45:27:45:32 | [no-match] { ... } : null [property Prop] : Object | Patterns.cs:45:40:45:47 | Object p : Object | provenance | |
104- | Patterns.cs:45:27:45:32 | [no-match] { ... } : null [property Prop] : Object | Patterns.cs:45:40:45:47 | Object p : Object | provenance | |
10583| Patterns.cs:45:40:45:47 | Object p : Object | Patterns.cs:47:18:47:18 | access to local variable p | provenance | |
10684| Patterns.cs:45:40:45:47 | Object p : Object | Patterns.cs:47:18:47:18 | access to local variable p | provenance | |
10785nodes
@@ -125,8 +103,6 @@ nodes
125103| Patterns.cs:12:34:12:34 | access to local variable o : Object | semmle.label | access to local variable o : Object |
126104| Patterns.cs:13:31:13:48 | [match] { ... } : RecordClass2 [property Prop] : Object | semmle.label | [match] { ... } : RecordClass2 [property Prop] : Object |
127105| Patterns.cs:13:31:13:48 | [match] { ... } : RecordClass2 [property Prop] : Object | semmle.label | [match] { ... } : RecordClass2 [property Prop] : Object |
128- | Patterns.cs:13:31:13:48 | [no-match] { ... } : RecordClass2 [property Prop] : Object | semmle.label | [no-match] { ... } : RecordClass2 [property Prop] : Object |
129- | Patterns.cs:13:31:13:48 | [no-match] { ... } : RecordClass2 [property Prop] : Object | semmle.label | [no-match] { ... } : RecordClass2 [property Prop] : Object |
130106| Patterns.cs:13:39:13:46 | Object p : Object | semmle.label | Object p : Object |
131107| Patterns.cs:13:39:13:46 | Object p : Object | semmle.label | Object p : Object |
132108| Patterns.cs:15:18:15:18 | access to local variable p | semmle.label | access to local variable p |
@@ -143,8 +119,6 @@ nodes
143119| Patterns.cs:22:34:22:34 | access to local variable o : Object | semmle.label | access to local variable o : Object |
144120| Patterns.cs:25:31:25:48 | [match] { ... } : RecordClass2 [property Prop] : Object | semmle.label | [match] { ... } : RecordClass2 [property Prop] : Object |
145121| Patterns.cs:25:31:25:48 | [match] { ... } : RecordClass2 [property Prop] : Object | semmle.label | [match] { ... } : RecordClass2 [property Prop] : Object |
146- | Patterns.cs:25:31:25:48 | [no-match] { ... } : RecordClass2 [property Prop] : Object | semmle.label | [no-match] { ... } : RecordClass2 [property Prop] : Object |
147- | Patterns.cs:25:31:25:48 | [no-match] { ... } : RecordClass2 [property Prop] : Object | semmle.label | [no-match] { ... } : RecordClass2 [property Prop] : Object |
148122| Patterns.cs:25:39:25:46 | Object p : Object | semmle.label | Object p : Object |
149123| Patterns.cs:25:39:25:46 | Object p : Object | semmle.label | Object p : Object |
150124| Patterns.cs:26:22:26:22 | access to local variable p | semmle.label | access to local variable p |
@@ -163,16 +137,10 @@ nodes
163137| Patterns.cs:34:45:34:45 | access to local variable o : Object | semmle.label | access to local variable o : Object |
164138| Patterns.cs:35:25:35:54 | [match] { ... } : Nested [property Record, property Prop] : Object | semmle.label | [match] { ... } : Nested [property Record, property Prop] : Object |
165139| Patterns.cs:35:25:35:54 | [match] { ... } : Nested [property Record, property Prop] : Object | semmle.label | [match] { ... } : Nested [property Record, property Prop] : Object |
166- | Patterns.cs:35:25:35:54 | [no-match] { ... } : Nested [property Record, property Prop] : Object | semmle.label | [no-match] { ... } : Nested [property Record, property Prop] : Object |
167- | Patterns.cs:35:25:35:54 | [no-match] { ... } : Nested [property Record, property Prop] : Object | semmle.label | [no-match] { ... } : Nested [property Record, property Prop] : Object |
168140| Patterns.cs:35:35:35:52 | [match] { ... } : null [property Prop] : Object | semmle.label | [match] { ... } : null [property Prop] : Object |
169141| Patterns.cs:35:35:35:52 | [match] { ... } : null [property Prop] : Object | semmle.label | [match] { ... } : null [property Prop] : Object |
170142| Patterns.cs:35:35:35:52 | [match] { ... } : null [property Prop] : Object | semmle.label | [match] { ... } : null [property Prop] : Object |
171143| Patterns.cs:35:35:35:52 | [match] { ... } : null [property Prop] : Object | semmle.label | [match] { ... } : null [property Prop] : Object |
172- | Patterns.cs:35:35:35:52 | [no-match] { ... } : null [property Prop] : Object | semmle.label | [no-match] { ... } : null [property Prop] : Object |
173- | Patterns.cs:35:35:35:52 | [no-match] { ... } : null [property Prop] : Object | semmle.label | [no-match] { ... } : null [property Prop] : Object |
174- | Patterns.cs:35:35:35:52 | [no-match] { ... } : null [property Prop] : Object | semmle.label | [no-match] { ... } : null [property Prop] : Object |
175- | Patterns.cs:35:35:35:52 | [no-match] { ... } : null [property Prop] : Object | semmle.label | [no-match] { ... } : null [property Prop] : Object |
176144| Patterns.cs:35:43:35:50 | Object p : Object | semmle.label | Object p : Object |
177145| Patterns.cs:35:43:35:50 | Object p : Object | semmle.label | Object p : Object |
178146| Patterns.cs:37:18:37:18 | access to local variable p | semmle.label | access to local variable p |
@@ -191,12 +159,8 @@ nodes
191159| Patterns.cs:44:45:44:45 | access to local variable o : Object | semmle.label | access to local variable o : Object |
192160| Patterns.cs:45:25:45:49 | [match] { ... } : Nested [property Record, property Prop] : Object | semmle.label | [match] { ... } : Nested [property Record, property Prop] : Object |
193161| Patterns.cs:45:25:45:49 | [match] { ... } : Nested [property Record, property Prop] : Object | semmle.label | [match] { ... } : Nested [property Record, property Prop] : Object |
194- | Patterns.cs:45:25:45:49 | [no-match] { ... } : Nested [property Record, property Prop] : Object | semmle.label | [no-match] { ... } : Nested [property Record, property Prop] : Object |
195- | Patterns.cs:45:25:45:49 | [no-match] { ... } : Nested [property Record, property Prop] : Object | semmle.label | [no-match] { ... } : Nested [property Record, property Prop] : Object |
196162| Patterns.cs:45:27:45:32 | [match] { ... } : null [property Prop] : Object | semmle.label | [match] { ... } : null [property Prop] : Object |
197163| Patterns.cs:45:27:45:32 | [match] { ... } : null [property Prop] : Object | semmle.label | [match] { ... } : null [property Prop] : Object |
198- | Patterns.cs:45:27:45:32 | [no-match] { ... } : null [property Prop] : Object | semmle.label | [no-match] { ... } : null [property Prop] : Object |
199- | Patterns.cs:45:27:45:32 | [no-match] { ... } : null [property Prop] : Object | semmle.label | [no-match] { ... } : null [property Prop] : Object |
200164| Patterns.cs:45:40:45:47 | Object p : Object | semmle.label | Object p : Object |
201165| Patterns.cs:45:40:45:47 | Object p : Object | semmle.label | Object p : Object |
202166| Patterns.cs:47:18:47:18 | access to local variable p | semmle.label | access to local variable p |
0 commit comments