Clang Project

clang_source_code/test/Analysis/Inputs/expected-plists/generics.m.plist
1<?xml version="1.0" encoding="UTF-8"?>
2<!DOCTYPE plist PUBLIC "-//Apple Computer//DTD PLIST 1.0//EN" "http://www.apple.com/DTDs/PropertyList-1.0.dtd">
3<plist version="1.0">
4<dict>
5 <key>clang_version</key>
6<string>clang version 8.0.0 </string>
7 <key>diagnostics</key>
8 <array>
9  <dict>
10   <key>path</key>
11   <array>
12    <dict>
13     <key>kind</key><string>event</string>
14     <key>location</key>
15     <dict>
16      <key>line</key><integer>100</integer>
17      <key>col</key><integer>7</integer>
18      <key>file</key><integer>0</integer>
19     </dict>
20     <key>ranges</key>
21     <array>
22       <array>
23        <dict>
24         <key>line</key><integer>100</integer>
25         <key>col</key><integer>7</integer>
26         <key>file</key><integer>0</integer>
27        </dict>
28        <dict>
29         <key>line</key><integer>100</integer>
30         <key>col</key><integer>7</integer>
31         <key>file</key><integer>0</integer>
32        </dict>
33       </array>
34     </array>
35     <key>depth</key><integer>0</integer>
36     <key>extended_message</key>
37     <string>Type &apos;NSMutableArray&lt;NSString *&gt; *&apos; is inferred from implicit cast (from &apos;NSMutableArray&lt;NSString *&gt; *&apos; to &apos;NSArray *&apos;)</string>
38     <key>message</key>
39     <string>Type &apos;NSMutableArray&lt;NSString *&gt; *&apos; is inferred from implicit cast (from &apos;NSMutableArray&lt;NSString *&gt; *&apos; to &apos;NSArray *&apos;)</string>
40    </dict>
41    <dict>
42     <key>kind</key><string>control</string>
43     <key>edges</key>
44      <array>
45       <dict>
46        <key>start</key>
47         <array>
48          <dict>
49           <key>line</key><integer>100</integer>
50           <key>col</key><integer>3</integer>
51           <key>file</key><integer>0</integer>
52          </dict>
53          <dict>
54           <key>line</key><integer>100</integer>
55           <key>col</key><integer>3</integer>
56           <key>file</key><integer>0</integer>
57          </dict>
58         </array>
59        <key>end</key>
60         <array>
61          <dict>
62           <key>line</key><integer>101</integer>
63           <key>col</key><integer>3</integer>
64           <key>file</key><integer>0</integer>
65          </dict>
66          <dict>
67           <key>line</key><integer>101</integer>
68           <key>col</key><integer>3</integer>
69           <key>file</key><integer>0</integer>
70          </dict>
71         </array>
72       </dict>
73      </array>
74    </dict>
75    <dict>
76     <key>kind</key><string>control</string>
77     <key>edges</key>
78      <array>
79       <dict>
80        <key>start</key>
81         <array>
82          <dict>
83           <key>line</key><integer>101</integer>
84           <key>col</key><integer>3</integer>
85           <key>file</key><integer>0</integer>
86          </dict>
87          <dict>
88           <key>line</key><integer>101</integer>
89           <key>col</key><integer>3</integer>
90           <key>file</key><integer>0</integer>
91          </dict>
92         </array>
93        <key>end</key>
94         <array>
95          <dict>
96           <key>line</key><integer>101</integer>
97           <key>col</key><integer>7</integer>
98           <key>file</key><integer>0</integer>
99          </dict>
100          <dict>
101           <key>line</key><integer>101</integer>
102           <key>col</key><integer>7</integer>
103           <key>file</key><integer>0</integer>
104          </dict>
105         </array>
106       </dict>
107      </array>
108    </dict>
109    <dict>
110     <key>kind</key><string>event</string>
111     <key>location</key>
112     <dict>
113      <key>line</key><integer>101</integer>
114      <key>col</key><integer>7</integer>
115      <key>file</key><integer>0</integer>
116     </dict>
117     <key>ranges</key>
118     <array>
119       <array>
120        <dict>
121         <key>line</key><integer>101</integer>
122         <key>col</key><integer>7</integer>
123         <key>file</key><integer>0</integer>
124        </dict>
125        <dict>
126         <key>line</key><integer>101</integer>
127         <key>col</key><integer>7</integer>
128         <key>file</key><integer>0</integer>
129        </dict>
130       </array>
131     </array>
132     <key>depth</key><integer>0</integer>
133     <key>extended_message</key>
134     <string>Conversion from value of type &apos;NSMutableArray&lt;NSString *&gt; *&apos; to incompatible type &apos;NSArray&lt;NSNumber *&gt; *&apos;</string>
135     <key>message</key>
136     <string>Conversion from value of type &apos;NSMutableArray&lt;NSString *&gt; *&apos; to incompatible type &apos;NSArray&lt;NSNumber *&gt; *&apos;</string>
137    </dict>
138   </array>
139   <key>description</key><string>Conversion from value of type &apos;NSMutableArray&lt;NSString *&gt; *&apos; to incompatible type &apos;NSArray&lt;NSNumber *&gt; *&apos;</string>
140   <key>category</key><string>Core Foundation/Objective-C</string>
141   <key>type</key><string>Generics</string>
142   <key>check_name</key><string>core.DynamicTypePropagation</string>
143   <!-- This hash is experimental and going to change! -->
144   <key>issue_hash_content_of_line_in_context</key><string>33d4584e2bf66b029ab9d152cc9cd8f7</string>
145  <key>issue_context_kind</key><string>function</string>
146  <key>issue_context</key><string>incompatibleTypesErased</string>
147  <key>issue_hash_function_offset</key><string>2</string>
148  <key>location</key>
149  <dict>
150   <key>line</key><integer>101</integer>
151   <key>col</key><integer>7</integer>
152   <key>file</key><integer>0</integer>
153  </dict>
154  <key>ExecutedLines</key>
155  <dict>
156   <key>0</key>
157   <array>
158    <integer>97</integer>
159    <integer>98</integer>
160    <integer>99</integer>
161    <integer>100</integer>
162    <integer>101</integer>
163   </array>
164  </dict>
165  </dict>
166  <dict>
167   <key>path</key>
168   <array>
169    <dict>
170     <key>kind</key><string>event</string>
171     <key>location</key>
172     <dict>
173      <key>line</key><integer>100</integer>
174      <key>col</key><integer>7</integer>
175      <key>file</key><integer>0</integer>
176     </dict>
177     <key>ranges</key>
178     <array>
179       <array>
180        <dict>
181         <key>line</key><integer>100</integer>
182         <key>col</key><integer>7</integer>
183         <key>file</key><integer>0</integer>
184        </dict>
185        <dict>
186         <key>line</key><integer>100</integer>
187         <key>col</key><integer>7</integer>
188         <key>file</key><integer>0</integer>
189        </dict>
190       </array>
191     </array>
192     <key>depth</key><integer>0</integer>
193     <key>extended_message</key>
194     <string>Type &apos;NSMutableArray&lt;NSString *&gt; *&apos; is inferred from implicit cast (from &apos;NSMutableArray&lt;NSString *&gt; *&apos; to &apos;NSArray *&apos;)</string>
195     <key>message</key>
196     <string>Type &apos;NSMutableArray&lt;NSString *&gt; *&apos; is inferred from implicit cast (from &apos;NSMutableArray&lt;NSString *&gt; *&apos; to &apos;NSArray *&apos;)</string>
197    </dict>
198    <dict>
199     <key>kind</key><string>control</string>
200     <key>edges</key>
201      <array>
202       <dict>
203        <key>start</key>
204         <array>
205          <dict>
206           <key>line</key><integer>100</integer>
207           <key>col</key><integer>3</integer>
208           <key>file</key><integer>0</integer>
209          </dict>
210          <dict>
211           <key>line</key><integer>100</integer>
212           <key>col</key><integer>3</integer>
213           <key>file</key><integer>0</integer>
214          </dict>
215         </array>
216        <key>end</key>
217         <array>
218          <dict>
219           <key>line</key><integer>104</integer>
220           <key>col</key><integer>3</integer>
221           <key>file</key><integer>0</integer>
222          </dict>
223          <dict>
224           <key>line</key><integer>104</integer>
225           <key>col</key><integer>9</integer>
226           <key>file</key><integer>0</integer>
227          </dict>
228         </array>
229       </dict>
230      </array>
231    </dict>
232    <dict>
233     <key>kind</key><string>control</string>
234     <key>edges</key>
235      <array>
236       <dict>
237        <key>start</key>
238         <array>
239          <dict>
240           <key>line</key><integer>104</integer>
241           <key>col</key><integer>3</integer>
242           <key>file</key><integer>0</integer>
243          </dict>
244          <dict>
245           <key>line</key><integer>104</integer>
246           <key>col</key><integer>9</integer>
247           <key>file</key><integer>0</integer>
248          </dict>
249         </array>
250        <key>end</key>
251         <array>
252          <dict>
253           <key>line</key><integer>104</integer>
254           <key>col</key><integer>11</integer>
255           <key>file</key><integer>0</integer>
256          </dict>
257          <dict>
258           <key>line</key><integer>104</integer>
259           <key>col</key><integer>11</integer>
260           <key>file</key><integer>0</integer>
261          </dict>
262         </array>
263       </dict>
264      </array>
265    </dict>
266    <dict>
267     <key>kind</key><string>event</string>
268     <key>location</key>
269     <dict>
270      <key>line</key><integer>104</integer>
271      <key>col</key><integer>11</integer>
272      <key>file</key><integer>0</integer>
273     </dict>
274     <key>ranges</key>
275     <array>
276       <array>
277        <dict>
278         <key>line</key><integer>104</integer>
279         <key>col</key><integer>11</integer>
280         <key>file</key><integer>0</integer>
281        </dict>
282        <dict>
283         <key>line</key><integer>104</integer>
284         <key>col</key><integer>11</integer>
285         <key>file</key><integer>0</integer>
286        </dict>
287       </array>
288     </array>
289     <key>depth</key><integer>0</integer>
290     <key>extended_message</key>
291     <string>Conversion from value of type &apos;NSMutableArray&lt;NSString *&gt; *&apos; to incompatible type &apos;NSArray&lt;NSNumber *&gt; *&apos;</string>
292     <key>message</key>
293     <string>Conversion from value of type &apos;NSMutableArray&lt;NSString *&gt; *&apos; to incompatible type &apos;NSArray&lt;NSNumber *&gt; *&apos;</string>
294    </dict>
295   </array>
296   <key>description</key><string>Conversion from value of type &apos;NSMutableArray&lt;NSString *&gt; *&apos; to incompatible type &apos;NSArray&lt;NSNumber *&gt; *&apos;</string>
297   <key>category</key><string>Core Foundation/Objective-C</string>
298   <key>type</key><string>Generics</string>
299   <key>check_name</key><string>core.DynamicTypePropagation</string>
300   <!-- This hash is experimental and going to change! -->
301   <key>issue_hash_content_of_line_in_context</key><string>6edc910aaa9dc1f2d823abc8cb75360f</string>
302  <key>issue_context_kind</key><string>function</string>
303  <key>issue_context</key><string>incompatibleTypesErased</string>
304  <key>issue_hash_function_offset</key><string>5</string>
305  <key>location</key>
306  <dict>
307   <key>line</key><integer>104</integer>
308   <key>col</key><integer>11</integer>
309   <key>file</key><integer>0</integer>
310  </dict>
311  <key>ExecutedLines</key>
312  <dict>
313   <key>0</key>
314   <array>
315    <integer>97</integer>
316    <integer>98</integer>
317    <integer>99</integer>
318    <integer>100</integer>
319    <integer>101</integer>
320    <integer>102</integer>
321    <integer>103</integer>
322    <integer>104</integer>
323   </array>
324  </dict>
325  </dict>
326  <dict>
327   <key>path</key>
328   <array>
329    <dict>
330     <key>kind</key><string>event</string>
331     <key>location</key>
332     <dict>
333      <key>line</key><integer>100</integer>
334      <key>col</key><integer>7</integer>
335      <key>file</key><integer>0</integer>
336     </dict>
337     <key>ranges</key>
338     <array>
339       <array>
340        <dict>
341         <key>line</key><integer>100</integer>
342         <key>col</key><integer>7</integer>
343         <key>file</key><integer>0</integer>
344        </dict>
345        <dict>
346         <key>line</key><integer>100</integer>
347         <key>col</key><integer>7</integer>
348         <key>file</key><integer>0</integer>
349        </dict>
350       </array>
351     </array>
352     <key>depth</key><integer>0</integer>
353     <key>extended_message</key>
354     <string>Type &apos;NSMutableArray&lt;NSString *&gt; *&apos; is inferred from implicit cast (from &apos;NSMutableArray&lt;NSString *&gt; *&apos; to &apos;NSArray *&apos;)</string>
355     <key>message</key>
356     <string>Type &apos;NSMutableArray&lt;NSString *&gt; *&apos; is inferred from implicit cast (from &apos;NSMutableArray&lt;NSString *&gt; *&apos; to &apos;NSArray *&apos;)</string>
357    </dict>
358    <dict>
359     <key>kind</key><string>control</string>
360     <key>edges</key>
361      <array>
362       <dict>
363        <key>start</key>
364         <array>
365          <dict>
366           <key>line</key><integer>100</integer>
367           <key>col</key><integer>3</integer>
368           <key>file</key><integer>0</integer>
369          </dict>
370          <dict>
371           <key>line</key><integer>100</integer>
372           <key>col</key><integer>3</integer>
373           <key>file</key><integer>0</integer>
374          </dict>
375         </array>
376        <key>end</key>
377         <array>
378          <dict>
379           <key>line</key><integer>107</integer>
380           <key>col</key><integer>3</integer>
381           <key>file</key><integer>0</integer>
382          </dict>
383          <dict>
384           <key>line</key><integer>107</integer>
385           <key>col</key><integer>3</integer>
386           <key>file</key><integer>0</integer>
387          </dict>
388         </array>
389       </dict>
390      </array>
391    </dict>
392    <dict>
393     <key>kind</key><string>event</string>
394     <key>location</key>
395     <dict>
396      <key>line</key><integer>107</integer>
397      <key>col</key><integer>3</integer>
398      <key>file</key><integer>0</integer>
399     </dict>
400     <key>ranges</key>
401     <array>
402       <array>
403        <dict>
404         <key>line</key><integer>107</integer>
405         <key>col</key><integer>17</integer>
406         <key>file</key><integer>0</integer>
407        </dict>
408        <dict>
409         <key>line</key><integer>107</integer>
410         <key>col</key><integer>39</integer>
411         <key>file</key><integer>0</integer>
412        </dict>
413       </array>
414     </array>
415     <key>depth</key><integer>0</integer>
416     <key>extended_message</key>
417     <string>Conversion from value of type &apos;NSNumber *&apos; to incompatible type &apos;NSString *&apos;</string>
418     <key>message</key>
419     <string>Conversion from value of type &apos;NSNumber *&apos; to incompatible type &apos;NSString *&apos;</string>
420    </dict>
421   </array>
422   <key>description</key><string>Conversion from value of type &apos;NSNumber *&apos; to incompatible type &apos;NSString *&apos;</string>
423   <key>category</key><string>Core Foundation/Objective-C</string>
424   <key>type</key><string>Generics</string>
425   <key>check_name</key><string>core.DynamicTypePropagation</string>
426   <!-- This hash is experimental and going to change! -->
427   <key>issue_hash_content_of_line_in_context</key><string>73c71c858082f5d7a2258f707927da3c</string>
428  <key>issue_context_kind</key><string>function</string>
429  <key>issue_context</key><string>incompatibleTypesErased</string>
430  <key>issue_hash_function_offset</key><string>8</string>
431  <key>location</key>
432  <dict>
433   <key>line</key><integer>107</integer>
434   <key>col</key><integer>3</integer>
435   <key>file</key><integer>0</integer>
436  </dict>
437  <key>ExecutedLines</key>
438  <dict>
439   <key>0</key>
440   <array>
441    <integer>97</integer>
442    <integer>98</integer>
443    <integer>99</integer>
444    <integer>100</integer>
445    <integer>101</integer>
446    <integer>102</integer>
447    <integer>103</integer>
448    <integer>104</integer>
449    <integer>106</integer>
450    <integer>107</integer>
451   </array>
452  </dict>
453  </dict>
454  <dict>
455   <key>path</key>
456   <array>
457    <dict>
458     <key>kind</key><string>control</string>
459     <key>edges</key>
460      <array>
461       <dict>
462        <key>start</key>
463         <array>
464          <dict>
465           <key>line</key><integer>111</integer>
466           <key>col</key><integer>3</integer>
467           <key>file</key><integer>0</integer>
468          </dict>
469          <dict>
470           <key>line</key><integer>111</integer>
471           <key>col</key><integer>9</integer>
472           <key>file</key><integer>0</integer>
473          </dict>
474         </array>
475        <key>end</key>
476         <array>
477          <dict>
478           <key>line</key><integer>111</integer>
479           <key>col</key><integer>28</integer>
480           <key>file</key><integer>0</integer>
481          </dict>
482          <dict>
483           <key>line</key><integer>111</integer>
484           <key>col</key><integer>40</integer>
485           <key>file</key><integer>0</integer>
486          </dict>
487         </array>
488       </dict>
489      </array>
490    </dict>
491    <dict>
492     <key>kind</key><string>event</string>
493     <key>location</key>
494     <dict>
495      <key>line</key><integer>111</integer>
496      <key>col</key><integer>28</integer>
497      <key>file</key><integer>0</integer>
498     </dict>
499     <key>ranges</key>
500     <array>
501       <array>
502        <dict>
503         <key>line</key><integer>111</integer>
504         <key>col</key><integer>28</integer>
505         <key>file</key><integer>0</integer>
506        </dict>
507        <dict>
508         <key>line</key><integer>111</integer>
509         <key>col</key><integer>42</integer>
510         <key>file</key><integer>0</integer>
511        </dict>
512       </array>
513     </array>
514     <key>depth</key><integer>0</integer>
515     <key>extended_message</key>
516     <string>Calling &apos;getTypedStuff&apos;</string>
517     <key>message</key>
518     <string>Calling &apos;getTypedStuff&apos;</string>
519    </dict>
520    <dict>
521     <key>kind</key><string>event</string>
522     <key>location</key>
523     <dict>
524      <key>line</key><integer>86</integer>
525      <key>col</key><integer>1</integer>
526      <key>file</key><integer>0</integer>
527     </dict>
528     <key>depth</key><integer>1</integer>
529     <key>extended_message</key>
530     <string>Entered call from &apos;crossProceduralErasedTypes&apos;</string>
531     <key>message</key>
532     <string>Entered call from &apos;crossProceduralErasedTypes&apos;</string>
533    </dict>
534    <dict>
535     <key>kind</key><string>control</string>
536     <key>edges</key>
537      <array>
538       <dict>
539        <key>start</key>
540         <array>
541          <dict>
542           <key>line</key><integer>86</integer>
543           <key>col</key><integer>1</integer>
544           <key>file</key><integer>0</integer>
545          </dict>
546          <dict>
547           <key>line</key><integer>86</integer>
548           <key>col</key><integer>7</integer>
549           <key>file</key><integer>0</integer>
550          </dict>
551         </array>
552        <key>end</key>
553         <array>
554          <dict>
555           <key>line</key><integer>87</integer>
556           <key>col</key><integer>3</integer>
557           <key>file</key><integer>0</integer>
558          </dict>
559          <dict>
560           <key>line</key><integer>87</integer>
561           <key>col</key><integer>9</integer>
562           <key>file</key><integer>0</integer>
563          </dict>
564         </array>
565       </dict>
566      </array>
567    </dict>
568    <dict>
569     <key>kind</key><string>event</string>
570     <key>location</key>
571     <dict>
572      <key>line</key><integer>87</integer>
573      <key>col</key><integer>28</integer>
574      <key>file</key><integer>0</integer>
575     </dict>
576     <key>ranges</key>
577     <array>
578       <array>
579        <dict>
580         <key>line</key><integer>87</integer>
581         <key>col</key><integer>28</integer>
582         <key>file</key><integer>0</integer>
583        </dict>
584        <dict>
585         <key>line</key><integer>87</integer>
586         <key>col</key><integer>37</integer>
587         <key>file</key><integer>0</integer>
588        </dict>
589       </array>
590     </array>
591     <key>depth</key><integer>1</integer>
592     <key>extended_message</key>
593     <string>Type &apos;NSArray&lt;NSNumber *&gt; *&apos; is inferred from implicit cast (from &apos;NSArray *&apos; to &apos;NSArray&lt;NSNumber *&gt; *&apos;)</string>
594     <key>message</key>
595     <string>Type &apos;NSArray&lt;NSNumber *&gt; *&apos; is inferred from implicit cast (from &apos;NSArray *&apos; to &apos;NSArray&lt;NSNumber *&gt; *&apos;)</string>
596    </dict>
597    <dict>
598     <key>kind</key><string>control</string>
599     <key>edges</key>
600      <array>
601       <dict>
602        <key>start</key>
603         <array>
604          <dict>
605           <key>line</key><integer>87</integer>
606           <key>col</key><integer>3</integer>
607           <key>file</key><integer>0</integer>
608          </dict>
609          <dict>
610           <key>line</key><integer>87</integer>
611           <key>col</key><integer>9</integer>
612           <key>file</key><integer>0</integer>
613          </dict>
614         </array>
615        <key>end</key>
616         <array>
617          <dict>
618           <key>line</key><integer>88</integer>
619           <key>col</key><integer>3</integer>
620           <key>file</key><integer>0</integer>
621          </dict>
622          <dict>
623           <key>line</key><integer>88</integer>
624           <key>col</key><integer>8</integer>
625           <key>file</key><integer>0</integer>
626          </dict>
627         </array>
628       </dict>
629      </array>
630    </dict>
631    <dict>
632     <key>kind</key><string>event</string>
633     <key>location</key>
634     <dict>
635      <key>line</key><integer>111</integer>
636      <key>col</key><integer>28</integer>
637      <key>file</key><integer>0</integer>
638     </dict>
639     <key>ranges</key>
640     <array>
641       <array>
642        <dict>
643         <key>line</key><integer>111</integer>
644         <key>col</key><integer>28</integer>
645         <key>file</key><integer>0</integer>
646        </dict>
647        <dict>
648         <key>line</key><integer>111</integer>
649         <key>col</key><integer>42</integer>
650         <key>file</key><integer>0</integer>
651        </dict>
652       </array>
653     </array>
654     <key>depth</key><integer>0</integer>
655     <key>extended_message</key>
656     <string>Returning from &apos;getTypedStuff&apos;</string>
657     <key>message</key>
658     <string>Returning from &apos;getTypedStuff&apos;</string>
659    </dict>
660    <dict>
661     <key>kind</key><string>event</string>
662     <key>location</key>
663     <dict>
664      <key>line</key><integer>111</integer>
665      <key>col</key><integer>28</integer>
666      <key>file</key><integer>0</integer>
667     </dict>
668     <key>ranges</key>
669     <array>
670       <array>
671        <dict>
672         <key>line</key><integer>111</integer>
673         <key>col</key><integer>28</integer>
674         <key>file</key><integer>0</integer>
675        </dict>
676        <dict>
677         <key>line</key><integer>111</integer>
678         <key>col</key><integer>42</integer>
679         <key>file</key><integer>0</integer>
680        </dict>
681       </array>
682     </array>
683     <key>depth</key><integer>0</integer>
684     <key>extended_message</key>
685     <string>Conversion from value of type &apos;NSArray&lt;NSNumber *&gt; *&apos; to incompatible type &apos;NSArray&lt;NSString *&gt; *&apos;</string>
686     <key>message</key>
687     <string>Conversion from value of type &apos;NSArray&lt;NSNumber *&gt; *&apos; to incompatible type &apos;NSArray&lt;NSString *&gt; *&apos;</string>
688    </dict>
689   </array>
690   <key>description</key><string>Conversion from value of type &apos;NSArray&lt;NSNumber *&gt; *&apos; to incompatible type &apos;NSArray&lt;NSString *&gt; *&apos;</string>
691   <key>category</key><string>Core Foundation/Objective-C</string>
692   <key>type</key><string>Generics</string>
693   <key>check_name</key><string>core.DynamicTypePropagation</string>
694   <!-- This hash is experimental and going to change! -->
695   <key>issue_hash_content_of_line_in_context</key><string>82c378fdcfcc5c0318d2f3ca46420ec1</string>
696  <key>issue_context_kind</key><string>function</string>
697  <key>issue_context</key><string>crossProceduralErasedTypes</string>
698  <key>issue_hash_function_offset</key><string>1</string>
699  <key>location</key>
700  <dict>
701   <key>line</key><integer>111</integer>
702   <key>col</key><integer>28</integer>
703   <key>file</key><integer>0</integer>
704  </dict>
705  <key>ExecutedLines</key>
706  <dict>
707   <key>0</key>
708   <array>
709    <integer>86</integer>
710    <integer>87</integer>
711    <integer>88</integer>
712    <integer>110</integer>
713    <integer>111</integer>
714   </array>
715  </dict>
716  </dict>
717  <dict>
718   <key>path</key>
719   <array>
720    <dict>
721     <key>kind</key><string>event</string>
722     <key>location</key>
723     <dict>
724      <key>line</key><integer>116</integer>
725      <key>col</key><integer>7</integer>
726      <key>file</key><integer>0</integer>
727     </dict>
728     <key>ranges</key>
729     <array>
730       <array>
731        <dict>
732         <key>line</key><integer>116</integer>
733         <key>col</key><integer>7</integer>
734         <key>file</key><integer>0</integer>
735        </dict>
736        <dict>
737         <key>line</key><integer>116</integer>
738         <key>col</key><integer>7</integer>
739         <key>file</key><integer>0</integer>
740        </dict>
741       </array>
742     </array>
743     <key>depth</key><integer>0</integer>
744     <key>extended_message</key>
745     <string>Type &apos;NSMutableArray&lt;NSString *&gt; *&apos; is inferred from implicit cast (from &apos;NSMutableArray *&apos; to &apos;NSMutableArray&lt;NSString *&gt; *&apos;)</string>
746     <key>message</key>
747     <string>Type &apos;NSMutableArray&lt;NSString *&gt; *&apos; is inferred from implicit cast (from &apos;NSMutableArray *&apos; to &apos;NSMutableArray&lt;NSString *&gt; *&apos;)</string>
748    </dict>
749    <dict>
750     <key>kind</key><string>control</string>
751     <key>edges</key>
752      <array>
753       <dict>
754        <key>start</key>
755         <array>
756          <dict>
757           <key>line</key><integer>116</integer>
758           <key>col</key><integer>3</integer>
759           <key>file</key><integer>0</integer>
760          </dict>
761          <dict>
762           <key>line</key><integer>116</integer>
763           <key>col</key><integer>3</integer>
764           <key>file</key><integer>0</integer>
765          </dict>
766         </array>
767        <key>end</key>
768         <array>
769          <dict>
770           <key>line</key><integer>119</integer>
771           <key>col</key><integer>3</integer>
772           <key>file</key><integer>0</integer>
773          </dict>
774          <dict>
775           <key>line</key><integer>119</integer>
776           <key>col</key><integer>9</integer>
777           <key>file</key><integer>0</integer>
778          </dict>
779         </array>
780       </dict>
781      </array>
782    </dict>
783    <dict>
784     <key>kind</key><string>control</string>
785     <key>edges</key>
786      <array>
787       <dict>
788        <key>start</key>
789         <array>
790          <dict>
791           <key>line</key><integer>119</integer>
792           <key>col</key><integer>3</integer>
793           <key>file</key><integer>0</integer>
794          </dict>
795          <dict>
796           <key>line</key><integer>119</integer>
797           <key>col</key><integer>9</integer>
798           <key>file</key><integer>0</integer>
799          </dict>
800         </array>
801        <key>end</key>
802         <array>
803          <dict>
804           <key>line</key><integer>119</integer>
805           <key>col</key><integer>11</integer>
806           <key>file</key><integer>0</integer>
807          </dict>
808          <dict>
809           <key>line</key><integer>119</integer>
810           <key>col</key><integer>11</integer>
811           <key>file</key><integer>0</integer>
812          </dict>
813         </array>
814       </dict>
815      </array>
816    </dict>
817    <dict>
818     <key>kind</key><string>event</string>
819     <key>location</key>
820     <dict>
821      <key>line</key><integer>119</integer>
822      <key>col</key><integer>11</integer>
823      <key>file</key><integer>0</integer>
824     </dict>
825     <key>ranges</key>
826     <array>
827       <array>
828        <dict>
829         <key>line</key><integer>119</integer>
830         <key>col</key><integer>11</integer>
831         <key>file</key><integer>0</integer>
832        </dict>
833        <dict>
834         <key>line</key><integer>119</integer>
835         <key>col</key><integer>11</integer>
836         <key>file</key><integer>0</integer>
837        </dict>
838       </array>
839     </array>
840     <key>depth</key><integer>0</integer>
841     <key>extended_message</key>
842     <string>Conversion from value of type &apos;NSMutableArray&lt;NSString *&gt; *&apos; to incompatible type &apos;NSArray&lt;NSNumber *&gt; *&apos;</string>
843     <key>message</key>
844     <string>Conversion from value of type &apos;NSMutableArray&lt;NSString *&gt; *&apos; to incompatible type &apos;NSArray&lt;NSNumber *&gt; *&apos;</string>
845    </dict>
846   </array>
847   <key>description</key><string>Conversion from value of type &apos;NSMutableArray&lt;NSString *&gt; *&apos; to incompatible type &apos;NSArray&lt;NSNumber *&gt; *&apos;</string>
848   <key>category</key><string>Core Foundation/Objective-C</string>
849   <key>type</key><string>Generics</string>
850   <key>check_name</key><string>core.DynamicTypePropagation</string>
851   <!-- This hash is experimental and going to change! -->
852   <key>issue_hash_content_of_line_in_context</key><string>234e3c299ee75a4dd4563e0ea88b9ed9</string>
853  <key>issue_context_kind</key><string>function</string>
854  <key>issue_context</key><string>incompatibleTypesErasedReverseConversion</string>
855  <key>issue_hash_function_offset</key><string>4</string>
856  <key>location</key>
857  <dict>
858   <key>line</key><integer>119</integer>
859   <key>col</key><integer>11</integer>
860   <key>file</key><integer>0</integer>
861  </dict>
862  <key>ExecutedLines</key>
863  <dict>
864   <key>0</key>
865   <array>
866    <integer>114</integer>
867    <integer>115</integer>
868    <integer>116</integer>
869    <integer>117</integer>
870    <integer>118</integer>
871    <integer>119</integer>
872   </array>
873  </dict>
874  </dict>
875  <dict>
876   <key>path</key>
877   <array>
878    <dict>
879     <key>kind</key><string>event</string>
880     <key>location</key>
881     <dict>
882      <key>line</key><integer>116</integer>
883      <key>col</key><integer>7</integer>
884      <key>file</key><integer>0</integer>
885     </dict>
886     <key>ranges</key>
887     <array>
888       <array>
889        <dict>
890         <key>line</key><integer>116</integer>
891         <key>col</key><integer>7</integer>
892         <key>file</key><integer>0</integer>
893        </dict>
894        <dict>
895         <key>line</key><integer>116</integer>
896         <key>col</key><integer>7</integer>
897         <key>file</key><integer>0</integer>
898        </dict>
899       </array>
900     </array>
901     <key>depth</key><integer>0</integer>
902     <key>extended_message</key>
903     <string>Type &apos;NSMutableArray&lt;NSString *&gt; *&apos; is inferred from implicit cast (from &apos;NSMutableArray *&apos; to &apos;NSMutableArray&lt;NSString *&gt; *&apos;)</string>
904     <key>message</key>
905     <string>Type &apos;NSMutableArray&lt;NSString *&gt; *&apos; is inferred from implicit cast (from &apos;NSMutableArray *&apos; to &apos;NSMutableArray&lt;NSString *&gt; *&apos;)</string>
906    </dict>
907    <dict>
908     <key>kind</key><string>control</string>
909     <key>edges</key>
910      <array>
911       <dict>
912        <key>start</key>
913         <array>
914          <dict>
915           <key>line</key><integer>116</integer>
916           <key>col</key><integer>3</integer>
917           <key>file</key><integer>0</integer>
918          </dict>
919          <dict>
920           <key>line</key><integer>116</integer>
921           <key>col</key><integer>3</integer>
922           <key>file</key><integer>0</integer>
923          </dict>
924         </array>
925        <key>end</key>
926         <array>
927          <dict>
928           <key>line</key><integer>121</integer>
929           <key>col</key><integer>3</integer>
930           <key>file</key><integer>0</integer>
931          </dict>
932          <dict>
933           <key>line</key><integer>121</integer>
934           <key>col</key><integer>3</integer>
935           <key>file</key><integer>0</integer>
936          </dict>
937         </array>
938       </dict>
939      </array>
940    </dict>
941    <dict>
942     <key>kind</key><string>event</string>
943     <key>location</key>
944     <dict>
945      <key>line</key><integer>121</integer>
946      <key>col</key><integer>3</integer>
947      <key>file</key><integer>0</integer>
948     </dict>
949     <key>ranges</key>
950     <array>
951       <array>
952        <dict>
953         <key>line</key><integer>121</integer>
954         <key>col</key><integer>17</integer>
955         <key>file</key><integer>0</integer>
956        </dict>
957        <dict>
958         <key>line</key><integer>121</integer>
959         <key>col</key><integer>39</integer>
960         <key>file</key><integer>0</integer>
961        </dict>
962       </array>
963     </array>
964     <key>depth</key><integer>0</integer>
965     <key>extended_message</key>
966     <string>Conversion from value of type &apos;NSNumber *&apos; to incompatible type &apos;NSString *&apos;</string>
967     <key>message</key>
968     <string>Conversion from value of type &apos;NSNumber *&apos; to incompatible type &apos;NSString *&apos;</string>
969    </dict>
970   </array>
971   <key>description</key><string>Conversion from value of type &apos;NSNumber *&apos; to incompatible type &apos;NSString *&apos;</string>
972   <key>category</key><string>Core Foundation/Objective-C</string>
973   <key>type</key><string>Generics</string>
974   <key>check_name</key><string>core.DynamicTypePropagation</string>
975   <!-- This hash is experimental and going to change! -->
976   <key>issue_hash_content_of_line_in_context</key><string>e875afc5479fec33a693ce2b550a9573</string>
977  <key>issue_context_kind</key><string>function</string>
978  <key>issue_context</key><string>incompatibleTypesErasedReverseConversion</string>
979  <key>issue_hash_function_offset</key><string>6</string>
980  <key>location</key>
981  <dict>
982   <key>line</key><integer>121</integer>
983   <key>col</key><integer>3</integer>
984   <key>file</key><integer>0</integer>
985  </dict>
986  <key>ExecutedLines</key>
987  <dict>
988   <key>0</key>
989   <array>
990    <integer>114</integer>
991    <integer>115</integer>
992    <integer>116</integer>
993    <integer>117</integer>
994    <integer>118</integer>
995    <integer>119</integer>
996    <integer>121</integer>
997   </array>
998  </dict>
999  </dict>
1000  <dict>
1001   <key>path</key>
1002   <array>
1003    <dict>
1004     <key>kind</key><string>event</string>
1005     <key>location</key>
1006     <dict>
1007      <key>line</key><integer>125</integer>
1008      <key>col</key><integer>7</integer>
1009      <key>file</key><integer>0</integer>
1010     </dict>
1011     <key>ranges</key>
1012     <array>
1013       <array>
1014        <dict>
1015         <key>line</key><integer>125</integer>
1016         <key>col</key><integer>7</integer>
1017         <key>file</key><integer>0</integer>
1018        </dict>
1019        <dict>
1020         <key>line</key><integer>125</integer>
1021         <key>col</key><integer>7</integer>
1022         <key>file</key><integer>0</integer>
1023        </dict>
1024       </array>
1025     </array>
1026     <key>depth</key><integer>0</integer>
1027     <key>extended_message</key>
1028     <string>Type &apos;NSMutableArray&lt;NSString *&gt; *&apos; is inferred from implicit cast (from &apos;id&apos; to &apos;NSMutableArray&lt;NSString *&gt; *&apos;)</string>
1029     <key>message</key>
1030     <string>Type &apos;NSMutableArray&lt;NSString *&gt; *&apos; is inferred from implicit cast (from &apos;id&apos; to &apos;NSMutableArray&lt;NSString *&gt; *&apos;)</string>
1031    </dict>
1032    <dict>
1033     <key>kind</key><string>control</string>
1034     <key>edges</key>
1035      <array>
1036       <dict>
1037        <key>start</key>
1038         <array>
1039          <dict>
1040           <key>line</key><integer>125</integer>
1041           <key>col</key><integer>3</integer>
1042           <key>file</key><integer>0</integer>
1043          </dict>
1044          <dict>
1045           <key>line</key><integer>125</integer>
1046           <key>col</key><integer>3</integer>
1047           <key>file</key><integer>0</integer>
1048          </dict>
1049         </array>
1050        <key>end</key>
1051         <array>
1052          <dict>
1053           <key>line</key><integer>128</integer>
1054           <key>col</key><integer>3</integer>
1055           <key>file</key><integer>0</integer>
1056          </dict>
1057          <dict>
1058           <key>line</key><integer>128</integer>
1059           <key>col</key><integer>9</integer>
1060           <key>file</key><integer>0</integer>
1061          </dict>
1062         </array>
1063       </dict>
1064      </array>
1065    </dict>
1066    <dict>
1067     <key>kind</key><string>control</string>
1068     <key>edges</key>
1069      <array>
1070       <dict>
1071        <key>start</key>
1072         <array>
1073          <dict>
1074           <key>line</key><integer>128</integer>
1075           <key>col</key><integer>3</integer>
1076           <key>file</key><integer>0</integer>
1077          </dict>
1078          <dict>
1079           <key>line</key><integer>128</integer>
1080           <key>col</key><integer>9</integer>
1081           <key>file</key><integer>0</integer>
1082          </dict>
1083         </array>
1084        <key>end</key>
1085         <array>
1086          <dict>
1087           <key>line</key><integer>128</integer>
1088           <key>col</key><integer>11</integer>
1089           <key>file</key><integer>0</integer>
1090          </dict>
1091          <dict>
1092           <key>line</key><integer>128</integer>
1093           <key>col</key><integer>11</integer>
1094           <key>file</key><integer>0</integer>
1095          </dict>
1096         </array>
1097       </dict>
1098      </array>
1099    </dict>
1100    <dict>
1101     <key>kind</key><string>event</string>
1102     <key>location</key>
1103     <dict>
1104      <key>line</key><integer>128</integer>
1105      <key>col</key><integer>11</integer>
1106      <key>file</key><integer>0</integer>
1107     </dict>
1108     <key>ranges</key>
1109     <array>
1110       <array>
1111        <dict>
1112         <key>line</key><integer>128</integer>
1113         <key>col</key><integer>11</integer>
1114         <key>file</key><integer>0</integer>
1115        </dict>
1116        <dict>
1117         <key>line</key><integer>128</integer>
1118         <key>col</key><integer>11</integer>
1119         <key>file</key><integer>0</integer>
1120        </dict>
1121       </array>
1122     </array>
1123     <key>depth</key><integer>0</integer>
1124     <key>extended_message</key>
1125     <string>Conversion from value of type &apos;NSMutableArray&lt;NSString *&gt; *&apos; to incompatible type &apos;NSArray&lt;NSNumber *&gt; *&apos;</string>
1126     <key>message</key>
1127     <string>Conversion from value of type &apos;NSMutableArray&lt;NSString *&gt; *&apos; to incompatible type &apos;NSArray&lt;NSNumber *&gt; *&apos;</string>
1128    </dict>
1129   </array>
1130   <key>description</key><string>Conversion from value of type &apos;NSMutableArray&lt;NSString *&gt; *&apos; to incompatible type &apos;NSArray&lt;NSNumber *&gt; *&apos;</string>
1131   <key>category</key><string>Core Foundation/Objective-C</string>
1132   <key>type</key><string>Generics</string>
1133   <key>check_name</key><string>core.DynamicTypePropagation</string>
1134   <!-- This hash is experimental and going to change! -->
1135   <key>issue_hash_content_of_line_in_context</key><string>d7fa9fa89fe860ed8f5d22631233a5fa</string>
1136  <key>issue_context_kind</key><string>function</string>
1137  <key>issue_context</key><string>idErasedIncompatibleTypesReverseConversion</string>
1138  <key>issue_hash_function_offset</key><string>4</string>
1139  <key>location</key>
1140  <dict>
1141   <key>line</key><integer>128</integer>
1142   <key>col</key><integer>11</integer>
1143   <key>file</key><integer>0</integer>
1144  </dict>
1145  <key>ExecutedLines</key>
1146  <dict>
1147   <key>0</key>
1148   <array>
1149    <integer>124</integer>
1150    <integer>125</integer>
1151    <integer>126</integer>
1152    <integer>127</integer>
1153    <integer>128</integer>
1154   </array>
1155  </dict>
1156  </dict>
1157  <dict>
1158   <key>path</key>
1159   <array>
1160    <dict>
1161     <key>kind</key><string>event</string>
1162     <key>location</key>
1163     <dict>
1164      <key>line</key><integer>125</integer>
1165      <key>col</key><integer>7</integer>
1166      <key>file</key><integer>0</integer>
1167     </dict>
1168     <key>ranges</key>
1169     <array>
1170       <array>
1171        <dict>
1172         <key>line</key><integer>125</integer>
1173         <key>col</key><integer>7</integer>
1174         <key>file</key><integer>0</integer>
1175        </dict>
1176        <dict>
1177         <key>line</key><integer>125</integer>
1178         <key>col</key><integer>7</integer>
1179         <key>file</key><integer>0</integer>
1180        </dict>
1181       </array>
1182     </array>
1183     <key>depth</key><integer>0</integer>
1184     <key>extended_message</key>
1185     <string>Type &apos;NSMutableArray&lt;NSString *&gt; *&apos; is inferred from implicit cast (from &apos;id&apos; to &apos;NSMutableArray&lt;NSString *&gt; *&apos;)</string>
1186     <key>message</key>
1187     <string>Type &apos;NSMutableArray&lt;NSString *&gt; *&apos; is inferred from implicit cast (from &apos;id&apos; to &apos;NSMutableArray&lt;NSString *&gt; *&apos;)</string>
1188    </dict>
1189    <dict>
1190     <key>kind</key><string>control</string>
1191     <key>edges</key>
1192      <array>
1193       <dict>
1194        <key>start</key>
1195         <array>
1196          <dict>
1197           <key>line</key><integer>125</integer>
1198           <key>col</key><integer>3</integer>
1199           <key>file</key><integer>0</integer>
1200          </dict>
1201          <dict>
1202           <key>line</key><integer>125</integer>
1203           <key>col</key><integer>3</integer>
1204           <key>file</key><integer>0</integer>
1205          </dict>
1206         </array>
1207        <key>end</key>
1208         <array>
1209          <dict>
1210           <key>line</key><integer>130</integer>
1211           <key>col</key><integer>3</integer>
1212           <key>file</key><integer>0</integer>
1213          </dict>
1214          <dict>
1215           <key>line</key><integer>130</integer>
1216           <key>col</key><integer>3</integer>
1217           <key>file</key><integer>0</integer>
1218          </dict>
1219         </array>
1220       </dict>
1221      </array>
1222    </dict>
1223    <dict>
1224     <key>kind</key><string>event</string>
1225     <key>location</key>
1226     <dict>
1227      <key>line</key><integer>130</integer>
1228      <key>col</key><integer>3</integer>
1229      <key>file</key><integer>0</integer>
1230     </dict>
1231     <key>ranges</key>
1232     <array>
1233       <array>
1234        <dict>
1235         <key>line</key><integer>130</integer>
1236         <key>col</key><integer>16</integer>
1237         <key>file</key><integer>0</integer>
1238        </dict>
1239        <dict>
1240         <key>line</key><integer>130</integer>
1241         <key>col</key><integer>38</integer>
1242         <key>file</key><integer>0</integer>
1243        </dict>
1244       </array>
1245     </array>
1246     <key>depth</key><integer>0</integer>
1247     <key>extended_message</key>
1248     <string>Conversion from value of type &apos;NSNumber *&apos; to incompatible type &apos;NSString *&apos;</string>
1249     <key>message</key>
1250     <string>Conversion from value of type &apos;NSNumber *&apos; to incompatible type &apos;NSString *&apos;</string>
1251    </dict>
1252   </array>
1253   <key>description</key><string>Conversion from value of type &apos;NSNumber *&apos; to incompatible type &apos;NSString *&apos;</string>
1254   <key>category</key><string>Core Foundation/Objective-C</string>
1255   <key>type</key><string>Generics</string>
1256   <key>check_name</key><string>core.DynamicTypePropagation</string>
1257   <!-- This hash is experimental and going to change! -->
1258   <key>issue_hash_content_of_line_in_context</key><string>7de91182a5d6e40a85fa3b91cf3fd089</string>
1259  <key>issue_context_kind</key><string>function</string>
1260  <key>issue_context</key><string>idErasedIncompatibleTypesReverseConversion</string>
1261  <key>issue_hash_function_offset</key><string>6</string>
1262  <key>location</key>
1263  <dict>
1264   <key>line</key><integer>130</integer>
1265   <key>col</key><integer>3</integer>
1266   <key>file</key><integer>0</integer>
1267  </dict>
1268  <key>ExecutedLines</key>
1269  <dict>
1270   <key>0</key>
1271   <array>
1272    <integer>124</integer>
1273    <integer>125</integer>
1274    <integer>126</integer>
1275    <integer>127</integer>
1276    <integer>128</integer>
1277    <integer>130</integer>
1278   </array>
1279  </dict>
1280  </dict>
1281  <dict>
1282   <key>path</key>
1283   <array>
1284    <dict>
1285     <key>kind</key><string>event</string>
1286     <key>location</key>
1287     <dict>
1288      <key>line</key><integer>135</integer>
1289      <key>col</key><integer>7</integer>
1290      <key>file</key><integer>0</integer>
1291     </dict>
1292     <key>ranges</key>
1293     <array>
1294       <array>
1295        <dict>
1296         <key>line</key><integer>135</integer>
1297         <key>col</key><integer>7</integer>
1298         <key>file</key><integer>0</integer>
1299        </dict>
1300        <dict>
1301         <key>line</key><integer>135</integer>
1302         <key>col</key><integer>7</integer>
1303         <key>file</key><integer>0</integer>
1304        </dict>
1305       </array>
1306     </array>
1307     <key>depth</key><integer>0</integer>
1308     <key>extended_message</key>
1309     <string>Type &apos;NSMutableArray&lt;NSString *&gt; *&apos; is inferred from implicit cast (from &apos;NSMutableArray&lt;NSString *&gt; *&apos; to &apos;id&apos;)</string>
1310     <key>message</key>
1311     <string>Type &apos;NSMutableArray&lt;NSString *&gt; *&apos; is inferred from implicit cast (from &apos;NSMutableArray&lt;NSString *&gt; *&apos; to &apos;id&apos;)</string>
1312    </dict>
1313    <dict>
1314     <key>kind</key><string>control</string>
1315     <key>edges</key>
1316      <array>
1317       <dict>
1318        <key>start</key>
1319         <array>
1320          <dict>
1321           <key>line</key><integer>135</integer>
1322           <key>col</key><integer>3</integer>
1323           <key>file</key><integer>0</integer>
1324          </dict>
1325          <dict>
1326           <key>line</key><integer>135</integer>
1327           <key>col</key><integer>3</integer>
1328           <key>file</key><integer>0</integer>
1329          </dict>
1330         </array>
1331        <key>end</key>
1332         <array>
1333          <dict>
1334           <key>line</key><integer>136</integer>
1335           <key>col</key><integer>3</integer>
1336           <key>file</key><integer>0</integer>
1337          </dict>
1338          <dict>
1339           <key>line</key><integer>136</integer>
1340           <key>col</key><integer>3</integer>
1341           <key>file</key><integer>0</integer>
1342          </dict>
1343         </array>
1344       </dict>
1345      </array>
1346    </dict>
1347    <dict>
1348     <key>kind</key><string>control</string>
1349     <key>edges</key>
1350      <array>
1351       <dict>
1352        <key>start</key>
1353         <array>
1354          <dict>
1355           <key>line</key><integer>136</integer>
1356           <key>col</key><integer>3</integer>
1357           <key>file</key><integer>0</integer>
1358          </dict>
1359          <dict>
1360           <key>line</key><integer>136</integer>
1361           <key>col</key><integer>3</integer>
1362           <key>file</key><integer>0</integer>
1363          </dict>
1364         </array>
1365        <key>end</key>
1366         <array>
1367          <dict>
1368           <key>line</key><integer>136</integer>
1369           <key>col</key><integer>7</integer>
1370           <key>file</key><integer>0</integer>
1371          </dict>
1372          <dict>
1373           <key>line</key><integer>136</integer>
1374           <key>col</key><integer>7</integer>
1375           <key>file</key><integer>0</integer>
1376          </dict>
1377         </array>
1378       </dict>
1379      </array>
1380    </dict>
1381    <dict>
1382     <key>kind</key><string>event</string>
1383     <key>location</key>
1384     <dict>
1385      <key>line</key><integer>136</integer>
1386      <key>col</key><integer>7</integer>
1387      <key>file</key><integer>0</integer>
1388     </dict>
1389     <key>ranges</key>
1390     <array>
1391       <array>
1392        <dict>
1393         <key>line</key><integer>136</integer>
1394         <key>col</key><integer>7</integer>
1395         <key>file</key><integer>0</integer>
1396        </dict>
1397        <dict>
1398         <key>line</key><integer>136</integer>
1399         <key>col</key><integer>7</integer>
1400         <key>file</key><integer>0</integer>
1401        </dict>
1402       </array>
1403     </array>
1404     <key>depth</key><integer>0</integer>
1405     <key>extended_message</key>
1406     <string>Conversion from value of type &apos;NSMutableArray&lt;NSString *&gt; *&apos; to incompatible type &apos;NSArray&lt;NSNumber *&gt; *&apos;</string>
1407     <key>message</key>
1408     <string>Conversion from value of type &apos;NSMutableArray&lt;NSString *&gt; *&apos; to incompatible type &apos;NSArray&lt;NSNumber *&gt; *&apos;</string>
1409    </dict>
1410   </array>
1411   <key>description</key><string>Conversion from value of type &apos;NSMutableArray&lt;NSString *&gt; *&apos; to incompatible type &apos;NSArray&lt;NSNumber *&gt; *&apos;</string>
1412   <key>category</key><string>Core Foundation/Objective-C</string>
1413   <key>type</key><string>Generics</string>
1414   <key>check_name</key><string>core.DynamicTypePropagation</string>
1415   <!-- This hash is experimental and going to change! -->
1416   <key>issue_hash_content_of_line_in_context</key><string>8960776d84319407ac2bf7a1531d19b0</string>
1417  <key>issue_context_kind</key><string>function</string>
1418  <key>issue_context</key><string>idErasedIncompatibleTypes</string>
1419  <key>issue_hash_function_offset</key><string>2</string>
1420  <key>location</key>
1421  <dict>
1422   <key>line</key><integer>136</integer>
1423   <key>col</key><integer>7</integer>
1424   <key>file</key><integer>0</integer>
1425  </dict>
1426  <key>ExecutedLines</key>
1427  <dict>
1428   <key>0</key>
1429   <array>
1430    <integer>133</integer>
1431    <integer>134</integer>
1432    <integer>135</integer>
1433    <integer>136</integer>
1434   </array>
1435  </dict>
1436  </dict>
1437  <dict>
1438   <key>path</key>
1439   <array>
1440    <dict>
1441     <key>kind</key><string>event</string>
1442     <key>location</key>
1443     <dict>
1444      <key>line</key><integer>135</integer>
1445      <key>col</key><integer>7</integer>
1446      <key>file</key><integer>0</integer>
1447     </dict>
1448     <key>ranges</key>
1449     <array>
1450       <array>
1451        <dict>
1452         <key>line</key><integer>135</integer>
1453         <key>col</key><integer>7</integer>
1454         <key>file</key><integer>0</integer>
1455        </dict>
1456        <dict>
1457         <key>line</key><integer>135</integer>
1458         <key>col</key><integer>7</integer>
1459         <key>file</key><integer>0</integer>
1460        </dict>
1461       </array>
1462     </array>
1463     <key>depth</key><integer>0</integer>
1464     <key>extended_message</key>
1465     <string>Type &apos;NSMutableArray&lt;NSString *&gt; *&apos; is inferred from implicit cast (from &apos;NSMutableArray&lt;NSString *&gt; *&apos; to &apos;id&apos;)</string>
1466     <key>message</key>
1467     <string>Type &apos;NSMutableArray&lt;NSString *&gt; *&apos; is inferred from implicit cast (from &apos;NSMutableArray&lt;NSString *&gt; *&apos; to &apos;id&apos;)</string>
1468    </dict>
1469    <dict>
1470     <key>kind</key><string>control</string>
1471     <key>edges</key>
1472      <array>
1473       <dict>
1474        <key>start</key>
1475         <array>
1476          <dict>
1477           <key>line</key><integer>135</integer>
1478           <key>col</key><integer>3</integer>
1479           <key>file</key><integer>0</integer>
1480          </dict>
1481          <dict>
1482           <key>line</key><integer>135</integer>
1483           <key>col</key><integer>3</integer>
1484           <key>file</key><integer>0</integer>
1485          </dict>
1486         </array>
1487        <key>end</key>
1488         <array>
1489          <dict>
1490           <key>line</key><integer>139</integer>
1491           <key>col</key><integer>3</integer>
1492           <key>file</key><integer>0</integer>
1493          </dict>
1494          <dict>
1495           <key>line</key><integer>139</integer>
1496           <key>col</key><integer>9</integer>
1497           <key>file</key><integer>0</integer>
1498          </dict>
1499         </array>
1500       </dict>
1501      </array>
1502    </dict>
1503    <dict>
1504     <key>kind</key><string>control</string>
1505     <key>edges</key>
1506      <array>
1507       <dict>
1508        <key>start</key>
1509         <array>
1510          <dict>
1511           <key>line</key><integer>139</integer>
1512           <key>col</key><integer>3</integer>
1513           <key>file</key><integer>0</integer>
1514          </dict>
1515          <dict>
1516           <key>line</key><integer>139</integer>
1517           <key>col</key><integer>9</integer>
1518           <key>file</key><integer>0</integer>
1519          </dict>
1520         </array>
1521        <key>end</key>
1522         <array>
1523          <dict>
1524           <key>line</key><integer>139</integer>
1525           <key>col</key><integer>11</integer>
1526           <key>file</key><integer>0</integer>
1527          </dict>
1528          <dict>
1529           <key>line</key><integer>139</integer>
1530           <key>col</key><integer>11</integer>
1531           <key>file</key><integer>0</integer>
1532          </dict>
1533         </array>
1534       </dict>
1535      </array>
1536    </dict>
1537    <dict>
1538     <key>kind</key><string>event</string>
1539     <key>location</key>
1540     <dict>
1541      <key>line</key><integer>139</integer>
1542      <key>col</key><integer>11</integer>
1543      <key>file</key><integer>0</integer>
1544     </dict>
1545     <key>ranges</key>
1546     <array>
1547       <array>
1548        <dict>
1549         <key>line</key><integer>139</integer>
1550         <key>col</key><integer>11</integer>
1551         <key>file</key><integer>0</integer>
1552        </dict>
1553        <dict>
1554         <key>line</key><integer>139</integer>
1555         <key>col</key><integer>11</integer>
1556         <key>file</key><integer>0</integer>
1557        </dict>
1558       </array>
1559     </array>
1560     <key>depth</key><integer>0</integer>
1561     <key>extended_message</key>
1562     <string>Conversion from value of type &apos;NSMutableArray&lt;NSString *&gt; *&apos; to incompatible type &apos;NSArray&lt;NSNumber *&gt; *&apos;</string>
1563     <key>message</key>
1564     <string>Conversion from value of type &apos;NSMutableArray&lt;NSString *&gt; *&apos; to incompatible type &apos;NSArray&lt;NSNumber *&gt; *&apos;</string>
1565    </dict>
1566   </array>
1567   <key>description</key><string>Conversion from value of type &apos;NSMutableArray&lt;NSString *&gt; *&apos; to incompatible type &apos;NSArray&lt;NSNumber *&gt; *&apos;</string>
1568   <key>category</key><string>Core Foundation/Objective-C</string>
1569   <key>type</key><string>Generics</string>
1570   <key>check_name</key><string>core.DynamicTypePropagation</string>
1571   <!-- This hash is experimental and going to change! -->
1572   <key>issue_hash_content_of_line_in_context</key><string>93b114c7a385294dce5c25ed04a8b25a</string>
1573  <key>issue_context_kind</key><string>function</string>
1574  <key>issue_context</key><string>idErasedIncompatibleTypes</string>
1575  <key>issue_hash_function_offset</key><string>5</string>
1576  <key>location</key>
1577  <dict>
1578   <key>line</key><integer>139</integer>
1579   <key>col</key><integer>11</integer>
1580   <key>file</key><integer>0</integer>
1581  </dict>
1582  <key>ExecutedLines</key>
1583  <dict>
1584   <key>0</key>
1585   <array>
1586    <integer>133</integer>
1587    <integer>134</integer>
1588    <integer>135</integer>
1589    <integer>136</integer>
1590    <integer>137</integer>
1591    <integer>138</integer>
1592    <integer>139</integer>
1593   </array>
1594  </dict>
1595  </dict>
1596  <dict>
1597   <key>path</key>
1598   <array>
1599    <dict>
1600     <key>kind</key><string>event</string>
1601     <key>location</key>
1602     <dict>
1603      <key>line</key><integer>135</integer>
1604      <key>col</key><integer>7</integer>
1605      <key>file</key><integer>0</integer>
1606     </dict>
1607     <key>ranges</key>
1608     <array>
1609       <array>
1610        <dict>
1611         <key>line</key><integer>135</integer>
1612         <key>col</key><integer>7</integer>
1613         <key>file</key><integer>0</integer>
1614        </dict>
1615        <dict>
1616         <key>line</key><integer>135</integer>
1617         <key>col</key><integer>7</integer>
1618         <key>file</key><integer>0</integer>
1619        </dict>
1620       </array>
1621     </array>
1622     <key>depth</key><integer>0</integer>
1623     <key>extended_message</key>
1624     <string>Type &apos;NSMutableArray&lt;NSString *&gt; *&apos; is inferred from implicit cast (from &apos;NSMutableArray&lt;NSString *&gt; *&apos; to &apos;id&apos;)</string>
1625     <key>message</key>
1626     <string>Type &apos;NSMutableArray&lt;NSString *&gt; *&apos; is inferred from implicit cast (from &apos;NSMutableArray&lt;NSString *&gt; *&apos; to &apos;id&apos;)</string>
1627    </dict>
1628    <dict>
1629     <key>kind</key><string>control</string>
1630     <key>edges</key>
1631      <array>
1632       <dict>
1633        <key>start</key>
1634         <array>
1635          <dict>
1636           <key>line</key><integer>135</integer>
1637           <key>col</key><integer>3</integer>
1638           <key>file</key><integer>0</integer>
1639          </dict>
1640          <dict>
1641           <key>line</key><integer>135</integer>
1642           <key>col</key><integer>3</integer>
1643           <key>file</key><integer>0</integer>
1644          </dict>
1645         </array>
1646        <key>end</key>
1647         <array>
1648          <dict>
1649           <key>line</key><integer>141</integer>
1650           <key>col</key><integer>3</integer>
1651           <key>file</key><integer>0</integer>
1652          </dict>
1653          <dict>
1654           <key>line</key><integer>141</integer>
1655           <key>col</key><integer>3</integer>
1656           <key>file</key><integer>0</integer>
1657          </dict>
1658         </array>
1659       </dict>
1660      </array>
1661    </dict>
1662    <dict>
1663     <key>kind</key><string>event</string>
1664     <key>location</key>
1665     <dict>
1666      <key>line</key><integer>141</integer>
1667      <key>col</key><integer>3</integer>
1668      <key>file</key><integer>0</integer>
1669     </dict>
1670     <key>ranges</key>
1671     <array>
1672       <array>
1673        <dict>
1674         <key>line</key><integer>141</integer>
1675         <key>col</key><integer>16</integer>
1676         <key>file</key><integer>0</integer>
1677        </dict>
1678        <dict>
1679         <key>line</key><integer>141</integer>
1680         <key>col</key><integer>38</integer>
1681         <key>file</key><integer>0</integer>
1682        </dict>
1683       </array>
1684     </array>
1685     <key>depth</key><integer>0</integer>
1686     <key>extended_message</key>
1687     <string>Conversion from value of type &apos;NSNumber *&apos; to incompatible type &apos;NSString *&apos;</string>
1688     <key>message</key>
1689     <string>Conversion from value of type &apos;NSNumber *&apos; to incompatible type &apos;NSString *&apos;</string>
1690    </dict>
1691   </array>
1692   <key>description</key><string>Conversion from value of type &apos;NSNumber *&apos; to incompatible type &apos;NSString *&apos;</string>
1693   <key>category</key><string>Core Foundation/Objective-C</string>
1694   <key>type</key><string>Generics</string>
1695   <key>check_name</key><string>core.DynamicTypePropagation</string>
1696   <!-- This hash is experimental and going to change! -->
1697   <key>issue_hash_content_of_line_in_context</key><string>4c17f22d7e977f3343d2e2129b9229c3</string>
1698  <key>issue_context_kind</key><string>function</string>
1699  <key>issue_context</key><string>idErasedIncompatibleTypes</string>
1700  <key>issue_hash_function_offset</key><string>7</string>
1701  <key>location</key>
1702  <dict>
1703   <key>line</key><integer>141</integer>
1704   <key>col</key><integer>3</integer>
1705   <key>file</key><integer>0</integer>
1706  </dict>
1707  <key>ExecutedLines</key>
1708  <dict>
1709   <key>0</key>
1710   <array>
1711    <integer>133</integer>
1712    <integer>134</integer>
1713    <integer>135</integer>
1714    <integer>136</integer>
1715    <integer>137</integer>
1716    <integer>138</integer>
1717    <integer>139</integer>
1718    <integer>141</integer>
1719   </array>
1720  </dict>
1721  </dict>
1722  <dict>
1723   <key>path</key>
1724   <array>
1725    <dict>
1726     <key>kind</key><string>control</string>
1727     <key>edges</key>
1728      <array>
1729       <dict>
1730        <key>start</key>
1731         <array>
1732          <dict>
1733           <key>line</key><integer>146</integer>
1734           <key>col</key><integer>3</integer>
1735           <key>file</key><integer>0</integer>
1736          </dict>
1737          <dict>
1738           <key>line</key><integer>146</integer>
1739           <key>col</key><integer>4</integer>
1740           <key>file</key><integer>0</integer>
1741          </dict>
1742         </array>
1743        <key>end</key>
1744         <array>
1745          <dict>
1746           <key>line</key><integer>146</integer>
1747           <key>col</key><integer>7</integer>
1748           <key>file</key><integer>0</integer>
1749          </dict>
1750          <dict>
1751           <key>line</key><integer>146</integer>
1752           <key>col</key><integer>16</integer>
1753           <key>file</key><integer>0</integer>
1754          </dict>
1755         </array>
1756       </dict>
1757      </array>
1758    </dict>
1759    <dict>
1760     <key>kind</key><string>event</string>
1761     <key>location</key>
1762     <dict>
1763      <key>line</key><integer>146</integer>
1764      <key>col</key><integer>7</integer>
1765      <key>file</key><integer>0</integer>
1766     </dict>
1767     <key>ranges</key>
1768     <array>
1769       <array>
1770        <dict>
1771         <key>line</key><integer>146</integer>
1772         <key>col</key><integer>7</integer>
1773         <key>file</key><integer>0</integer>
1774        </dict>
1775        <dict>
1776         <key>line</key><integer>146</integer>
1777         <key>col</key><integer>23</integer>
1778         <key>file</key><integer>0</integer>
1779        </dict>
1780       </array>
1781     </array>
1782     <key>depth</key><integer>0</integer>
1783     <key>extended_message</key>
1784     <string>Assuming the condition is false</string>
1785     <key>message</key>
1786     <string>Assuming the condition is false</string>
1787    </dict>
1788    <dict>
1789     <key>kind</key><string>control</string>
1790     <key>edges</key>
1791      <array>
1792       <dict>
1793        <key>start</key>
1794         <array>
1795          <dict>
1796           <key>line</key><integer>146</integer>
1797           <key>col</key><integer>7</integer>
1798           <key>file</key><integer>0</integer>
1799          </dict>
1800          <dict>
1801           <key>line</key><integer>146</integer>
1802           <key>col</key><integer>16</integer>
1803           <key>file</key><integer>0</integer>
1804          </dict>
1805         </array>
1806        <key>end</key>
1807         <array>
1808          <dict>
1809           <key>line</key><integer>150</integer>
1810           <key>col</key><integer>5</integer>
1811           <key>file</key><integer>0</integer>
1812          </dict>
1813          <dict>
1814           <key>line</key><integer>150</integer>
1815           <key>col</key><integer>5</integer>
1816           <key>file</key><integer>0</integer>
1817          </dict>
1818         </array>
1819       </dict>
1820      </array>
1821    </dict>
1822    <dict>
1823     <key>kind</key><string>event</string>
1824     <key>location</key>
1825     <dict>
1826      <key>line</key><integer>150</integer>
1827      <key>col</key><integer>9</integer>
1828      <key>file</key><integer>0</integer>
1829     </dict>
1830     <key>ranges</key>
1831     <array>
1832       <array>
1833        <dict>
1834         <key>line</key><integer>150</integer>
1835         <key>col</key><integer>9</integer>
1836         <key>file</key><integer>0</integer>
1837        </dict>
1838        <dict>
1839         <key>line</key><integer>150</integer>
1840         <key>col</key><integer>9</integer>
1841         <key>file</key><integer>0</integer>
1842        </dict>
1843       </array>
1844     </array>
1845     <key>depth</key><integer>0</integer>
1846     <key>extended_message</key>
1847     <string>Type &apos;MutableArray&lt;NSMutableString *&gt; *&apos; is inferred from implicit cast (from &apos;MutableArray&lt;NSMutableString *&gt; *&apos; to &apos;MutableArray *&apos;)</string>
1848     <key>message</key>
1849     <string>Type &apos;MutableArray&lt;NSMutableString *&gt; *&apos; is inferred from implicit cast (from &apos;MutableArray&lt;NSMutableString *&gt; *&apos; to &apos;MutableArray *&apos;)</string>
1850    </dict>
1851    <dict>
1852     <key>kind</key><string>control</string>
1853     <key>edges</key>
1854      <array>
1855       <dict>
1856        <key>start</key>
1857         <array>
1858          <dict>
1859           <key>line</key><integer>150</integer>
1860           <key>col</key><integer>5</integer>
1861           <key>file</key><integer>0</integer>
1862          </dict>
1863          <dict>
1864           <key>line</key><integer>150</integer>
1865           <key>col</key><integer>5</integer>
1866           <key>file</key><integer>0</integer>
1867          </dict>
1868         </array>
1869        <key>end</key>
1870         <array>
1871          <dict>
1872           <key>line</key><integer>151</integer>
1873           <key>col</key><integer>5</integer>
1874           <key>file</key><integer>0</integer>
1875          </dict>
1876          <dict>
1877           <key>line</key><integer>151</integer>
1878           <key>col</key><integer>5</integer>
1879           <key>file</key><integer>0</integer>
1880          </dict>
1881         </array>
1882       </dict>
1883      </array>
1884    </dict>
1885    <dict>
1886     <key>kind</key><string>control</string>
1887     <key>edges</key>
1888      <array>
1889       <dict>
1890        <key>start</key>
1891         <array>
1892          <dict>
1893           <key>line</key><integer>151</integer>
1894           <key>col</key><integer>5</integer>
1895           <key>file</key><integer>0</integer>
1896          </dict>
1897          <dict>
1898           <key>line</key><integer>151</integer>
1899           <key>col</key><integer>5</integer>
1900           <key>file</key><integer>0</integer>
1901          </dict>
1902         </array>
1903        <key>end</key>
1904         <array>
1905          <dict>
1906           <key>line</key><integer>153</integer>
1907           <key>col</key><integer>3</integer>
1908           <key>file</key><integer>0</integer>
1909          </dict>
1910          <dict>
1911           <key>line</key><integer>153</integer>
1912           <key>col</key><integer>3</integer>
1913           <key>file</key><integer>0</integer>
1914          </dict>
1915         </array>
1916       </dict>
1917      </array>
1918    </dict>
1919    <dict>
1920     <key>kind</key><string>event</string>
1921     <key>location</key>
1922     <dict>
1923      <key>line</key><integer>153</integer>
1924      <key>col</key><integer>3</integer>
1925      <key>file</key><integer>0</integer>
1926     </dict>
1927     <key>ranges</key>
1928     <array>
1929       <array>
1930        <dict>
1931         <key>line</key><integer>153</integer>
1932         <key>col</key><integer>17</integer>
1933         <key>file</key><integer>0</integer>
1934        </dict>
1935        <dict>
1936         <key>line</key><integer>153</integer>
1937         <key>col</key><integer>39</integer>
1938         <key>file</key><integer>0</integer>
1939        </dict>
1940       </array>
1941     </array>
1942     <key>depth</key><integer>0</integer>
1943     <key>extended_message</key>
1944     <string>Conversion from value of type &apos;NSString *&apos; to incompatible type &apos;NSMutableString *&apos;</string>
1945     <key>message</key>
1946     <string>Conversion from value of type &apos;NSString *&apos; to incompatible type &apos;NSMutableString *&apos;</string>
1947    </dict>
1948   </array>
1949   <key>description</key><string>Conversion from value of type &apos;NSString *&apos; to incompatible type &apos;NSMutableString *&apos;</string>
1950   <key>category</key><string>Core Foundation/Objective-C</string>
1951   <key>type</key><string>Generics</string>
1952   <key>check_name</key><string>core.DynamicTypePropagation</string>
1953   <!-- This hash is experimental and going to change! -->
1954   <key>issue_hash_content_of_line_in_context</key><string>24a08781e7d8971a7d8f8f607ce40074</string>
1955  <key>issue_context_kind</key><string>function</string>
1956  <key>issue_context</key><string>pathSensitiveInference</string>
1957  <key>issue_hash_function_offset</key><string>8</string>
1958  <key>location</key>
1959  <dict>
1960   <key>line</key><integer>153</integer>
1961   <key>col</key><integer>3</integer>
1962   <key>file</key><integer>0</integer>
1963  </dict>
1964  <key>ExecutedLines</key>
1965  <dict>
1966   <key>0</key>
1967   <array>
1968    <integer>144</integer>
1969    <integer>145</integer>
1970    <integer>146</integer>
1971    <integer>150</integer>
1972    <integer>151</integer>
1973    <integer>153</integer>
1974   </array>
1975  </dict>
1976  </dict>
1977  <dict>
1978   <key>path</key>
1979   <array>
1980    <dict>
1981     <key>kind</key><string>event</string>
1982     <key>location</key>
1983     <dict>
1984      <key>line</key><integer>158</integer>
1985      <key>col</key><integer>7</integer>
1986      <key>file</key><integer>0</integer>
1987     </dict>
1988     <key>ranges</key>
1989     <array>
1990       <array>
1991        <dict>
1992         <key>line</key><integer>158</integer>
1993         <key>col</key><integer>7</integer>
1994         <key>file</key><integer>0</integer>
1995        </dict>
1996        <dict>
1997         <key>line</key><integer>158</integer>
1998         <key>col</key><integer>7</integer>
1999         <key>file</key><integer>0</integer>
2000        </dict>
2001       </array>
2002     </array>
2003     <key>depth</key><integer>0</integer>
2004     <key>extended_message</key>
2005     <string>Type &apos;MutableArray&lt;NSString *&gt; *&apos; is inferred from implicit cast (from &apos;id&apos; to &apos;MutableArray&lt;NSString *&gt; *&apos;)</string>
2006     <key>message</key>
2007     <string>Type &apos;MutableArray&lt;NSString *&gt; *&apos; is inferred from implicit cast (from &apos;id&apos; to &apos;MutableArray&lt;NSString *&gt; *&apos;)</string>
2008    </dict>
2009    <dict>
2010     <key>kind</key><string>control</string>
2011     <key>edges</key>
2012      <array>
2013       <dict>
2014        <key>start</key>
2015         <array>
2016          <dict>
2017           <key>line</key><integer>158</integer>
2018           <key>col</key><integer>3</integer>
2019           <key>file</key><integer>0</integer>
2020          </dict>
2021          <dict>
2022           <key>line</key><integer>158</integer>
2023           <key>col</key><integer>3</integer>
2024           <key>file</key><integer>0</integer>
2025          </dict>
2026         </array>
2027        <key>end</key>
2028         <array>
2029          <dict>
2030           <key>line</key><integer>159</integer>
2031           <key>col</key><integer>3</integer>
2032           <key>file</key><integer>0</integer>
2033          </dict>
2034          <dict>
2035           <key>line</key><integer>159</integer>
2036           <key>col</key><integer>9</integer>
2037           <key>file</key><integer>0</integer>
2038          </dict>
2039         </array>
2040       </dict>
2041      </array>
2042    </dict>
2043    <dict>
2044     <key>kind</key><string>control</string>
2045     <key>edges</key>
2046      <array>
2047       <dict>
2048        <key>start</key>
2049         <array>
2050          <dict>
2051           <key>line</key><integer>159</integer>
2052           <key>col</key><integer>3</integer>
2053           <key>file</key><integer>0</integer>
2054          </dict>
2055          <dict>
2056           <key>line</key><integer>159</integer>
2057           <key>col</key><integer>9</integer>
2058           <key>file</key><integer>0</integer>
2059          </dict>
2060         </array>
2061        <key>end</key>
2062         <array>
2063          <dict>
2064           <key>line</key><integer>159</integer>
2065           <key>col</key><integer>11</integer>
2066           <key>file</key><integer>0</integer>
2067          </dict>
2068          <dict>
2069           <key>line</key><integer>159</integer>
2070           <key>col</key><integer>11</integer>
2071           <key>file</key><integer>0</integer>
2072          </dict>
2073         </array>
2074       </dict>
2075      </array>
2076    </dict>
2077    <dict>
2078     <key>kind</key><string>event</string>
2079     <key>location</key>
2080     <dict>
2081      <key>line</key><integer>159</integer>
2082      <key>col</key><integer>11</integer>
2083      <key>file</key><integer>0</integer>
2084     </dict>
2085     <key>ranges</key>
2086     <array>
2087       <array>
2088        <dict>
2089         <key>line</key><integer>159</integer>
2090         <key>col</key><integer>11</integer>
2091         <key>file</key><integer>0</integer>
2092        </dict>
2093        <dict>
2094         <key>line</key><integer>159</integer>
2095         <key>col</key><integer>11</integer>
2096         <key>file</key><integer>0</integer>
2097        </dict>
2098       </array>
2099     </array>
2100     <key>depth</key><integer>0</integer>
2101     <key>extended_message</key>
2102     <string>Conversion from value of type &apos;MutableArray&lt;NSString *&gt; *&apos; to incompatible type &apos;NSArray&lt;NSNumber *&gt; *&apos;</string>
2103     <key>message</key>
2104     <string>Conversion from value of type &apos;MutableArray&lt;NSString *&gt; *&apos; to incompatible type &apos;NSArray&lt;NSNumber *&gt; *&apos;</string>
2105    </dict>
2106   </array>
2107   <key>description</key><string>Conversion from value of type &apos;MutableArray&lt;NSString *&gt; *&apos; to incompatible type &apos;NSArray&lt;NSNumber *&gt; *&apos;</string>
2108   <key>category</key><string>Core Foundation/Objective-C</string>
2109   <key>type</key><string>Generics</string>
2110   <key>check_name</key><string>core.DynamicTypePropagation</string>
2111   <!-- This hash is experimental and going to change! -->
2112   <key>issue_hash_content_of_line_in_context</key><string>a8534f675404d57d833dc3c371d49845</string>
2113  <key>issue_context_kind</key><string>function</string>
2114  <key>issue_context</key><string>verifyAPIusage</string>
2115  <key>issue_hash_function_offset</key><string>2</string>
2116  <key>location</key>
2117  <dict>
2118   <key>line</key><integer>159</integer>
2119   <key>col</key><integer>11</integer>
2120   <key>file</key><integer>0</integer>
2121  </dict>
2122  <key>ExecutedLines</key>
2123  <dict>
2124   <key>0</key>
2125   <array>
2126    <integer>157</integer>
2127    <integer>158</integer>
2128    <integer>159</integer>
2129   </array>
2130  </dict>
2131  </dict>
2132  <dict>
2133   <key>path</key>
2134   <array>
2135    <dict>
2136     <key>kind</key><string>control</string>
2137     <key>edges</key>
2138      <array>
2139       <dict>
2140        <key>start</key>
2141         <array>
2142          <dict>
2143           <key>line</key><integer>187</integer>
2144           <key>col</key><integer>3</integer>
2145           <key>file</key><integer>0</integer>
2146          </dict>
2147          <dict>
2148           <key>line</key><integer>187</integer>
2149           <key>col</key><integer>3</integer>
2150           <key>file</key><integer>0</integer>
2151          </dict>
2152         </array>
2153        <key>end</key>
2154         <array>
2155          <dict>
2156           <key>line</key><integer>188</integer>
2157           <key>col</key><integer>3</integer>
2158           <key>file</key><integer>0</integer>
2159          </dict>
2160          <dict>
2161           <key>line</key><integer>188</integer>
2162           <key>col</key><integer>3</integer>
2163           <key>file</key><integer>0</integer>
2164          </dict>
2165         </array>
2166       </dict>
2167      </array>
2168    </dict>
2169    <dict>
2170     <key>kind</key><string>event</string>
2171     <key>location</key>
2172     <dict>
2173      <key>line</key><integer>188</integer>
2174      <key>col</key><integer>7</integer>
2175      <key>file</key><integer>0</integer>
2176     </dict>
2177     <key>ranges</key>
2178     <array>
2179       <array>
2180        <dict>
2181         <key>line</key><integer>188</integer>
2182         <key>col</key><integer>7</integer>
2183         <key>file</key><integer>0</integer>
2184        </dict>
2185        <dict>
2186         <key>line</key><integer>188</integer>
2187         <key>col</key><integer>7</integer>
2188         <key>file</key><integer>0</integer>
2189        </dict>
2190       </array>
2191     </array>
2192     <key>depth</key><integer>0</integer>
2193     <key>extended_message</key>
2194     <string>Type &apos;MutableArray&lt;NSString *&gt; *&apos; is inferred from implicit cast (from &apos;id&apos; to &apos;MutableArray&lt;NSString *&gt; *&apos;)</string>
2195     <key>message</key>
2196     <string>Type &apos;MutableArray&lt;NSString *&gt; *&apos; is inferred from implicit cast (from &apos;id&apos; to &apos;MutableArray&lt;NSString *&gt; *&apos;)</string>
2197    </dict>
2198    <dict>
2199     <key>kind</key><string>control</string>
2200     <key>edges</key>
2201      <array>
2202       <dict>
2203        <key>start</key>
2204         <array>
2205          <dict>
2206           <key>line</key><integer>188</integer>
2207           <key>col</key><integer>3</integer>
2208           <key>file</key><integer>0</integer>
2209          </dict>
2210          <dict>
2211           <key>line</key><integer>188</integer>
2212           <key>col</key><integer>3</integer>
2213           <key>file</key><integer>0</integer>
2214          </dict>
2215         </array>
2216        <key>end</key>
2217         <array>
2218          <dict>
2219           <key>line</key><integer>189</integer>
2220           <key>col</key><integer>3</integer>
2221           <key>file</key><integer>0</integer>
2222          </dict>
2223          <dict>
2224           <key>line</key><integer>189</integer>
2225           <key>col</key><integer>3</integer>
2226           <key>file</key><integer>0</integer>
2227          </dict>
2228         </array>
2229       </dict>
2230      </array>
2231    </dict>
2232    <dict>
2233     <key>kind</key><string>control</string>
2234     <key>edges</key>
2235      <array>
2236       <dict>
2237        <key>start</key>
2238         <array>
2239          <dict>
2240           <key>line</key><integer>189</integer>
2241           <key>col</key><integer>3</integer>
2242           <key>file</key><integer>0</integer>
2243          </dict>
2244          <dict>
2245           <key>line</key><integer>189</integer>
2246           <key>col</key><integer>3</integer>
2247           <key>file</key><integer>0</integer>
2248          </dict>
2249         </array>
2250        <key>end</key>
2251         <array>
2252          <dict>
2253           <key>line</key><integer>189</integer>
2254           <key>col</key><integer>7</integer>
2255           <key>file</key><integer>0</integer>
2256          </dict>
2257          <dict>
2258           <key>line</key><integer>189</integer>
2259           <key>col</key><integer>7</integer>
2260           <key>file</key><integer>0</integer>
2261          </dict>
2262         </array>
2263       </dict>
2264      </array>
2265    </dict>
2266    <dict>
2267     <key>kind</key><string>event</string>
2268     <key>location</key>
2269     <dict>
2270      <key>line</key><integer>189</integer>
2271      <key>col</key><integer>7</integer>
2272      <key>file</key><integer>0</integer>
2273     </dict>
2274     <key>ranges</key>
2275     <array>
2276       <array>
2277        <dict>
2278         <key>line</key><integer>189</integer>
2279         <key>col</key><integer>7</integer>
2280         <key>file</key><integer>0</integer>
2281        </dict>
2282        <dict>
2283         <key>line</key><integer>189</integer>
2284         <key>col</key><integer>7</integer>
2285         <key>file</key><integer>0</integer>
2286        </dict>
2287       </array>
2288     </array>
2289     <key>depth</key><integer>0</integer>
2290     <key>extended_message</key>
2291     <string>Conversion from value of type &apos;MutableArray&lt;NSString *&gt; *&apos; to incompatible type &apos;MutableArray&lt;NSNumber *&gt; *&apos;</string>
2292     <key>message</key>
2293     <string>Conversion from value of type &apos;MutableArray&lt;NSString *&gt; *&apos; to incompatible type &apos;MutableArray&lt;NSNumber *&gt; *&apos;</string>
2294    </dict>
2295   </array>
2296   <key>description</key><string>Conversion from value of type &apos;MutableArray&lt;NSString *&gt; *&apos; to incompatible type &apos;MutableArray&lt;NSNumber *&gt; *&apos;</string>
2297   <key>category</key><string>Core Foundation/Objective-C</string>
2298   <key>type</key><string>Generics</string>
2299   <key>check_name</key><string>core.DynamicTypePropagation</string>
2300   <!-- This hash is experimental and going to change! -->
2301   <key>issue_hash_content_of_line_in_context</key><string>d113e22b9ee9ded1cd94750c3557eff4</string>
2302  <key>issue_context_kind</key><string>function</string>
2303  <key>issue_context</key><string>subtypeOfGeneric</string>
2304  <key>issue_hash_function_offset</key><string>3</string>
2305  <key>location</key>
2306  <dict>
2307   <key>line</key><integer>189</integer>
2308   <key>col</key><integer>7</integer>
2309   <key>file</key><integer>0</integer>
2310  </dict>
2311  <key>ExecutedLines</key>
2312  <dict>
2313   <key>0</key>
2314   <array>
2315    <integer>184</integer>
2316    <integer>185</integer>
2317    <integer>186</integer>
2318    <integer>187</integer>
2319    <integer>188</integer>
2320    <integer>189</integer>
2321   </array>
2322  </dict>
2323  </dict>
2324  <dict>
2325   <key>path</key>
2326   <array>
2327    <dict>
2328     <key>kind</key><string>event</string>
2329     <key>location</key>
2330     <dict>
2331      <key>line</key><integer>195</integer>
2332      <key>col</key><integer>7</integer>
2333      <key>file</key><integer>0</integer>
2334     </dict>
2335     <key>ranges</key>
2336     <array>
2337       <array>
2338        <dict>
2339         <key>line</key><integer>195</integer>
2340         <key>col</key><integer>7</integer>
2341         <key>file</key><integer>0</integer>
2342        </dict>
2343        <dict>
2344         <key>line</key><integer>195</integer>
2345         <key>col</key><integer>7</integer>
2346         <key>file</key><integer>0</integer>
2347        </dict>
2348       </array>
2349     </array>
2350     <key>depth</key><integer>0</integer>
2351     <key>extended_message</key>
2352     <string>Type &apos;ExceptionalArray&lt;NSString *&gt; *&apos; is inferred from implicit cast (from &apos;ExceptionalArray&lt;NSString *&gt; *&apos; to &apos;id&apos;)</string>
2353     <key>message</key>
2354     <string>Type &apos;ExceptionalArray&lt;NSString *&gt; *&apos; is inferred from implicit cast (from &apos;ExceptionalArray&lt;NSString *&gt; *&apos; to &apos;id&apos;)</string>
2355    </dict>
2356    <dict>
2357     <key>kind</key><string>control</string>
2358     <key>edges</key>
2359      <array>
2360       <dict>
2361        <key>start</key>
2362         <array>
2363          <dict>
2364           <key>line</key><integer>195</integer>
2365           <key>col</key><integer>3</integer>
2366           <key>file</key><integer>0</integer>
2367          </dict>
2368          <dict>
2369           <key>line</key><integer>195</integer>
2370           <key>col</key><integer>3</integer>
2371           <key>file</key><integer>0</integer>
2372          </dict>
2373         </array>
2374        <key>end</key>
2375         <array>
2376          <dict>
2377           <key>line</key><integer>199</integer>
2378           <key>col</key><integer>3</integer>
2379           <key>file</key><integer>0</integer>
2380          </dict>
2381          <dict>
2382           <key>line</key><integer>199</integer>
2383           <key>col</key><integer>3</integer>
2384           <key>file</key><integer>0</integer>
2385          </dict>
2386         </array>
2387       </dict>
2388      </array>
2389    </dict>
2390    <dict>
2391     <key>kind</key><string>control</string>
2392     <key>edges</key>
2393      <array>
2394       <dict>
2395        <key>start</key>
2396         <array>
2397          <dict>
2398           <key>line</key><integer>199</integer>
2399           <key>col</key><integer>3</integer>
2400           <key>file</key><integer>0</integer>
2401          </dict>
2402          <dict>
2403           <key>line</key><integer>199</integer>
2404           <key>col</key><integer>3</integer>
2405           <key>file</key><integer>0</integer>
2406          </dict>
2407         </array>
2408        <key>end</key>
2409         <array>
2410          <dict>
2411           <key>line</key><integer>199</integer>
2412           <key>col</key><integer>7</integer>
2413           <key>file</key><integer>0</integer>
2414          </dict>
2415          <dict>
2416           <key>line</key><integer>199</integer>
2417           <key>col</key><integer>7</integer>
2418           <key>file</key><integer>0</integer>
2419          </dict>
2420         </array>
2421       </dict>
2422      </array>
2423    </dict>
2424    <dict>
2425     <key>kind</key><string>event</string>
2426     <key>location</key>
2427     <dict>
2428      <key>line</key><integer>199</integer>
2429      <key>col</key><integer>7</integer>
2430      <key>file</key><integer>0</integer>
2431     </dict>
2432     <key>ranges</key>
2433     <array>
2434       <array>
2435        <dict>
2436         <key>line</key><integer>199</integer>
2437         <key>col</key><integer>7</integer>
2438         <key>file</key><integer>0</integer>
2439        </dict>
2440        <dict>
2441         <key>line</key><integer>199</integer>
2442         <key>col</key><integer>7</integer>
2443         <key>file</key><integer>0</integer>
2444        </dict>
2445       </array>
2446     </array>
2447     <key>depth</key><integer>0</integer>
2448     <key>extended_message</key>
2449     <string>Conversion from value of type &apos;ExceptionalArray&lt;NSString *&gt; *&apos; to incompatible type &apos;MutableArray&lt;NSNumber *&gt; *&apos;</string>
2450     <key>message</key>
2451     <string>Conversion from value of type &apos;ExceptionalArray&lt;NSString *&gt; *&apos; to incompatible type &apos;MutableArray&lt;NSNumber *&gt; *&apos;</string>
2452    </dict>
2453   </array>
2454   <key>description</key><string>Conversion from value of type &apos;ExceptionalArray&lt;NSString *&gt; *&apos; to incompatible type &apos;MutableArray&lt;NSNumber *&gt; *&apos;</string>
2455   <key>category</key><string>Core Foundation/Objective-C</string>
2456   <key>type</key><string>Generics</string>
2457   <key>check_name</key><string>core.DynamicTypePropagation</string>
2458   <!-- This hash is experimental and going to change! -->
2459   <key>issue_hash_content_of_line_in_context</key><string>f1b900572a63726a729714a765595c38</string>
2460  <key>issue_context_kind</key><string>function</string>
2461  <key>issue_context</key><string>genericSubtypeOfGeneric</string>
2462  <key>issue_hash_function_offset</key><string>5</string>
2463  <key>location</key>
2464  <dict>
2465   <key>line</key><integer>199</integer>
2466   <key>col</key><integer>7</integer>
2467   <key>file</key><integer>0</integer>
2468  </dict>
2469  <key>ExecutedLines</key>
2470  <dict>
2471   <key>0</key>
2472   <array>
2473    <integer>192</integer>
2474    <integer>193</integer>
2475    <integer>194</integer>
2476    <integer>195</integer>
2477    <integer>196</integer>
2478    <integer>197</integer>
2479    <integer>198</integer>
2480    <integer>199</integer>
2481   </array>
2482  </dict>
2483  </dict>
2484  <dict>
2485   <key>path</key>
2486   <array>
2487    <dict>
2488     <key>kind</key><string>event</string>
2489     <key>location</key>
2490     <dict>
2491      <key>line</key><integer>195</integer>
2492      <key>col</key><integer>7</integer>
2493      <key>file</key><integer>0</integer>
2494     </dict>
2495     <key>ranges</key>
2496     <array>
2497       <array>
2498        <dict>
2499         <key>line</key><integer>195</integer>
2500         <key>col</key><integer>7</integer>
2501         <key>file</key><integer>0</integer>
2502        </dict>
2503        <dict>
2504         <key>line</key><integer>195</integer>
2505         <key>col</key><integer>7</integer>
2506         <key>file</key><integer>0</integer>
2507        </dict>
2508       </array>
2509     </array>
2510     <key>depth</key><integer>0</integer>
2511     <key>extended_message</key>
2512     <string>Type &apos;ExceptionalArray&lt;NSString *&gt; *&apos; is inferred from implicit cast (from &apos;ExceptionalArray&lt;NSString *&gt; *&apos; to &apos;id&apos;)</string>
2513     <key>message</key>
2514     <string>Type &apos;ExceptionalArray&lt;NSString *&gt; *&apos; is inferred from implicit cast (from &apos;ExceptionalArray&lt;NSString *&gt; *&apos; to &apos;id&apos;)</string>
2515    </dict>
2516    <dict>
2517     <key>kind</key><string>control</string>
2518     <key>edges</key>
2519      <array>
2520       <dict>
2521        <key>start</key>
2522         <array>
2523          <dict>
2524           <key>line</key><integer>195</integer>
2525           <key>col</key><integer>3</integer>
2526           <key>file</key><integer>0</integer>
2527          </dict>
2528          <dict>
2529           <key>line</key><integer>195</integer>
2530           <key>col</key><integer>3</integer>
2531           <key>file</key><integer>0</integer>
2532          </dict>
2533         </array>
2534        <key>end</key>
2535         <array>
2536          <dict>
2537           <key>line</key><integer>201</integer>
2538           <key>col</key><integer>3</integer>
2539           <key>file</key><integer>0</integer>
2540          </dict>
2541          <dict>
2542           <key>line</key><integer>201</integer>
2543           <key>col</key><integer>3</integer>
2544           <key>file</key><integer>0</integer>
2545          </dict>
2546         </array>
2547       </dict>
2548      </array>
2549    </dict>
2550    <dict>
2551     <key>kind</key><string>event</string>
2552     <key>location</key>
2553     <dict>
2554      <key>line</key><integer>201</integer>
2555      <key>col</key><integer>3</integer>
2556      <key>file</key><integer>0</integer>
2557     </dict>
2558     <key>ranges</key>
2559     <array>
2560       <array>
2561        <dict>
2562         <key>line</key><integer>201</integer>
2563         <key>col</key><integer>17</integer>
2564         <key>file</key><integer>0</integer>
2565        </dict>
2566        <dict>
2567         <key>line</key><integer>201</integer>
2568         <key>col</key><integer>39</integer>
2569         <key>file</key><integer>0</integer>
2570        </dict>
2571       </array>
2572     </array>
2573     <key>depth</key><integer>0</integer>
2574     <key>extended_message</key>
2575     <string>Conversion from value of type &apos;NSNumber *&apos; to incompatible type &apos;NSString *&apos;</string>
2576     <key>message</key>
2577     <string>Conversion from value of type &apos;NSNumber *&apos; to incompatible type &apos;NSString *&apos;</string>
2578    </dict>
2579   </array>
2580   <key>description</key><string>Conversion from value of type &apos;NSNumber *&apos; to incompatible type &apos;NSString *&apos;</string>
2581   <key>category</key><string>Core Foundation/Objective-C</string>
2582   <key>type</key><string>Generics</string>
2583   <key>check_name</key><string>core.DynamicTypePropagation</string>
2584   <!-- This hash is experimental and going to change! -->
2585   <key>issue_hash_content_of_line_in_context</key><string>cbb926c9de226a3eac85fb961a93f39a</string>
2586  <key>issue_context_kind</key><string>function</string>
2587  <key>issue_context</key><string>genericSubtypeOfGeneric</string>
2588  <key>issue_hash_function_offset</key><string>7</string>
2589  <key>location</key>
2590  <dict>
2591   <key>line</key><integer>201</integer>
2592   <key>col</key><integer>3</integer>
2593   <key>file</key><integer>0</integer>
2594  </dict>
2595  <key>ExecutedLines</key>
2596  <dict>
2597   <key>0</key>
2598   <array>
2599    <integer>192</integer>
2600    <integer>193</integer>
2601    <integer>194</integer>
2602    <integer>195</integer>
2603    <integer>196</integer>
2604    <integer>197</integer>
2605    <integer>198</integer>
2606    <integer>199</integer>
2607    <integer>201</integer>
2608   </array>
2609  </dict>
2610  </dict>
2611  <dict>
2612   <key>path</key>
2613   <array>
2614    <dict>
2615     <key>kind</key><string>event</string>
2616     <key>location</key>
2617     <dict>
2618      <key>line</key><integer>207</integer>
2619      <key>col</key><integer>7</integer>
2620      <key>file</key><integer>0</integer>
2621     </dict>
2622     <key>ranges</key>
2623     <array>
2624       <array>
2625        <dict>
2626         <key>line</key><integer>207</integer>
2627         <key>col</key><integer>7</integer>
2628         <key>file</key><integer>0</integer>
2629        </dict>
2630        <dict>
2631         <key>line</key><integer>207</integer>
2632         <key>col</key><integer>7</integer>
2633         <key>file</key><integer>0</integer>
2634        </dict>
2635       </array>
2636     </array>
2637     <key>depth</key><integer>0</integer>
2638     <key>extended_message</key>
2639     <string>Type &apos;ExceptionalArray&lt;NSString *&gt; *&apos; is inferred from implicit cast (from &apos;id&apos; to &apos;ExceptionalArray&lt;NSString *&gt; *&apos;)</string>
2640     <key>message</key>
2641     <string>Type &apos;ExceptionalArray&lt;NSString *&gt; *&apos; is inferred from implicit cast (from &apos;id&apos; to &apos;ExceptionalArray&lt;NSString *&gt; *&apos;)</string>
2642    </dict>
2643    <dict>
2644     <key>kind</key><string>control</string>
2645     <key>edges</key>
2646      <array>
2647       <dict>
2648        <key>start</key>
2649         <array>
2650          <dict>
2651           <key>line</key><integer>207</integer>
2652           <key>col</key><integer>3</integer>
2653           <key>file</key><integer>0</integer>
2654          </dict>
2655          <dict>
2656           <key>line</key><integer>207</integer>
2657           <key>col</key><integer>3</integer>
2658           <key>file</key><integer>0</integer>
2659          </dict>
2660         </array>
2661        <key>end</key>
2662         <array>
2663          <dict>
2664           <key>line</key><integer>211</integer>
2665           <key>col</key><integer>3</integer>
2666           <key>file</key><integer>0</integer>
2667          </dict>
2668          <dict>
2669           <key>line</key><integer>211</integer>
2670           <key>col</key><integer>3</integer>
2671           <key>file</key><integer>0</integer>
2672          </dict>
2673         </array>
2674       </dict>
2675      </array>
2676    </dict>
2677    <dict>
2678     <key>kind</key><string>control</string>
2679     <key>edges</key>
2680      <array>
2681       <dict>
2682        <key>start</key>
2683         <array>
2684          <dict>
2685           <key>line</key><integer>211</integer>
2686           <key>col</key><integer>3</integer>
2687           <key>file</key><integer>0</integer>
2688          </dict>
2689          <dict>
2690           <key>line</key><integer>211</integer>
2691           <key>col</key><integer>3</integer>
2692           <key>file</key><integer>0</integer>
2693          </dict>
2694         </array>
2695        <key>end</key>
2696         <array>
2697          <dict>
2698           <key>line</key><integer>211</integer>
2699           <key>col</key><integer>7</integer>
2700           <key>file</key><integer>0</integer>
2701          </dict>
2702          <dict>
2703           <key>line</key><integer>211</integer>
2704           <key>col</key><integer>7</integer>
2705           <key>file</key><integer>0</integer>
2706          </dict>
2707         </array>
2708       </dict>
2709      </array>
2710    </dict>
2711    <dict>
2712     <key>kind</key><string>event</string>
2713     <key>location</key>
2714     <dict>
2715      <key>line</key><integer>211</integer>
2716      <key>col</key><integer>7</integer>
2717      <key>file</key><integer>0</integer>
2718     </dict>
2719     <key>ranges</key>
2720     <array>
2721       <array>
2722        <dict>
2723         <key>line</key><integer>211</integer>
2724         <key>col</key><integer>7</integer>
2725         <key>file</key><integer>0</integer>
2726        </dict>
2727        <dict>
2728         <key>line</key><integer>211</integer>
2729         <key>col</key><integer>7</integer>
2730         <key>file</key><integer>0</integer>
2731        </dict>
2732       </array>
2733     </array>
2734     <key>depth</key><integer>0</integer>
2735     <key>extended_message</key>
2736     <string>Conversion from value of type &apos;ExceptionalArray&lt;NSString *&gt; *&apos; to incompatible type &apos;MutableArray&lt;NSNumber *&gt; *&apos;</string>
2737     <key>message</key>
2738     <string>Conversion from value of type &apos;ExceptionalArray&lt;NSString *&gt; *&apos; to incompatible type &apos;MutableArray&lt;NSNumber *&gt; *&apos;</string>
2739    </dict>
2740   </array>
2741   <key>description</key><string>Conversion from value of type &apos;ExceptionalArray&lt;NSString *&gt; *&apos; to incompatible type &apos;MutableArray&lt;NSNumber *&gt; *&apos;</string>
2742   <key>category</key><string>Core Foundation/Objective-C</string>
2743   <key>type</key><string>Generics</string>
2744   <key>check_name</key><string>core.DynamicTypePropagation</string>
2745   <!-- This hash is experimental and going to change! -->
2746   <key>issue_hash_content_of_line_in_context</key><string>b6ee3b22fbad45f213b4bf14bec7eeaf</string>
2747  <key>issue_context_kind</key><string>function</string>
2748  <key>issue_context</key><string>genericSubtypeOfGenericReverse</string>
2749  <key>issue_hash_function_offset</key><string>5</string>
2750  <key>location</key>
2751  <dict>
2752   <key>line</key><integer>211</integer>
2753   <key>col</key><integer>7</integer>
2754   <key>file</key><integer>0</integer>
2755  </dict>
2756  <key>ExecutedLines</key>
2757  <dict>
2758   <key>0</key>
2759   <array>
2760    <integer>204</integer>
2761    <integer>205</integer>
2762    <integer>206</integer>
2763    <integer>207</integer>
2764    <integer>208</integer>
2765    <integer>209</integer>
2766    <integer>210</integer>
2767    <integer>211</integer>
2768   </array>
2769  </dict>
2770  </dict>
2771  <dict>
2772   <key>path</key>
2773   <array>
2774    <dict>
2775     <key>kind</key><string>event</string>
2776     <key>location</key>
2777     <dict>
2778      <key>line</key><integer>207</integer>
2779      <key>col</key><integer>7</integer>
2780      <key>file</key><integer>0</integer>
2781     </dict>
2782     <key>ranges</key>
2783     <array>
2784       <array>
2785        <dict>
2786         <key>line</key><integer>207</integer>
2787         <key>col</key><integer>7</integer>
2788         <key>file</key><integer>0</integer>
2789        </dict>
2790        <dict>
2791         <key>line</key><integer>207</integer>
2792         <key>col</key><integer>7</integer>
2793         <key>file</key><integer>0</integer>
2794        </dict>
2795       </array>
2796     </array>
2797     <key>depth</key><integer>0</integer>
2798     <key>extended_message</key>
2799     <string>Type &apos;ExceptionalArray&lt;NSString *&gt; *&apos; is inferred from implicit cast (from &apos;id&apos; to &apos;ExceptionalArray&lt;NSString *&gt; *&apos;)</string>
2800     <key>message</key>
2801     <string>Type &apos;ExceptionalArray&lt;NSString *&gt; *&apos; is inferred from implicit cast (from &apos;id&apos; to &apos;ExceptionalArray&lt;NSString *&gt; *&apos;)</string>
2802    </dict>
2803    <dict>
2804     <key>kind</key><string>control</string>
2805     <key>edges</key>
2806      <array>
2807       <dict>
2808        <key>start</key>
2809         <array>
2810          <dict>
2811           <key>line</key><integer>207</integer>
2812           <key>col</key><integer>3</integer>
2813           <key>file</key><integer>0</integer>
2814          </dict>
2815          <dict>
2816           <key>line</key><integer>207</integer>
2817           <key>col</key><integer>3</integer>
2818           <key>file</key><integer>0</integer>
2819          </dict>
2820         </array>
2821        <key>end</key>
2822         <array>
2823          <dict>
2824           <key>line</key><integer>213</integer>
2825           <key>col</key><integer>2</integer>
2826           <key>file</key><integer>0</integer>
2827          </dict>
2828          <dict>
2829           <key>line</key><integer>213</integer>
2830           <key>col</key><integer>2</integer>
2831           <key>file</key><integer>0</integer>
2832          </dict>
2833         </array>
2834       </dict>
2835      </array>
2836    </dict>
2837    <dict>
2838     <key>kind</key><string>event</string>
2839     <key>location</key>
2840     <dict>
2841      <key>line</key><integer>213</integer>
2842      <key>col</key><integer>2</integer>
2843      <key>file</key><integer>0</integer>
2844     </dict>
2845     <key>ranges</key>
2846     <array>
2847       <array>
2848        <dict>
2849         <key>line</key><integer>213</integer>
2850         <key>col</key><integer>16</integer>
2851         <key>file</key><integer>0</integer>
2852        </dict>
2853        <dict>
2854         <key>line</key><integer>213</integer>
2855         <key>col</key><integer>38</integer>
2856         <key>file</key><integer>0</integer>
2857        </dict>
2858       </array>
2859     </array>
2860     <key>depth</key><integer>0</integer>
2861     <key>extended_message</key>
2862     <string>Conversion from value of type &apos;NSNumber *&apos; to incompatible type &apos;NSString *&apos;</string>
2863     <key>message</key>
2864     <string>Conversion from value of type &apos;NSNumber *&apos; to incompatible type &apos;NSString *&apos;</string>
2865    </dict>
2866   </array>
2867   <key>description</key><string>Conversion from value of type &apos;NSNumber *&apos; to incompatible type &apos;NSString *&apos;</string>
2868   <key>category</key><string>Core Foundation/Objective-C</string>
2869   <key>type</key><string>Generics</string>
2870   <key>check_name</key><string>core.DynamicTypePropagation</string>
2871   <!-- This hash is experimental and going to change! -->
2872   <key>issue_hash_content_of_line_in_context</key><string>6561f05506a8ceca3afc79fc59912b94</string>
2873  <key>issue_context_kind</key><string>function</string>
2874  <key>issue_context</key><string>genericSubtypeOfGenericReverse</string>
2875  <key>issue_hash_function_offset</key><string>7</string>
2876  <key>location</key>
2877  <dict>
2878   <key>line</key><integer>213</integer>
2879   <key>col</key><integer>2</integer>
2880   <key>file</key><integer>0</integer>
2881  </dict>
2882  <key>ExecutedLines</key>
2883  <dict>
2884   <key>0</key>
2885   <array>
2886    <integer>204</integer>
2887    <integer>205</integer>
2888    <integer>206</integer>
2889    <integer>207</integer>
2890    <integer>208</integer>
2891    <integer>209</integer>
2892    <integer>210</integer>
2893    <integer>211</integer>
2894    <integer>213</integer>
2895   </array>
2896  </dict>
2897  </dict>
2898  <dict>
2899   <key>path</key>
2900   <array>
2901    <dict>
2902     <key>kind</key><string>event</string>
2903     <key>location</key>
2904     <dict>
2905      <key>line</key><integer>219</integer>
2906      <key>col</key><integer>20</integer>
2907      <key>file</key><integer>0</integer>
2908     </dict>
2909     <key>ranges</key>
2910     <array>
2911       <array>
2912        <dict>
2913         <key>line</key><integer>219</integer>
2914         <key>col</key><integer>20</integer>
2915         <key>file</key><integer>0</integer>
2916        </dict>
2917        <dict>
2918         <key>line</key><integer>219</integer>
2919         <key>col</key><integer>20</integer>
2920         <key>file</key><integer>0</integer>
2921        </dict>
2922       </array>
2923     </array>
2924     <key>depth</key><integer>0</integer>
2925     <key>extended_message</key>
2926     <string>Type &apos;MutableArray&lt;NSString *&gt; *&apos; is inferred from implicit cast (from &apos;id&apos; to &apos;MutableArray&lt;NSString *&gt; *&apos;)</string>
2927     <key>message</key>
2928     <string>Type &apos;MutableArray&lt;NSString *&gt; *&apos; is inferred from implicit cast (from &apos;id&apos; to &apos;MutableArray&lt;NSString *&gt; *&apos;)</string>
2929    </dict>
2930    <dict>
2931     <key>kind</key><string>control</string>
2932     <key>edges</key>
2933      <array>
2934       <dict>
2935        <key>start</key>
2936         <array>
2937          <dict>
2938           <key>line</key><integer>219</integer>
2939           <key>col</key><integer>3</integer>
2940           <key>file</key><integer>0</integer>
2941          </dict>
2942          <dict>
2943           <key>line</key><integer>219</integer>
2944           <key>col</key><integer>18</integer>
2945           <key>file</key><integer>0</integer>
2946          </dict>
2947         </array>
2948        <key>end</key>
2949         <array>
2950          <dict>
2951           <key>line</key><integer>220</integer>
2952           <key>col</key><integer>3</integer>
2953           <key>file</key><integer>0</integer>
2954          </dict>
2955          <dict>
2956           <key>line</key><integer>220</integer>
2957           <key>col</key><integer>25</integer>
2958           <key>file</key><integer>0</integer>
2959          </dict>
2960         </array>
2961       </dict>
2962      </array>
2963    </dict>
2964    <dict>
2965     <key>kind</key><string>control</string>
2966     <key>edges</key>
2967      <array>
2968       <dict>
2969        <key>start</key>
2970         <array>
2971          <dict>
2972           <key>line</key><integer>220</integer>
2973           <key>col</key><integer>3</integer>
2974           <key>file</key><integer>0</integer>
2975          </dict>
2976          <dict>
2977           <key>line</key><integer>220</integer>
2978           <key>col</key><integer>25</integer>
2979           <key>file</key><integer>0</integer>
2980          </dict>
2981         </array>
2982        <key>end</key>
2983         <array>
2984          <dict>
2985           <key>line</key><integer>220</integer>
2986           <key>col</key><integer>27</integer>
2987           <key>file</key><integer>0</integer>
2988          </dict>
2989          <dict>
2990           <key>line</key><integer>220</integer>
2991           <key>col</key><integer>27</integer>
2992           <key>file</key><integer>0</integer>
2993          </dict>
2994         </array>
2995       </dict>
2996      </array>
2997    </dict>
2998    <dict>
2999     <key>kind</key><string>event</string>
3000     <key>location</key>
3001     <dict>
3002      <key>line</key><integer>220</integer>
3003      <key>col</key><integer>27</integer>
3004      <key>file</key><integer>0</integer>
3005     </dict>
3006     <key>ranges</key>
3007     <array>
3008       <array>
3009        <dict>
3010         <key>line</key><integer>220</integer>
3011         <key>col</key><integer>27</integer>
3012         <key>file</key><integer>0</integer>
3013        </dict>
3014        <dict>
3015         <key>line</key><integer>220</integer>
3016         <key>col</key><integer>27</integer>
3017         <key>file</key><integer>0</integer>
3018        </dict>
3019       </array>
3020     </array>
3021     <key>depth</key><integer>0</integer>
3022     <key>extended_message</key>
3023     <string>Conversion from value of type &apos;MutableArray&lt;NSString *&gt; *&apos; to incompatible type &apos;MutableArray&lt;NSMutableString *&gt; *&apos;</string>
3024     <key>message</key>
3025     <string>Conversion from value of type &apos;MutableArray&lt;NSString *&gt; *&apos; to incompatible type &apos;MutableArray&lt;NSMutableString *&gt; *&apos;</string>
3026    </dict>
3027   </array>
3028   <key>description</key><string>Conversion from value of type &apos;MutableArray&lt;NSString *&gt; *&apos; to incompatible type &apos;MutableArray&lt;NSMutableString *&gt; *&apos;</string>
3029   <key>category</key><string>Core Foundation/Objective-C</string>
3030   <key>type</key><string>Generics</string>
3031   <key>check_name</key><string>core.DynamicTypePropagation</string>
3032   <!-- This hash is experimental and going to change! -->
3033   <key>issue_hash_content_of_line_in_context</key><string>6aab15d40b39ec0a6b749e561d486e6a</string>
3034  <key>issue_context_kind</key><string>function</string>
3035  <key>issue_context</key><string>inferenceFromAPI</string>
3036  <key>issue_hash_function_offset</key><string>4</string>
3037  <key>location</key>
3038  <dict>
3039   <key>line</key><integer>220</integer>
3040   <key>col</key><integer>27</integer>
3041   <key>file</key><integer>0</integer>
3042  </dict>
3043  <key>ExecutedLines</key>
3044  <dict>
3045   <key>0</key>
3046   <array>
3047    <integer>216</integer>
3048    <integer>219</integer>
3049    <integer>220</integer>
3050   </array>
3051  </dict>
3052  </dict>
3053  <dict>
3054   <key>path</key>
3055   <array>
3056    <dict>
3057     <key>kind</key><string>event</string>
3058     <key>location</key>
3059     <dict>
3060      <key>line</key><integer>224</integer>
3061      <key>col</key><integer>27</integer>
3062      <key>file</key><integer>0</integer>
3063     </dict>
3064     <key>ranges</key>
3065     <array>
3066       <array>
3067        <dict>
3068         <key>line</key><integer>224</integer>
3069         <key>col</key><integer>27</integer>
3070         <key>file</key><integer>0</integer>
3071        </dict>
3072        <dict>
3073         <key>line</key><integer>224</integer>
3074         <key>col</key><integer>27</integer>
3075         <key>file</key><integer>0</integer>
3076        </dict>
3077       </array>
3078     </array>
3079     <key>depth</key><integer>0</integer>
3080     <key>extended_message</key>
3081     <string>Type &apos;MutableArray&lt;NSMutableString *&gt; *&apos; is inferred from implicit cast (from &apos;id&apos; to &apos;MutableArray&lt;NSMutableString *&gt; *&apos;)</string>
3082     <key>message</key>
3083     <string>Type &apos;MutableArray&lt;NSMutableString *&gt; *&apos; is inferred from implicit cast (from &apos;id&apos; to &apos;MutableArray&lt;NSMutableString *&gt; *&apos;)</string>
3084    </dict>
3085    <dict>
3086     <key>kind</key><string>control</string>
3087     <key>edges</key>
3088      <array>
3089       <dict>
3090        <key>start</key>
3091         <array>
3092          <dict>
3093           <key>line</key><integer>224</integer>
3094           <key>col</key><integer>3</integer>
3095           <key>file</key><integer>0</integer>
3096          </dict>
3097          <dict>
3098           <key>line</key><integer>224</integer>
3099           <key>col</key><integer>25</integer>
3100           <key>file</key><integer>0</integer>
3101          </dict>
3102         </array>
3103        <key>end</key>
3104         <array>
3105          <dict>
3106           <key>line</key><integer>225</integer>
3107           <key>col</key><integer>3</integer>
3108           <key>file</key><integer>0</integer>
3109          </dict>
3110          <dict>
3111           <key>line</key><integer>225</integer>
3112           <key>col</key><integer>18</integer>
3113           <key>file</key><integer>0</integer>
3114          </dict>
3115         </array>
3116       </dict>
3117      </array>
3118    </dict>
3119    <dict>
3120     <key>kind</key><string>control</string>
3121     <key>edges</key>
3122      <array>
3123       <dict>
3124        <key>start</key>
3125         <array>
3126          <dict>
3127           <key>line</key><integer>225</integer>
3128           <key>col</key><integer>3</integer>
3129           <key>file</key><integer>0</integer>
3130          </dict>
3131          <dict>
3132           <key>line</key><integer>225</integer>
3133           <key>col</key><integer>18</integer>
3134           <key>file</key><integer>0</integer>
3135          </dict>
3136         </array>
3137        <key>end</key>
3138         <array>
3139          <dict>
3140           <key>line</key><integer>225</integer>
3141           <key>col</key><integer>20</integer>
3142           <key>file</key><integer>0</integer>
3143          </dict>
3144          <dict>
3145           <key>line</key><integer>225</integer>
3146           <key>col</key><integer>20</integer>
3147           <key>file</key><integer>0</integer>
3148          </dict>
3149         </array>
3150       </dict>
3151      </array>
3152    </dict>
3153    <dict>
3154     <key>kind</key><string>event</string>
3155     <key>location</key>
3156     <dict>
3157      <key>line</key><integer>225</integer>
3158      <key>col</key><integer>20</integer>
3159      <key>file</key><integer>0</integer>
3160     </dict>
3161     <key>ranges</key>
3162     <array>
3163       <array>
3164        <dict>
3165         <key>line</key><integer>225</integer>
3166         <key>col</key><integer>20</integer>
3167         <key>file</key><integer>0</integer>
3168        </dict>
3169        <dict>
3170         <key>line</key><integer>225</integer>
3171         <key>col</key><integer>20</integer>
3172         <key>file</key><integer>0</integer>
3173        </dict>
3174       </array>
3175     </array>
3176     <key>depth</key><integer>0</integer>
3177     <key>extended_message</key>
3178     <string>Conversion from value of type &apos;MutableArray&lt;NSMutableString *&gt; *&apos; to incompatible type &apos;MutableArray&lt;NSString *&gt; *&apos;</string>
3179     <key>message</key>
3180     <string>Conversion from value of type &apos;MutableArray&lt;NSMutableString *&gt; *&apos; to incompatible type &apos;MutableArray&lt;NSString *&gt; *&apos;</string>
3181    </dict>
3182   </array>
3183   <key>description</key><string>Conversion from value of type &apos;MutableArray&lt;NSMutableString *&gt; *&apos; to incompatible type &apos;MutableArray&lt;NSString *&gt; *&apos;</string>
3184   <key>category</key><string>Core Foundation/Objective-C</string>
3185   <key>type</key><string>Generics</string>
3186   <key>check_name</key><string>core.DynamicTypePropagation</string>
3187   <!-- This hash is experimental and going to change! -->
3188   <key>issue_hash_content_of_line_in_context</key><string>bd1da1b7775323773555e5d5c122661f</string>
3189  <key>issue_context_kind</key><string>function</string>
3190  <key>issue_context</key><string>inferenceFromAPI2</string>
3191  <key>issue_hash_function_offset</key><string>2</string>
3192  <key>location</key>
3193  <dict>
3194   <key>line</key><integer>225</integer>
3195   <key>col</key><integer>20</integer>
3196   <key>file</key><integer>0</integer>
3197  </dict>
3198  <key>ExecutedLines</key>
3199  <dict>
3200   <key>0</key>
3201   <array>
3202    <integer>223</integer>
3203    <integer>224</integer>
3204    <integer>225</integer>
3205   </array>
3206  </dict>
3207  </dict>
3208  <dict>
3209   <key>path</key>
3210   <array>
3211    <dict>
3212     <key>kind</key><string>event</string>
3213     <key>location</key>
3214     <dict>
3215      <key>line</key><integer>229</integer>
3216      <key>col</key><integer>27</integer>
3217      <key>file</key><integer>0</integer>
3218     </dict>
3219     <key>ranges</key>
3220     <array>
3221       <array>
3222        <dict>
3223         <key>line</key><integer>229</integer>
3224         <key>col</key><integer>27</integer>
3225         <key>file</key><integer>0</integer>
3226        </dict>
3227        <dict>
3228         <key>line</key><integer>229</integer>
3229         <key>col</key><integer>27</integer>
3230         <key>file</key><integer>0</integer>
3231        </dict>
3232       </array>
3233     </array>
3234     <key>depth</key><integer>0</integer>
3235     <key>extended_message</key>
3236     <string>Type &apos;MutableArray&lt;NSMutableString *&gt; *&apos; is inferred from implicit cast (from &apos;LegacyMutableArray *&apos; to &apos;MutableArray&lt;NSMutableString *&gt; *&apos;)</string>
3237     <key>message</key>
3238     <string>Type &apos;MutableArray&lt;NSMutableString *&gt; *&apos; is inferred from implicit cast (from &apos;LegacyMutableArray *&apos; to &apos;MutableArray&lt;NSMutableString *&gt; *&apos;)</string>
3239    </dict>
3240    <dict>
3241     <key>kind</key><string>control</string>
3242     <key>edges</key>
3243      <array>
3244       <dict>
3245        <key>start</key>
3246         <array>
3247          <dict>
3248           <key>line</key><integer>229</integer>
3249           <key>col</key><integer>3</integer>
3250           <key>file</key><integer>0</integer>
3251          </dict>
3252          <dict>
3253           <key>line</key><integer>229</integer>
3254           <key>col</key><integer>25</integer>
3255           <key>file</key><integer>0</integer>
3256          </dict>
3257         </array>
3258        <key>end</key>
3259         <array>
3260          <dict>
3261           <key>line</key><integer>230</integer>
3262           <key>col</key><integer>3</integer>
3263           <key>file</key><integer>0</integer>
3264          </dict>
3265          <dict>
3266           <key>line</key><integer>230</integer>
3267           <key>col</key><integer>18</integer>
3268           <key>file</key><integer>0</integer>
3269          </dict>
3270         </array>
3271       </dict>
3272      </array>
3273    </dict>
3274    <dict>
3275     <key>kind</key><string>control</string>
3276     <key>edges</key>
3277      <array>
3278       <dict>
3279        <key>start</key>
3280         <array>
3281          <dict>
3282           <key>line</key><integer>230</integer>
3283           <key>col</key><integer>3</integer>
3284           <key>file</key><integer>0</integer>
3285          </dict>
3286          <dict>
3287           <key>line</key><integer>230</integer>
3288           <key>col</key><integer>18</integer>
3289           <key>file</key><integer>0</integer>
3290          </dict>
3291         </array>
3292        <key>end</key>
3293         <array>
3294          <dict>
3295           <key>line</key><integer>230</integer>
3296           <key>col</key><integer>20</integer>
3297           <key>file</key><integer>0</integer>
3298          </dict>
3299          <dict>
3300           <key>line</key><integer>230</integer>
3301           <key>col</key><integer>20</integer>
3302           <key>file</key><integer>0</integer>
3303          </dict>
3304         </array>
3305       </dict>
3306      </array>
3307    </dict>
3308    <dict>
3309     <key>kind</key><string>event</string>
3310     <key>location</key>
3311     <dict>
3312      <key>line</key><integer>230</integer>
3313      <key>col</key><integer>20</integer>
3314      <key>file</key><integer>0</integer>
3315     </dict>
3316     <key>ranges</key>
3317     <array>
3318       <array>
3319        <dict>
3320         <key>line</key><integer>230</integer>
3321         <key>col</key><integer>20</integer>
3322         <key>file</key><integer>0</integer>
3323        </dict>
3324        <dict>
3325         <key>line</key><integer>230</integer>
3326         <key>col</key><integer>20</integer>
3327         <key>file</key><integer>0</integer>
3328        </dict>
3329       </array>
3330     </array>
3331     <key>depth</key><integer>0</integer>
3332     <key>extended_message</key>
3333     <string>Conversion from value of type &apos;MutableArray&lt;NSMutableString *&gt; *&apos; to incompatible type &apos;MutableArray&lt;NSString *&gt; *&apos;</string>
3334     <key>message</key>
3335     <string>Conversion from value of type &apos;MutableArray&lt;NSMutableString *&gt; *&apos; to incompatible type &apos;MutableArray&lt;NSString *&gt; *&apos;</string>
3336    </dict>
3337   </array>
3338   <key>description</key><string>Conversion from value of type &apos;MutableArray&lt;NSMutableString *&gt; *&apos; to incompatible type &apos;MutableArray&lt;NSString *&gt; *&apos;</string>
3339   <key>category</key><string>Core Foundation/Objective-C</string>
3340   <key>type</key><string>Generics</string>
3341   <key>check_name</key><string>core.DynamicTypePropagation</string>
3342   <!-- This hash is experimental and going to change! -->
3343   <key>issue_hash_content_of_line_in_context</key><string>3f2abd3c0b4b4a80a71bcbb668124ffb</string>
3344  <key>issue_context_kind</key><string>function</string>
3345  <key>issue_context</key><string>inferenceFromAPIWithLegacyTypes</string>
3346  <key>issue_hash_function_offset</key><string>2</string>
3347  <key>location</key>
3348  <dict>
3349   <key>line</key><integer>230</integer>
3350   <key>col</key><integer>20</integer>
3351   <key>file</key><integer>0</integer>
3352  </dict>
3353  <key>ExecutedLines</key>
3354  <dict>
3355   <key>0</key>
3356   <array>
3357    <integer>228</integer>
3358    <integer>229</integer>
3359    <integer>230</integer>
3360   </array>
3361  </dict>
3362  </dict>
3363  <dict>
3364   <key>path</key>
3365   <array>
3366    <dict>
3367     <key>kind</key><string>event</string>
3368     <key>location</key>
3369     <dict>
3370      <key>line</key><integer>234</integer>
3371      <key>col</key><integer>20</integer>
3372      <key>file</key><integer>0</integer>
3373     </dict>
3374     <key>ranges</key>
3375     <array>
3376       <array>
3377        <dict>
3378         <key>line</key><integer>234</integer>
3379         <key>col</key><integer>20</integer>
3380         <key>file</key><integer>0</integer>
3381        </dict>
3382        <dict>
3383         <key>line</key><integer>234</integer>
3384         <key>col</key><integer>20</integer>
3385         <key>file</key><integer>0</integer>
3386        </dict>
3387       </array>
3388     </array>
3389     <key>depth</key><integer>0</integer>
3390     <key>extended_message</key>
3391     <string>Type &apos;MutableArray&lt;NSString *&gt; *&apos; is inferred from implicit cast (from &apos;LegacySpecialMutableArray *&apos; to &apos;MutableArray&lt;NSString *&gt; *&apos;)</string>
3392     <key>message</key>
3393     <string>Type &apos;MutableArray&lt;NSString *&gt; *&apos; is inferred from implicit cast (from &apos;LegacySpecialMutableArray *&apos; to &apos;MutableArray&lt;NSString *&gt; *&apos;)</string>
3394    </dict>
3395    <dict>
3396     <key>kind</key><string>control</string>
3397     <key>edges</key>
3398      <array>
3399       <dict>
3400        <key>start</key>
3401         <array>
3402          <dict>
3403           <key>line</key><integer>234</integer>
3404           <key>col</key><integer>3</integer>
3405           <key>file</key><integer>0</integer>
3406          </dict>
3407          <dict>
3408           <key>line</key><integer>234</integer>
3409           <key>col</key><integer>18</integer>
3410           <key>file</key><integer>0</integer>
3411          </dict>
3412         </array>
3413        <key>end</key>
3414         <array>
3415          <dict>
3416           <key>line</key><integer>235</integer>
3417           <key>col</key><integer>3</integer>
3418           <key>file</key><integer>0</integer>
3419          </dict>
3420          <dict>
3421           <key>line</key><integer>235</integer>
3422           <key>col</key><integer>25</integer>
3423           <key>file</key><integer>0</integer>
3424          </dict>
3425         </array>
3426       </dict>
3427      </array>
3428    </dict>
3429    <dict>
3430     <key>kind</key><string>control</string>
3431     <key>edges</key>
3432      <array>
3433       <dict>
3434        <key>start</key>
3435         <array>
3436          <dict>
3437           <key>line</key><integer>235</integer>
3438           <key>col</key><integer>3</integer>
3439           <key>file</key><integer>0</integer>
3440          </dict>
3441          <dict>
3442           <key>line</key><integer>235</integer>
3443           <key>col</key><integer>25</integer>
3444           <key>file</key><integer>0</integer>
3445          </dict>
3446         </array>
3447        <key>end</key>
3448         <array>
3449          <dict>
3450           <key>line</key><integer>235</integer>
3451           <key>col</key><integer>27</integer>
3452           <key>file</key><integer>0</integer>
3453          </dict>
3454          <dict>
3455           <key>line</key><integer>235</integer>
3456           <key>col</key><integer>27</integer>
3457           <key>file</key><integer>0</integer>
3458          </dict>
3459         </array>
3460       </dict>
3461      </array>
3462    </dict>
3463    <dict>
3464     <key>kind</key><string>event</string>
3465     <key>location</key>
3466     <dict>
3467      <key>line</key><integer>235</integer>
3468      <key>col</key><integer>27</integer>
3469      <key>file</key><integer>0</integer>
3470     </dict>
3471     <key>ranges</key>
3472     <array>
3473       <array>
3474        <dict>
3475         <key>line</key><integer>235</integer>
3476         <key>col</key><integer>27</integer>
3477         <key>file</key><integer>0</integer>
3478        </dict>
3479        <dict>
3480         <key>line</key><integer>235</integer>
3481         <key>col</key><integer>27</integer>
3482         <key>file</key><integer>0</integer>
3483        </dict>
3484       </array>
3485     </array>
3486     <key>depth</key><integer>0</integer>
3487     <key>extended_message</key>
3488     <string>Conversion from value of type &apos;MutableArray&lt;NSString *&gt; *&apos; to incompatible type &apos;MutableArray&lt;NSMutableString *&gt; *&apos;</string>
3489     <key>message</key>
3490     <string>Conversion from value of type &apos;MutableArray&lt;NSString *&gt; *&apos; to incompatible type &apos;MutableArray&lt;NSMutableString *&gt; *&apos;</string>
3491    </dict>
3492   </array>
3493   <key>description</key><string>Conversion from value of type &apos;MutableArray&lt;NSString *&gt; *&apos; to incompatible type &apos;MutableArray&lt;NSMutableString *&gt; *&apos;</string>
3494   <key>category</key><string>Core Foundation/Objective-C</string>
3495   <key>type</key><string>Generics</string>
3496   <key>check_name</key><string>core.DynamicTypePropagation</string>
3497   <!-- This hash is experimental and going to change! -->
3498   <key>issue_hash_content_of_line_in_context</key><string>73a50f2592e8b3c9af898749f24176f7</string>
3499  <key>issue_context_kind</key><string>function</string>
3500  <key>issue_context</key><string>inferenceFromAPIWithLegacyTypes2</string>
3501  <key>issue_hash_function_offset</key><string>2</string>
3502  <key>location</key>
3503  <dict>
3504   <key>line</key><integer>235</integer>
3505   <key>col</key><integer>27</integer>
3506   <key>file</key><integer>0</integer>
3507  </dict>
3508  <key>ExecutedLines</key>
3509  <dict>
3510   <key>0</key>
3511   <array>
3512    <integer>233</integer>
3513    <integer>234</integer>
3514    <integer>235</integer>
3515   </array>
3516  </dict>
3517  </dict>
3518  <dict>
3519   <key>path</key>
3520   <array>
3521    <dict>
3522     <key>kind</key><string>event</string>
3523     <key>location</key>
3524     <dict>
3525      <key>line</key><integer>239</integer>
3526      <key>col</key><integer>27</integer>
3527      <key>file</key><integer>0</integer>
3528     </dict>
3529     <key>ranges</key>
3530     <array>
3531       <array>
3532        <dict>
3533         <key>line</key><integer>239</integer>
3534         <key>col</key><integer>27</integer>
3535         <key>file</key><integer>0</integer>
3536        </dict>
3537        <dict>
3538         <key>line</key><integer>239</integer>
3539         <key>col</key><integer>27</integer>
3540         <key>file</key><integer>0</integer>
3541        </dict>
3542       </array>
3543     </array>
3544     <key>depth</key><integer>0</integer>
3545     <key>extended_message</key>
3546     <string>Type &apos;NSArray&lt;NSString *&gt; *&apos; is inferred from implicit cast (from &apos;__kindof NSArray&lt;NSString *&gt; *&apos; to &apos;LegacyMutableArray *&apos;)</string>
3547     <key>message</key>
3548     <string>Type &apos;NSArray&lt;NSString *&gt; *&apos; is inferred from implicit cast (from &apos;__kindof NSArray&lt;NSString *&gt; *&apos; to &apos;LegacyMutableArray *&apos;)</string>
3549    </dict>
3550    <dict>
3551     <key>kind</key><string>control</string>
3552     <key>edges</key>
3553      <array>
3554       <dict>
3555        <key>start</key>
3556         <array>
3557          <dict>
3558           <key>line</key><integer>239</integer>
3559           <key>col</key><integer>3</integer>
3560           <key>file</key><integer>0</integer>
3561          </dict>
3562          <dict>
3563           <key>line</key><integer>239</integer>
3564           <key>col</key><integer>20</integer>
3565           <key>file</key><integer>0</integer>
3566          </dict>
3567         </array>
3568        <key>end</key>
3569         <array>
3570          <dict>
3571           <key>line</key><integer>240</integer>
3572           <key>col</key><integer>3</integer>
3573           <key>file</key><integer>0</integer>
3574          </dict>
3575          <dict>
3576           <key>line</key><integer>240</integer>
3577           <key>col</key><integer>18</integer>
3578           <key>file</key><integer>0</integer>
3579          </dict>
3580         </array>
3581       </dict>
3582      </array>
3583    </dict>
3584    <dict>
3585     <key>kind</key><string>event</string>
3586     <key>location</key>
3587     <dict>
3588      <key>line</key><integer>240</integer>
3589      <key>col</key><integer>20</integer>
3590      <key>file</key><integer>0</integer>
3591     </dict>
3592     <key>ranges</key>
3593     <array>
3594       <array>
3595        <dict>
3596         <key>line</key><integer>240</integer>
3597         <key>col</key><integer>20</integer>
3598         <key>file</key><integer>0</integer>
3599        </dict>
3600        <dict>
3601         <key>line</key><integer>240</integer>
3602         <key>col</key><integer>20</integer>
3603         <key>file</key><integer>0</integer>
3604        </dict>
3605       </array>
3606     </array>
3607     <key>depth</key><integer>0</integer>
3608     <key>extended_message</key>
3609     <string>Type &apos;MutableArray&lt;NSString *&gt; *&apos; is inferred from implicit cast (from &apos;LegacyMutableArray *&apos; to &apos;MutableArray&lt;NSString *&gt; *&apos;)</string>
3610     <key>message</key>
3611     <string>Type &apos;MutableArray&lt;NSString *&gt; *&apos; is inferred from implicit cast (from &apos;LegacyMutableArray *&apos; to &apos;MutableArray&lt;NSString *&gt; *&apos;)</string>
3612    </dict>
3613    <dict>
3614     <key>kind</key><string>control</string>
3615     <key>edges</key>
3616      <array>
3617       <dict>
3618        <key>start</key>
3619         <array>
3620          <dict>
3621           <key>line</key><integer>240</integer>
3622           <key>col</key><integer>3</integer>
3623           <key>file</key><integer>0</integer>
3624          </dict>
3625          <dict>
3626           <key>line</key><integer>240</integer>
3627           <key>col</key><integer>18</integer>
3628           <key>file</key><integer>0</integer>
3629          </dict>
3630         </array>
3631        <key>end</key>
3632         <array>
3633          <dict>
3634           <key>line</key><integer>241</integer>
3635           <key>col</key><integer>3</integer>
3636           <key>file</key><integer>0</integer>
3637          </dict>
3638          <dict>
3639           <key>line</key><integer>241</integer>
3640           <key>col</key><integer>25</integer>
3641           <key>file</key><integer>0</integer>
3642          </dict>
3643         </array>
3644       </dict>
3645      </array>
3646    </dict>
3647    <dict>
3648     <key>kind</key><string>control</string>
3649     <key>edges</key>
3650      <array>
3651       <dict>
3652        <key>start</key>
3653         <array>
3654          <dict>
3655           <key>line</key><integer>241</integer>
3656           <key>col</key><integer>3</integer>
3657           <key>file</key><integer>0</integer>
3658          </dict>
3659          <dict>
3660           <key>line</key><integer>241</integer>
3661           <key>col</key><integer>25</integer>
3662           <key>file</key><integer>0</integer>
3663          </dict>
3664         </array>
3665        <key>end</key>
3666         <array>
3667          <dict>
3668           <key>line</key><integer>241</integer>
3669           <key>col</key><integer>27</integer>
3670           <key>file</key><integer>0</integer>
3671          </dict>
3672          <dict>
3673           <key>line</key><integer>241</integer>
3674           <key>col</key><integer>27</integer>
3675           <key>file</key><integer>0</integer>
3676          </dict>
3677         </array>
3678       </dict>
3679      </array>
3680    </dict>
3681    <dict>
3682     <key>kind</key><string>event</string>
3683     <key>location</key>
3684     <dict>
3685      <key>line</key><integer>241</integer>
3686      <key>col</key><integer>27</integer>
3687      <key>file</key><integer>0</integer>
3688     </dict>
3689     <key>ranges</key>
3690     <array>
3691       <array>
3692        <dict>
3693         <key>line</key><integer>241</integer>
3694         <key>col</key><integer>27</integer>
3695         <key>file</key><integer>0</integer>
3696        </dict>
3697        <dict>
3698         <key>line</key><integer>241</integer>
3699         <key>col</key><integer>27</integer>
3700         <key>file</key><integer>0</integer>
3701        </dict>
3702       </array>
3703     </array>
3704     <key>depth</key><integer>0</integer>
3705     <key>extended_message</key>
3706     <string>Conversion from value of type &apos;MutableArray&lt;NSString *&gt; *&apos; to incompatible type &apos;MutableArray&lt;NSMutableString *&gt; *&apos;</string>
3707     <key>message</key>
3708     <string>Conversion from value of type &apos;MutableArray&lt;NSString *&gt; *&apos; to incompatible type &apos;MutableArray&lt;NSMutableString *&gt; *&apos;</string>
3709    </dict>
3710   </array>
3711   <key>description</key><string>Conversion from value of type &apos;MutableArray&lt;NSString *&gt; *&apos; to incompatible type &apos;MutableArray&lt;NSMutableString *&gt; *&apos;</string>
3712   <key>category</key><string>Core Foundation/Objective-C</string>
3713   <key>type</key><string>Generics</string>
3714   <key>check_name</key><string>core.DynamicTypePropagation</string>
3715   <!-- This hash is experimental and going to change! -->
3716   <key>issue_hash_content_of_line_in_context</key><string>23ca540c8961ab9a362a194e1e895f86</string>
3717  <key>issue_context_kind</key><string>function</string>
3718  <key>issue_context</key><string>inferenceFromAPIWithLegacyTypes3</string>
3719  <key>issue_hash_function_offset</key><string>3</string>
3720  <key>location</key>
3721  <dict>
3722   <key>line</key><integer>241</integer>
3723   <key>col</key><integer>27</integer>
3724   <key>file</key><integer>0</integer>
3725  </dict>
3726  <key>ExecutedLines</key>
3727  <dict>
3728   <key>0</key>
3729   <array>
3730    <integer>238</integer>
3731    <integer>239</integer>
3732    <integer>240</integer>
3733    <integer>241</integer>
3734   </array>
3735  </dict>
3736  </dict>
3737  <dict>
3738   <key>path</key>
3739   <array>
3740    <dict>
3741     <key>kind</key><string>event</string>
3742     <key>location</key>
3743     <dict>
3744      <key>line</key><integer>245</integer>
3745      <key>col</key><integer>20</integer>
3746      <key>file</key><integer>0</integer>
3747     </dict>
3748     <key>ranges</key>
3749     <array>
3750       <array>
3751        <dict>
3752         <key>line</key><integer>245</integer>
3753         <key>col</key><integer>20</integer>
3754         <key>file</key><integer>0</integer>
3755        </dict>
3756        <dict>
3757         <key>line</key><integer>245</integer>
3758         <key>col</key><integer>20</integer>
3759         <key>file</key><integer>0</integer>
3760        </dict>
3761       </array>
3762     </array>
3763     <key>depth</key><integer>0</integer>
3764     <key>extended_message</key>
3765     <string>Type &apos;MutableArray&lt;NSString *&gt; *&apos; is inferred from implicit cast (from &apos;BuggyMutableArray&lt;NSMutableString *&gt; *&apos; to &apos;MutableArray&lt;NSString *&gt; *&apos;)</string>
3766     <key>message</key>
3767     <string>Type &apos;MutableArray&lt;NSString *&gt; *&apos; is inferred from implicit cast (from &apos;BuggyMutableArray&lt;NSMutableString *&gt; *&apos; to &apos;MutableArray&lt;NSString *&gt; *&apos;)</string>
3768    </dict>
3769    <dict>
3770     <key>kind</key><string>control</string>
3771     <key>edges</key>
3772      <array>
3773       <dict>
3774        <key>start</key>
3775         <array>
3776          <dict>
3777           <key>line</key><integer>245</integer>
3778           <key>col</key><integer>3</integer>
3779           <key>file</key><integer>0</integer>
3780          </dict>
3781          <dict>
3782           <key>line</key><integer>245</integer>
3783           <key>col</key><integer>18</integer>
3784           <key>file</key><integer>0</integer>
3785          </dict>
3786         </array>
3787        <key>end</key>
3788         <array>
3789          <dict>
3790           <key>line</key><integer>246</integer>
3791           <key>col</key><integer>3</integer>
3792           <key>file</key><integer>0</integer>
3793          </dict>
3794          <dict>
3795           <key>line</key><integer>246</integer>
3796           <key>col</key><integer>25</integer>
3797           <key>file</key><integer>0</integer>
3798          </dict>
3799         </array>
3800       </dict>
3801      </array>
3802    </dict>
3803    <dict>
3804     <key>kind</key><string>control</string>
3805     <key>edges</key>
3806      <array>
3807       <dict>
3808        <key>start</key>
3809         <array>
3810          <dict>
3811           <key>line</key><integer>246</integer>
3812           <key>col</key><integer>3</integer>
3813           <key>file</key><integer>0</integer>
3814          </dict>
3815          <dict>
3816           <key>line</key><integer>246</integer>
3817           <key>col</key><integer>25</integer>
3818           <key>file</key><integer>0</integer>
3819          </dict>
3820         </array>
3821        <key>end</key>
3822         <array>
3823          <dict>
3824           <key>line</key><integer>246</integer>
3825           <key>col</key><integer>27</integer>
3826           <key>file</key><integer>0</integer>
3827          </dict>
3828          <dict>
3829           <key>line</key><integer>246</integer>
3830           <key>col</key><integer>27</integer>
3831           <key>file</key><integer>0</integer>
3832          </dict>
3833         </array>
3834       </dict>
3835      </array>
3836    </dict>
3837    <dict>
3838     <key>kind</key><string>event</string>
3839     <key>location</key>
3840     <dict>
3841      <key>line</key><integer>246</integer>
3842      <key>col</key><integer>27</integer>
3843      <key>file</key><integer>0</integer>
3844     </dict>
3845     <key>ranges</key>
3846     <array>
3847       <array>
3848        <dict>
3849         <key>line</key><integer>246</integer>
3850         <key>col</key><integer>27</integer>
3851         <key>file</key><integer>0</integer>
3852        </dict>
3853        <dict>
3854         <key>line</key><integer>246</integer>
3855         <key>col</key><integer>27</integer>
3856         <key>file</key><integer>0</integer>
3857        </dict>
3858       </array>
3859     </array>
3860     <key>depth</key><integer>0</integer>
3861     <key>extended_message</key>
3862     <string>Conversion from value of type &apos;MutableArray&lt;NSString *&gt; *&apos; to incompatible type &apos;MutableArray&lt;NSMutableString *&gt; *&apos;</string>
3863     <key>message</key>
3864     <string>Conversion from value of type &apos;MutableArray&lt;NSString *&gt; *&apos; to incompatible type &apos;MutableArray&lt;NSMutableString *&gt; *&apos;</string>
3865    </dict>
3866   </array>
3867   <key>description</key><string>Conversion from value of type &apos;MutableArray&lt;NSString *&gt; *&apos; to incompatible type &apos;MutableArray&lt;NSMutableString *&gt; *&apos;</string>
3868   <key>category</key><string>Core Foundation/Objective-C</string>
3869   <key>type</key><string>Generics</string>
3870   <key>check_name</key><string>core.DynamicTypePropagation</string>
3871   <!-- This hash is experimental and going to change! -->
3872   <key>issue_hash_content_of_line_in_context</key><string>be7e9426f827314f05fd4e15b25909df</string>
3873  <key>issue_context_kind</key><string>function</string>
3874  <key>issue_context</key><string>inferenceFromAPIWithBuggyTypes</string>
3875  <key>issue_hash_function_offset</key><string>2</string>
3876  <key>location</key>
3877  <dict>
3878   <key>line</key><integer>246</integer>
3879   <key>col</key><integer>27</integer>
3880   <key>file</key><integer>0</integer>
3881  </dict>
3882  <key>ExecutedLines</key>
3883  <dict>
3884   <key>0</key>
3885   <array>
3886    <integer>244</integer>
3887    <integer>245</integer>
3888    <integer>246</integer>
3889   </array>
3890  </dict>
3891  </dict>
3892  <dict>
3893   <key>path</key>
3894   <array>
3895    <dict>
3896     <key>kind</key><string>event</string>
3897     <key>location</key>
3898     <dict>
3899      <key>line</key><integer>250</integer>
3900      <key>col</key><integer>27</integer>
3901      <key>file</key><integer>0</integer>
3902     </dict>
3903     <key>ranges</key>
3904     <array>
3905       <array>
3906        <dict>
3907         <key>line</key><integer>250</integer>
3908         <key>col</key><integer>27</integer>
3909         <key>file</key><integer>0</integer>
3910        </dict>
3911        <dict>
3912         <key>line</key><integer>250</integer>
3913         <key>col</key><integer>27</integer>
3914         <key>file</key><integer>0</integer>
3915        </dict>
3916       </array>
3917     </array>
3918     <key>depth</key><integer>0</integer>
3919     <key>extended_message</key>
3920     <string>Type &apos;MutableArray&lt;NSMutableString *&gt; *&apos; is inferred from implicit cast (from &apos;BuggySpecialMutableArray&lt;NSMutableString *&gt; *&apos; to &apos;MutableArray&lt;NSMutableString *&gt; *&apos;)</string>
3921     <key>message</key>
3922     <string>Type &apos;MutableArray&lt;NSMutableString *&gt; *&apos; is inferred from implicit cast (from &apos;BuggySpecialMutableArray&lt;NSMutableString *&gt; *&apos; to &apos;MutableArray&lt;NSMutableString *&gt; *&apos;)</string>
3923    </dict>
3924    <dict>
3925     <key>kind</key><string>control</string>
3926     <key>edges</key>
3927      <array>
3928       <dict>
3929        <key>start</key>
3930         <array>
3931          <dict>
3932           <key>line</key><integer>250</integer>
3933           <key>col</key><integer>3</integer>
3934           <key>file</key><integer>0</integer>
3935          </dict>
3936          <dict>
3937           <key>line</key><integer>250</integer>
3938           <key>col</key><integer>25</integer>
3939           <key>file</key><integer>0</integer>
3940          </dict>
3941         </array>
3942        <key>end</key>
3943         <array>
3944          <dict>
3945           <key>line</key><integer>251</integer>
3946           <key>col</key><integer>3</integer>
3947           <key>file</key><integer>0</integer>
3948          </dict>
3949          <dict>
3950           <key>line</key><integer>251</integer>
3951           <key>col</key><integer>18</integer>
3952           <key>file</key><integer>0</integer>
3953          </dict>
3954         </array>
3955       </dict>
3956      </array>
3957    </dict>
3958    <dict>
3959     <key>kind</key><string>control</string>
3960     <key>edges</key>
3961      <array>
3962       <dict>
3963        <key>start</key>
3964         <array>
3965          <dict>
3966           <key>line</key><integer>251</integer>
3967           <key>col</key><integer>3</integer>
3968           <key>file</key><integer>0</integer>
3969          </dict>
3970          <dict>
3971           <key>line</key><integer>251</integer>
3972           <key>col</key><integer>18</integer>
3973           <key>file</key><integer>0</integer>
3974          </dict>
3975         </array>
3976        <key>end</key>
3977         <array>
3978          <dict>
3979           <key>line</key><integer>251</integer>
3980           <key>col</key><integer>20</integer>
3981           <key>file</key><integer>0</integer>
3982          </dict>
3983          <dict>
3984           <key>line</key><integer>251</integer>
3985           <key>col</key><integer>20</integer>
3986           <key>file</key><integer>0</integer>
3987          </dict>
3988         </array>
3989       </dict>
3990      </array>
3991    </dict>
3992    <dict>
3993     <key>kind</key><string>event</string>
3994     <key>location</key>
3995     <dict>
3996      <key>line</key><integer>251</integer>
3997      <key>col</key><integer>20</integer>
3998      <key>file</key><integer>0</integer>
3999     </dict>
4000     <key>ranges</key>
4001     <array>
4002       <array>
4003        <dict>
4004         <key>line</key><integer>251</integer>
4005         <key>col</key><integer>20</integer>
4006         <key>file</key><integer>0</integer>
4007        </dict>
4008        <dict>
4009         <key>line</key><integer>251</integer>
4010         <key>col</key><integer>20</integer>
4011         <key>file</key><integer>0</integer>
4012        </dict>
4013       </array>
4014     </array>
4015     <key>depth</key><integer>0</integer>
4016     <key>extended_message</key>
4017     <string>Conversion from value of type &apos;MutableArray&lt;NSMutableString *&gt; *&apos; to incompatible type &apos;MutableArray&lt;NSString *&gt; *&apos;</string>
4018     <key>message</key>
4019     <string>Conversion from value of type &apos;MutableArray&lt;NSMutableString *&gt; *&apos; to incompatible type &apos;MutableArray&lt;NSString *&gt; *&apos;</string>
4020    </dict>
4021   </array>
4022   <key>description</key><string>Conversion from value of type &apos;MutableArray&lt;NSMutableString *&gt; *&apos; to incompatible type &apos;MutableArray&lt;NSString *&gt; *&apos;</string>
4023   <key>category</key><string>Core Foundation/Objective-C</string>
4024   <key>type</key><string>Generics</string>
4025   <key>check_name</key><string>core.DynamicTypePropagation</string>
4026   <!-- This hash is experimental and going to change! -->
4027   <key>issue_hash_content_of_line_in_context</key><string>0f97a618ccac913d7c8631b5b86a133e</string>
4028  <key>issue_context_kind</key><string>function</string>
4029  <key>issue_context</key><string>InferenceFromAPIWithBuggyTypes2</string>
4030  <key>issue_hash_function_offset</key><string>2</string>
4031  <key>location</key>
4032  <dict>
4033   <key>line</key><integer>251</integer>
4034   <key>col</key><integer>20</integer>
4035   <key>file</key><integer>0</integer>
4036  </dict>
4037  <key>ExecutedLines</key>
4038  <dict>
4039   <key>0</key>
4040   <array>
4041    <integer>249</integer>
4042    <integer>250</integer>
4043    <integer>251</integer>
4044   </array>
4045  </dict>
4046  </dict>
4047  <dict>
4048   <key>path</key>
4049   <array>
4050    <dict>
4051     <key>kind</key><string>event</string>
4052     <key>location</key>
4053     <dict>
4054      <key>line</key><integer>255</integer>
4055      <key>col</key><integer>10</integer>
4056      <key>file</key><integer>0</integer>
4057     </dict>
4058     <key>ranges</key>
4059     <array>
4060       <array>
4061        <dict>
4062         <key>line</key><integer>255</integer>
4063         <key>col</key><integer>10</integer>
4064         <key>file</key><integer>0</integer>
4065        </dict>
4066        <dict>
4067         <key>line</key><integer>255</integer>
4068         <key>col</key><integer>10</integer>
4069         <key>file</key><integer>0</integer>
4070        </dict>
4071       </array>
4072     </array>
4073     <key>depth</key><integer>0</integer>
4074     <key>extended_message</key>
4075     <string>Type &apos;MutableArray&lt;NSMutableString *&gt; *&apos; is inferred from implicit cast (from &apos;MutableArray&lt;NSMutableString *&gt; *&apos; to &apos;id&apos;)</string>
4076     <key>message</key>
4077     <string>Type &apos;MutableArray&lt;NSMutableString *&gt; *&apos; is inferred from implicit cast (from &apos;MutableArray&lt;NSMutableString *&gt; *&apos; to &apos;id&apos;)</string>
4078    </dict>
4079    <dict>
4080     <key>kind</key><string>control</string>
4081     <key>edges</key>
4082      <array>
4083       <dict>
4084        <key>start</key>
4085         <array>
4086          <dict>
4087           <key>line</key><integer>255</integer>
4088           <key>col</key><integer>3</integer>
4089           <key>file</key><integer>0</integer>
4090          </dict>
4091          <dict>
4092           <key>line</key><integer>255</integer>
4093           <key>col</key><integer>4</integer>
4094           <key>file</key><integer>0</integer>
4095          </dict>
4096         </array>
4097        <key>end</key>
4098         <array>
4099          <dict>
4100           <key>line</key><integer>256</integer>
4101           <key>col</key><integer>3</integer>
4102           <key>file</key><integer>0</integer>
4103          </dict>
4104          <dict>
4105           <key>line</key><integer>256</integer>
4106           <key>col</key><integer>25</integer>
4107           <key>file</key><integer>0</integer>
4108          </dict>
4109         </array>
4110       </dict>
4111      </array>
4112    </dict>
4113    <dict>
4114     <key>kind</key><string>event</string>
4115     <key>location</key>
4116     <dict>
4117      <key>line</key><integer>256</integer>
4118      <key>col</key><integer>27</integer>
4119      <key>file</key><integer>0</integer>
4120     </dict>
4121     <key>ranges</key>
4122     <array>
4123       <array>
4124        <dict>
4125         <key>line</key><integer>256</integer>
4126         <key>col</key><integer>27</integer>
4127         <key>file</key><integer>0</integer>
4128        </dict>
4129        <dict>
4130         <key>line</key><integer>256</integer>
4131         <key>col</key><integer>67</integer>
4132         <key>file</key><integer>0</integer>
4133        </dict>
4134       </array>
4135     </array>
4136     <key>depth</key><integer>0</integer>
4137     <key>extended_message</key>
4138     <string>Type &apos;MutableArray&lt;NSMutableString *&gt; *&apos; is inferred from implicit cast (from &apos;BuggyMutableArray&lt;NSMutableString *&gt; *&apos; to &apos;MutableArray&lt;NSMutableString *&gt; *&apos;)</string>
4139     <key>message</key>
4140     <string>Type &apos;MutableArray&lt;NSMutableString *&gt; *&apos; is inferred from implicit cast (from &apos;BuggyMutableArray&lt;NSMutableString *&gt; *&apos; to &apos;MutableArray&lt;NSMutableString *&gt; *&apos;)</string>
4141    </dict>
4142    <dict>
4143     <key>kind</key><string>control</string>
4144     <key>edges</key>
4145      <array>
4146       <dict>
4147        <key>start</key>
4148         <array>
4149          <dict>
4150           <key>line</key><integer>256</integer>
4151           <key>col</key><integer>3</integer>
4152           <key>file</key><integer>0</integer>
4153          </dict>
4154          <dict>
4155           <key>line</key><integer>256</integer>
4156           <key>col</key><integer>25</integer>
4157           <key>file</key><integer>0</integer>
4158          </dict>
4159         </array>
4160        <key>end</key>
4161         <array>
4162          <dict>
4163           <key>line</key><integer>257</integer>
4164           <key>col</key><integer>3</integer>
4165           <key>file</key><integer>0</integer>
4166          </dict>
4167          <dict>
4168           <key>line</key><integer>257</integer>
4169           <key>col</key><integer>18</integer>
4170           <key>file</key><integer>0</integer>
4171          </dict>
4172         </array>
4173       </dict>
4174      </array>
4175    </dict>
4176    <dict>
4177     <key>kind</key><string>control</string>
4178     <key>edges</key>
4179      <array>
4180       <dict>
4181        <key>start</key>
4182         <array>
4183          <dict>
4184           <key>line</key><integer>257</integer>
4185           <key>col</key><integer>3</integer>
4186           <key>file</key><integer>0</integer>
4187          </dict>
4188          <dict>
4189           <key>line</key><integer>257</integer>
4190           <key>col</key><integer>18</integer>
4191           <key>file</key><integer>0</integer>
4192          </dict>
4193         </array>
4194        <key>end</key>
4195         <array>
4196          <dict>
4197           <key>line</key><integer>257</integer>
4198           <key>col</key><integer>20</integer>
4199           <key>file</key><integer>0</integer>
4200          </dict>
4201          <dict>
4202           <key>line</key><integer>257</integer>
4203           <key>col</key><integer>20</integer>
4204           <key>file</key><integer>0</integer>
4205          </dict>
4206         </array>
4207       </dict>
4208      </array>
4209    </dict>
4210    <dict>
4211     <key>kind</key><string>event</string>
4212     <key>location</key>
4213     <dict>
4214      <key>line</key><integer>257</integer>
4215      <key>col</key><integer>20</integer>
4216      <key>file</key><integer>0</integer>
4217     </dict>
4218     <key>ranges</key>
4219     <array>
4220       <array>
4221        <dict>
4222         <key>line</key><integer>257</integer>
4223         <key>col</key><integer>20</integer>
4224         <key>file</key><integer>0</integer>
4225        </dict>
4226        <dict>
4227         <key>line</key><integer>257</integer>
4228         <key>col</key><integer>20</integer>
4229         <key>file</key><integer>0</integer>
4230        </dict>
4231       </array>
4232     </array>
4233     <key>depth</key><integer>0</integer>
4234     <key>extended_message</key>
4235     <string>Conversion from value of type &apos;MutableArray&lt;NSMutableString *&gt; *&apos; to incompatible type &apos;MutableArray&lt;NSString *&gt; *&apos;</string>
4236     <key>message</key>
4237     <string>Conversion from value of type &apos;MutableArray&lt;NSMutableString *&gt; *&apos; to incompatible type &apos;MutableArray&lt;NSString *&gt; *&apos;</string>
4238    </dict>
4239   </array>
4240   <key>description</key><string>Conversion from value of type &apos;MutableArray&lt;NSMutableString *&gt; *&apos; to incompatible type &apos;MutableArray&lt;NSString *&gt; *&apos;</string>
4241   <key>category</key><string>Core Foundation/Objective-C</string>
4242   <key>type</key><string>Generics</string>
4243   <key>check_name</key><string>core.DynamicTypePropagation</string>
4244   <!-- This hash is experimental and going to change! -->
4245   <key>issue_hash_content_of_line_in_context</key><string>725c54c88bb271138b1de545ee59a8aa</string>
4246  <key>issue_context_kind</key><string>function</string>
4247  <key>issue_context</key><string>InferenceFromAPIWithBuggyTypes3</string>
4248  <key>issue_hash_function_offset</key><string>3</string>
4249  <key>location</key>
4250  <dict>
4251   <key>line</key><integer>257</integer>
4252   <key>col</key><integer>20</integer>
4253   <key>file</key><integer>0</integer>
4254  </dict>
4255  <key>ExecutedLines</key>
4256  <dict>
4257   <key>0</key>
4258   <array>
4259    <integer>254</integer>
4260    <integer>255</integer>
4261    <integer>256</integer>
4262    <integer>257</integer>
4263   </array>
4264  </dict>
4265  </dict>
4266  <dict>
4267   <key>path</key>
4268   <array>
4269    <dict>
4270     <key>kind</key><string>event</string>
4271     <key>location</key>
4272     <dict>
4273      <key>line</key><integer>261</integer>
4274      <key>col</key><integer>45</integer>
4275      <key>file</key><integer>0</integer>
4276     </dict>
4277     <key>ranges</key>
4278     <array>
4279       <array>
4280        <dict>
4281         <key>line</key><integer>261</integer>
4282         <key>col</key><integer>45</integer>
4283         <key>file</key><integer>0</integer>
4284        </dict>
4285        <dict>
4286         <key>line</key><integer>261</integer>
4287         <key>col</key><integer>45</integer>
4288         <key>file</key><integer>0</integer>
4289        </dict>
4290       </array>
4291     </array>
4292     <key>depth</key><integer>0</integer>
4293     <key>extended_message</key>
4294     <string>Type &apos;NSArray&lt;NSString *&gt; *&apos; is inferred from implicit cast (from &apos;__kindof NSArray&lt;NSString *&gt; *&apos; to &apos;BuggyMutableArray&lt;NSMutableString *&gt; *&apos;)</string>
4295     <key>message</key>
4296     <string>Type &apos;NSArray&lt;NSString *&gt; *&apos; is inferred from implicit cast (from &apos;__kindof NSArray&lt;NSString *&gt; *&apos; to &apos;BuggyMutableArray&lt;NSMutableString *&gt; *&apos;)</string>
4297    </dict>
4298    <dict>
4299     <key>kind</key><string>control</string>
4300     <key>edges</key>
4301      <array>
4302       <dict>
4303        <key>start</key>
4304         <array>
4305          <dict>
4306           <key>line</key><integer>261</integer>
4307           <key>col</key><integer>3</integer>
4308           <key>file</key><integer>0</integer>
4309          </dict>
4310          <dict>
4311           <key>line</key><integer>261</integer>
4312           <key>col</key><integer>19</integer>
4313           <key>file</key><integer>0</integer>
4314          </dict>
4315         </array>
4316        <key>end</key>
4317         <array>
4318          <dict>
4319           <key>line</key><integer>262</integer>
4320           <key>col</key><integer>3</integer>
4321           <key>file</key><integer>0</integer>
4322          </dict>
4323          <dict>
4324           <key>line</key><integer>262</integer>
4325           <key>col</key><integer>18</integer>
4326           <key>file</key><integer>0</integer>
4327          </dict>
4328         </array>
4329       </dict>
4330      </array>
4331    </dict>
4332    <dict>
4333     <key>kind</key><string>event</string>
4334     <key>location</key>
4335     <dict>
4336      <key>line</key><integer>262</integer>
4337      <key>col</key><integer>20</integer>
4338      <key>file</key><integer>0</integer>
4339     </dict>
4340     <key>ranges</key>
4341     <array>
4342       <array>
4343        <dict>
4344         <key>line</key><integer>262</integer>
4345         <key>col</key><integer>20</integer>
4346         <key>file</key><integer>0</integer>
4347        </dict>
4348        <dict>
4349         <key>line</key><integer>262</integer>
4350         <key>col</key><integer>20</integer>
4351         <key>file</key><integer>0</integer>
4352        </dict>
4353       </array>
4354     </array>
4355     <key>depth</key><integer>0</integer>
4356     <key>extended_message</key>
4357     <string>Type &apos;MutableArray&lt;NSString *&gt; *&apos; is inferred from implicit cast (from &apos;BuggyMutableArray&lt;NSMutableString *&gt; *&apos; to &apos;MutableArray&lt;NSString *&gt; *&apos;)</string>
4358     <key>message</key>
4359     <string>Type &apos;MutableArray&lt;NSString *&gt; *&apos; is inferred from implicit cast (from &apos;BuggyMutableArray&lt;NSMutableString *&gt; *&apos; to &apos;MutableArray&lt;NSString *&gt; *&apos;)</string>
4360    </dict>
4361    <dict>
4362     <key>kind</key><string>control</string>
4363     <key>edges</key>
4364      <array>
4365       <dict>
4366        <key>start</key>
4367         <array>
4368          <dict>
4369           <key>line</key><integer>262</integer>
4370           <key>col</key><integer>3</integer>
4371           <key>file</key><integer>0</integer>
4372          </dict>
4373          <dict>
4374           <key>line</key><integer>262</integer>
4375           <key>col</key><integer>18</integer>
4376           <key>file</key><integer>0</integer>
4377          </dict>
4378         </array>
4379        <key>end</key>
4380         <array>
4381          <dict>
4382           <key>line</key><integer>263</integer>
4383           <key>col</key><integer>3</integer>
4384           <key>file</key><integer>0</integer>
4385          </dict>
4386          <dict>
4387           <key>line</key><integer>263</integer>
4388           <key>col</key><integer>25</integer>
4389           <key>file</key><integer>0</integer>
4390          </dict>
4391         </array>
4392       </dict>
4393      </array>
4394    </dict>
4395    <dict>
4396     <key>kind</key><string>control</string>
4397     <key>edges</key>
4398      <array>
4399       <dict>
4400        <key>start</key>
4401         <array>
4402          <dict>
4403           <key>line</key><integer>263</integer>
4404           <key>col</key><integer>3</integer>
4405           <key>file</key><integer>0</integer>
4406          </dict>
4407          <dict>
4408           <key>line</key><integer>263</integer>
4409           <key>col</key><integer>25</integer>
4410           <key>file</key><integer>0</integer>
4411          </dict>
4412         </array>
4413        <key>end</key>
4414         <array>
4415          <dict>
4416           <key>line</key><integer>263</integer>
4417           <key>col</key><integer>27</integer>
4418           <key>file</key><integer>0</integer>
4419          </dict>
4420          <dict>
4421           <key>line</key><integer>263</integer>
4422           <key>col</key><integer>27</integer>
4423           <key>file</key><integer>0</integer>
4424          </dict>
4425         </array>
4426       </dict>
4427      </array>
4428    </dict>
4429    <dict>
4430     <key>kind</key><string>event</string>
4431     <key>location</key>
4432     <dict>
4433      <key>line</key><integer>263</integer>
4434      <key>col</key><integer>27</integer>
4435      <key>file</key><integer>0</integer>
4436     </dict>
4437     <key>ranges</key>
4438     <array>
4439       <array>
4440        <dict>
4441         <key>line</key><integer>263</integer>
4442         <key>col</key><integer>27</integer>
4443         <key>file</key><integer>0</integer>
4444        </dict>
4445        <dict>
4446         <key>line</key><integer>263</integer>
4447         <key>col</key><integer>27</integer>
4448         <key>file</key><integer>0</integer>
4449        </dict>
4450       </array>
4451     </array>
4452     <key>depth</key><integer>0</integer>
4453     <key>extended_message</key>
4454     <string>Conversion from value of type &apos;MutableArray&lt;NSString *&gt; *&apos; to incompatible type &apos;MutableArray&lt;NSMutableString *&gt; *&apos;</string>
4455     <key>message</key>
4456     <string>Conversion from value of type &apos;MutableArray&lt;NSString *&gt; *&apos; to incompatible type &apos;MutableArray&lt;NSMutableString *&gt; *&apos;</string>
4457    </dict>
4458   </array>
4459   <key>description</key><string>Conversion from value of type &apos;MutableArray&lt;NSString *&gt; *&apos; to incompatible type &apos;MutableArray&lt;NSMutableString *&gt; *&apos;</string>
4460   <key>category</key><string>Core Foundation/Objective-C</string>
4461   <key>type</key><string>Generics</string>
4462   <key>check_name</key><string>core.DynamicTypePropagation</string>
4463   <!-- This hash is experimental and going to change! -->
4464   <key>issue_hash_content_of_line_in_context</key><string>fb867af384c612fe5c09f821127eeaf0</string>
4465  <key>issue_context_kind</key><string>function</string>
4466  <key>issue_context</key><string>InferenceFromAPIWithBuggyTypes4</string>
4467  <key>issue_hash_function_offset</key><string>3</string>
4468  <key>location</key>
4469  <dict>
4470   <key>line</key><integer>263</integer>
4471   <key>col</key><integer>27</integer>
4472   <key>file</key><integer>0</integer>
4473  </dict>
4474  <key>ExecutedLines</key>
4475  <dict>
4476   <key>0</key>
4477   <array>
4478    <integer>260</integer>
4479    <integer>261</integer>
4480    <integer>262</integer>
4481    <integer>263</integer>
4482   </array>
4483  </dict>
4484  </dict>
4485  <dict>
4486   <key>path</key>
4487   <array>
4488    <dict>
4489     <key>kind</key><string>control</string>
4490     <key>edges</key>
4491      <array>
4492       <dict>
4493        <key>start</key>
4494         <array>
4495          <dict>
4496           <key>line</key><integer>275</integer>
4497           <key>col</key><integer>3</integer>
4498           <key>file</key><integer>0</integer>
4499          </dict>
4500          <dict>
4501           <key>line</key><integer>275</integer>
4502           <key>col</key><integer>9</integer>
4503           <key>file</key><integer>0</integer>
4504          </dict>
4505         </array>
4506        <key>end</key>
4507         <array>
4508          <dict>
4509           <key>line</key><integer>276</integer>
4510           <key>col</key><integer>3</integer>
4511           <key>file</key><integer>0</integer>
4512          </dict>
4513          <dict>
4514           <key>line</key><integer>276</integer>
4515           <key>col</key><integer>10</integer>
4516           <key>file</key><integer>0</integer>
4517          </dict>
4518         </array>
4519       </dict>
4520      </array>
4521    </dict>
4522    <dict>
4523     <key>kind</key><string>control</string>
4524     <key>edges</key>
4525      <array>
4526       <dict>
4527        <key>start</key>
4528         <array>
4529          <dict>
4530           <key>line</key><integer>276</integer>
4531           <key>col</key><integer>3</integer>
4532           <key>file</key><integer>0</integer>
4533          </dict>
4534          <dict>
4535           <key>line</key><integer>276</integer>
4536           <key>col</key><integer>10</integer>
4537           <key>file</key><integer>0</integer>
4538          </dict>
4539         </array>
4540        <key>end</key>
4541         <array>
4542          <dict>
4543           <key>line</key><integer>276</integer>
4544           <key>col</key><integer>19</integer>
4545           <key>file</key><integer>0</integer>
4546          </dict>
4547          <dict>
4548           <key>line</key><integer>276</integer>
4549           <key>col</key><integer>19</integer>
4550           <key>file</key><integer>0</integer>
4551          </dict>
4552         </array>
4553       </dict>
4554      </array>
4555    </dict>
4556    <dict>
4557     <key>kind</key><string>event</string>
4558     <key>location</key>
4559     <dict>
4560      <key>line</key><integer>276</integer>
4561      <key>col</key><integer>19</integer>
4562      <key>file</key><integer>0</integer>
4563     </dict>
4564     <key>ranges</key>
4565     <array>
4566       <array>
4567        <dict>
4568         <key>line</key><integer>276</integer>
4569         <key>col</key><integer>19</integer>
4570         <key>file</key><integer>0</integer>
4571        </dict>
4572        <dict>
4573         <key>line</key><integer>276</integer>
4574         <key>col</key><integer>38</integer>
4575         <key>file</key><integer>0</integer>
4576        </dict>
4577       </array>
4578     </array>
4579     <key>depth</key><integer>0</integer>
4580     <key>extended_message</key>
4581     <string>Type &apos;NSNumber *&apos; is inferred from this context</string>
4582     <key>message</key>
4583     <string>Type &apos;NSNumber *&apos; is inferred from this context</string>
4584    </dict>
4585    <dict>
4586     <key>kind</key><string>event</string>
4587     <key>location</key>
4588     <dict>
4589      <key>line</key><integer>276</integer>
4590      <key>col</key><integer>19</integer>
4591      <key>file</key><integer>0</integer>
4592     </dict>
4593     <key>ranges</key>
4594     <array>
4595       <array>
4596        <dict>
4597         <key>line</key><integer>276</integer>
4598         <key>col</key><integer>19</integer>
4599         <key>file</key><integer>0</integer>
4600        </dict>
4601        <dict>
4602         <key>line</key><integer>276</integer>
4603         <key>col</key><integer>38</integer>
4604         <key>file</key><integer>0</integer>
4605        </dict>
4606       </array>
4607     </array>
4608     <key>depth</key><integer>0</integer>
4609     <key>extended_message</key>
4610     <string>Object has a dynamic type &apos;NSNumber *&apos; which is incompatible with static type &apos;NSString *&apos;</string>
4611     <key>message</key>
4612     <string>Object has a dynamic type &apos;NSNumber *&apos; which is incompatible with static type &apos;NSString *&apos;</string>
4613    </dict>
4614   </array>
4615   <key>description</key><string>Object has a dynamic type &apos;NSNumber *&apos; which is incompatible with static type &apos;NSString *&apos;</string>
4616   <key>category</key><string>Type Error</string>
4617   <key>type</key><string>Dynamic and static type mismatch</string>
4618   <key>check_name</key><string>alpha.core.DynamicTypeChecker</string>
4619   <!-- This hash is experimental and going to change! -->
4620   <key>issue_hash_content_of_line_in_context</key><string>2e9f738345d9fa7dae2324ff7accd1ae</string>
4621  <key>issue_context_kind</key><string>function</string>
4622  <key>issue_context</key><string>workWithProperties</string>
4623  <key>issue_hash_function_offset</key><string>2</string>
4624  <key>location</key>
4625  <dict>
4626   <key>line</key><integer>276</integer>
4627   <key>col</key><integer>19</integer>
4628   <key>file</key><integer>0</integer>
4629  </dict>
4630  <key>ExecutedLines</key>
4631  <dict>
4632   <key>0</key>
4633   <array>
4634    <integer>274</integer>
4635    <integer>275</integer>
4636    <integer>276</integer>
4637   </array>
4638  </dict>
4639  </dict>
4640  <dict>
4641   <key>path</key>
4642   <array>
4643    <dict>
4644     <key>kind</key><string>control</string>
4645     <key>edges</key>
4646      <array>
4647       <dict>
4648        <key>start</key>
4649         <array>
4650          <dict>
4651           <key>line</key><integer>275</integer>
4652           <key>col</key><integer>3</integer>
4653           <key>file</key><integer>0</integer>
4654          </dict>
4655          <dict>
4656           <key>line</key><integer>275</integer>
4657           <key>col</key><integer>9</integer>
4658           <key>file</key><integer>0</integer>
4659          </dict>
4660         </array>
4661        <key>end</key>
4662         <array>
4663          <dict>
4664           <key>line</key><integer>278</integer>
4665           <key>col</key><integer>3</integer>
4666           <key>file</key><integer>0</integer>
4667          </dict>
4668          <dict>
4669           <key>line</key><integer>278</integer>
4670           <key>col</key><integer>5</integer>
4671           <key>file</key><integer>0</integer>
4672          </dict>
4673         </array>
4674       </dict>
4675      </array>
4676    </dict>
4677    <dict>
4678     <key>kind</key><string>control</string>
4679     <key>edges</key>
4680      <array>
4681       <dict>
4682        <key>start</key>
4683         <array>
4684          <dict>
4685           <key>line</key><integer>278</integer>
4686           <key>col</key><integer>3</integer>
4687           <key>file</key><integer>0</integer>
4688          </dict>
4689          <dict>
4690           <key>line</key><integer>278</integer>
4691           <key>col</key><integer>5</integer>
4692           <key>file</key><integer>0</integer>
4693          </dict>
4694         </array>
4695        <key>end</key>
4696         <array>
4697          <dict>
4698           <key>line</key><integer>278</integer>
4699           <key>col</key><integer>9</integer>
4700           <key>file</key><integer>0</integer>
4701          </dict>
4702          <dict>
4703           <key>line</key><integer>278</integer>
4704           <key>col</key><integer>9</integer>
4705           <key>file</key><integer>0</integer>
4706          </dict>
4707         </array>
4708       </dict>
4709      </array>
4710    </dict>
4711    <dict>
4712     <key>kind</key><string>event</string>
4713     <key>location</key>
4714     <dict>
4715      <key>line</key><integer>278</integer>
4716      <key>col</key><integer>9</integer>
4717      <key>file</key><integer>0</integer>
4718     </dict>
4719     <key>ranges</key>
4720     <array>
4721       <array>
4722        <dict>
4723         <key>line</key><integer>278</integer>
4724         <key>col</key><integer>9</integer>
4725         <key>file</key><integer>0</integer>
4726        </dict>
4727        <dict>
4728         <key>line</key><integer>278</integer>
4729         <key>col</key><integer>23</integer>
4730         <key>file</key><integer>0</integer>
4731        </dict>
4732       </array>
4733     </array>
4734     <key>depth</key><integer>0</integer>
4735     <key>extended_message</key>
4736     <string>Type &apos;NSNumber *&apos; is inferred from this context</string>
4737     <key>message</key>
4738     <string>Type &apos;NSNumber *&apos; is inferred from this context</string>
4739    </dict>
4740    <dict>
4741     <key>kind</key><string>event</string>
4742     <key>location</key>
4743     <dict>
4744      <key>line</key><integer>278</integer>
4745      <key>col</key><integer>9</integer>
4746      <key>file</key><integer>0</integer>
4747     </dict>
4748     <key>ranges</key>
4749     <array>
4750       <array>
4751        <dict>
4752         <key>line</key><integer>278</integer>
4753         <key>col</key><integer>9</integer>
4754         <key>file</key><integer>0</integer>
4755        </dict>
4756        <dict>
4757         <key>line</key><integer>278</integer>
4758         <key>col</key><integer>23</integer>
4759         <key>file</key><integer>0</integer>
4760        </dict>
4761       </array>
4762     </array>
4763     <key>depth</key><integer>0</integer>
4764     <key>extended_message</key>
4765     <string>Object has a dynamic type &apos;NSNumber *&apos; which is incompatible with static type &apos;NSString *&apos;</string>
4766     <key>message</key>
4767     <string>Object has a dynamic type &apos;NSNumber *&apos; which is incompatible with static type &apos;NSString *&apos;</string>
4768    </dict>
4769   </array>
4770   <key>description</key><string>Object has a dynamic type &apos;NSNumber *&apos; which is incompatible with static type &apos;NSString *&apos;</string>
4771   <key>category</key><string>Type Error</string>
4772   <key>type</key><string>Dynamic and static type mismatch</string>
4773   <key>check_name</key><string>alpha.core.DynamicTypeChecker</string>
4774   <!-- This hash is experimental and going to change! -->
4775   <key>issue_hash_content_of_line_in_context</key><string>d85392b4efadf710b8da65a043a65e24</string>
4776  <key>issue_context_kind</key><string>function</string>
4777  <key>issue_context</key><string>workWithProperties</string>
4778  <key>issue_hash_function_offset</key><string>4</string>
4779  <key>location</key>
4780  <dict>
4781   <key>line</key><integer>278</integer>
4782   <key>col</key><integer>9</integer>
4783   <key>file</key><integer>0</integer>
4784  </dict>
4785  <key>ExecutedLines</key>
4786  <dict>
4787   <key>0</key>
4788   <array>
4789    <integer>274</integer>
4790    <integer>275</integer>
4791    <integer>276</integer>
4792    <integer>277</integer>
4793    <integer>278</integer>
4794   </array>
4795  </dict>
4796  </dict>
4797  <dict>
4798   <key>path</key>
4799   <array>
4800    <dict>
4801     <key>kind</key><string>control</string>
4802     <key>edges</key>
4803      <array>
4804       <dict>
4805        <key>start</key>
4806         <array>
4807          <dict>
4808           <key>line</key><integer>275</integer>
4809           <key>col</key><integer>3</integer>
4810           <key>file</key><integer>0</integer>
4811          </dict>
4812          <dict>
4813           <key>line</key><integer>275</integer>
4814           <key>col</key><integer>9</integer>
4815           <key>file</key><integer>0</integer>
4816          </dict>
4817         </array>
4818        <key>end</key>
4819         <array>
4820          <dict>
4821           <key>line</key><integer>280</integer>
4822           <key>col</key><integer>3</integer>
4823           <key>file</key><integer>0</integer>
4824          </dict>
4825          <dict>
4826           <key>line</key><integer>280</integer>
4827           <key>col</key><integer>5</integer>
4828           <key>file</key><integer>0</integer>
4829          </dict>
4830         </array>
4831       </dict>
4832      </array>
4833    </dict>
4834    <dict>
4835     <key>kind</key><string>control</string>
4836     <key>edges</key>
4837      <array>
4838       <dict>
4839        <key>start</key>
4840         <array>
4841          <dict>
4842           <key>line</key><integer>280</integer>
4843           <key>col</key><integer>3</integer>
4844           <key>file</key><integer>0</integer>
4845          </dict>
4846          <dict>
4847           <key>line</key><integer>280</integer>
4848           <key>col</key><integer>5</integer>
4849           <key>file</key><integer>0</integer>
4850          </dict>
4851         </array>
4852        <key>end</key>
4853         <array>
4854          <dict>
4855           <key>line</key><integer>280</integer>
4856           <key>col</key><integer>11</integer>
4857           <key>file</key><integer>0</integer>
4858          </dict>
4859          <dict>
4860           <key>line</key><integer>280</integer>
4861           <key>col</key><integer>21</integer>
4862           <key>file</key><integer>0</integer>
4863          </dict>
4864         </array>
4865       </dict>
4866      </array>
4867    </dict>
4868    <dict>
4869     <key>kind</key><string>event</string>
4870     <key>location</key>
4871     <dict>
4872      <key>line</key><integer>280</integer>
4873      <key>col</key><integer>11</integer>
4874      <key>file</key><integer>0</integer>
4875     </dict>
4876     <key>ranges</key>
4877     <array>
4878       <array>
4879        <dict>
4880         <key>line</key><integer>280</integer>
4881         <key>col</key><integer>11</integer>
4882         <key>file</key><integer>0</integer>
4883        </dict>
4884        <dict>
4885         <key>line</key><integer>280</integer>
4886         <key>col</key><integer>21</integer>
4887         <key>file</key><integer>0</integer>
4888        </dict>
4889       </array>
4890     </array>
4891     <key>depth</key><integer>0</integer>
4892     <key>extended_message</key>
4893     <string>Type &apos;NSNumber *&apos; is inferred from this context</string>
4894     <key>message</key>
4895     <string>Type &apos;NSNumber *&apos; is inferred from this context</string>
4896    </dict>
4897    <dict>
4898     <key>kind</key><string>event</string>
4899     <key>location</key>
4900     <dict>
4901      <key>line</key><integer>280</integer>
4902      <key>col</key><integer>9</integer>
4903      <key>file</key><integer>0</integer>
4904     </dict>
4905     <key>ranges</key>
4906     <array>
4907       <array>
4908        <dict>
4909         <key>line</key><integer>280</integer>
4910         <key>col</key><integer>9</integer>
4911         <key>file</key><integer>0</integer>
4912        </dict>
4913        <dict>
4914         <key>line</key><integer>280</integer>
4915         <key>col</key><integer>21</integer>
4916         <key>file</key><integer>0</integer>
4917        </dict>
4918       </array>
4919     </array>
4920     <key>depth</key><integer>0</integer>
4921     <key>extended_message</key>
4922     <string>Object has a dynamic type &apos;NSNumber *&apos; which is incompatible with static type &apos;NSString *&apos;</string>
4923     <key>message</key>
4924     <string>Object has a dynamic type &apos;NSNumber *&apos; which is incompatible with static type &apos;NSString *&apos;</string>
4925    </dict>
4926   </array>
4927   <key>description</key><string>Object has a dynamic type &apos;NSNumber *&apos; which is incompatible with static type &apos;NSString *&apos;</string>
4928   <key>category</key><string>Type Error</string>
4929   <key>type</key><string>Dynamic and static type mismatch</string>
4930   <key>check_name</key><string>alpha.core.DynamicTypeChecker</string>
4931   <!-- This hash is experimental and going to change! -->
4932   <key>issue_hash_content_of_line_in_context</key><string>456c6227549a5e577088c9dce4cea452</string>
4933  <key>issue_context_kind</key><string>function</string>
4934  <key>issue_context</key><string>workWithProperties</string>
4935  <key>issue_hash_function_offset</key><string>6</string>
4936  <key>location</key>
4937  <dict>
4938   <key>line</key><integer>280</integer>
4939   <key>col</key><integer>9</integer>
4940   <key>file</key><integer>0</integer>
4941  </dict>
4942  <key>ExecutedLines</key>
4943  <dict>
4944   <key>0</key>
4945   <array>
4946    <integer>274</integer>
4947    <integer>275</integer>
4948    <integer>276</integer>
4949    <integer>277</integer>
4950    <integer>278</integer>
4951    <integer>279</integer>
4952    <integer>280</integer>
4953   </array>
4954  </dict>
4955  </dict>
4956  <dict>
4957   <key>path</key>
4958   <array>
4959    <dict>
4960     <key>kind</key><string>control</string>
4961     <key>edges</key>
4962      <array>
4963       <dict>
4964        <key>start</key>
4965         <array>
4966          <dict>
4967           <key>line</key><integer>275</integer>
4968           <key>col</key><integer>3</integer>
4969           <key>file</key><integer>0</integer>
4970          </dict>
4971          <dict>
4972           <key>line</key><integer>275</integer>
4973           <key>col</key><integer>9</integer>
4974           <key>file</key><integer>0</integer>
4975          </dict>
4976         </array>
4977        <key>end</key>
4978         <array>
4979          <dict>
4980           <key>line</key><integer>282</integer>
4981           <key>col</key><integer>3</integer>
4982           <key>file</key><integer>0</integer>
4983          </dict>
4984          <dict>
4985           <key>line</key><integer>282</integer>
4986           <key>col</key><integer>5</integer>
4987           <key>file</key><integer>0</integer>
4988          </dict>
4989         </array>
4990       </dict>
4991      </array>
4992    </dict>
4993    <dict>
4994     <key>kind</key><string>control</string>
4995     <key>edges</key>
4996      <array>
4997       <dict>
4998        <key>start</key>
4999         <array>
5000          <dict>
5001           <key>line</key><integer>282</integer>
5002           <key>col</key><integer>3</integer>
5003           <key>file</key><integer>0</integer>
5004          </dict>
5005          <dict>
5006           <key>line</key><integer>282</integer>
5007           <key>col</key><integer>5</integer>
5008           <key>file</key><integer>0</integer>
5009          </dict>
5010         </array>
5011        <key>end</key>
5012         <array>
5013          <dict>
5014           <key>line</key><integer>282</integer>
5015           <key>col</key><integer>9</integer>
5016           <key>file</key><integer>0</integer>
5017          </dict>
5018          <dict>
5019           <key>line</key><integer>282</integer>
5020           <key>col</key><integer>9</integer>
5021           <key>file</key><integer>0</integer>
5022          </dict>
5023         </array>
5024       </dict>
5025      </array>
5026    </dict>
5027    <dict>
5028     <key>kind</key><string>event</string>
5029     <key>location</key>
5030     <dict>
5031      <key>line</key><integer>282</integer>
5032      <key>col</key><integer>9</integer>
5033      <key>file</key><integer>0</integer>
5034     </dict>
5035     <key>ranges</key>
5036     <array>
5037       <array>
5038        <dict>
5039         <key>line</key><integer>282</integer>
5040         <key>col</key><integer>9</integer>
5041         <key>file</key><integer>0</integer>
5042        </dict>
5043        <dict>
5044         <key>line</key><integer>282</integer>
5045         <key>col</key><integer>9</integer>
5046         <key>file</key><integer>0</integer>
5047        </dict>
5048       </array>
5049     </array>
5050     <key>depth</key><integer>0</integer>
5051     <key>extended_message</key>
5052     <string>Type &apos;NSNumber *&apos; is inferred from this context</string>
5053     <key>message</key>
5054     <string>Type &apos;NSNumber *&apos; is inferred from this context</string>
5055    </dict>
5056    <dict>
5057     <key>kind</key><string>event</string>
5058     <key>location</key>
5059     <dict>
5060      <key>line</key><integer>282</integer>
5061      <key>col</key><integer>9</integer>
5062      <key>file</key><integer>0</integer>
5063     </dict>
5064     <key>ranges</key>
5065     <array>
5066       <array>
5067        <dict>
5068         <key>line</key><integer>282</integer>
5069         <key>col</key><integer>9</integer>
5070         <key>file</key><integer>0</integer>
5071        </dict>
5072        <dict>
5073         <key>line</key><integer>282</integer>
5074         <key>col</key><integer>12</integer>
5075         <key>file</key><integer>0</integer>
5076        </dict>
5077       </array>
5078     </array>
5079     <key>depth</key><integer>0</integer>
5080     <key>extended_message</key>
5081     <string>Object has a dynamic type &apos;NSNumber *&apos; which is incompatible with static type &apos;NSString *&apos;</string>
5082     <key>message</key>
5083     <string>Object has a dynamic type &apos;NSNumber *&apos; which is incompatible with static type &apos;NSString *&apos;</string>
5084    </dict>
5085   </array>
5086   <key>description</key><string>Object has a dynamic type &apos;NSNumber *&apos; which is incompatible with static type &apos;NSString *&apos;</string>
5087   <key>category</key><string>Type Error</string>
5088   <key>type</key><string>Dynamic and static type mismatch</string>
5089   <key>check_name</key><string>alpha.core.DynamicTypeChecker</string>
5090   <!-- This hash is experimental and going to change! -->
5091   <key>issue_hash_content_of_line_in_context</key><string>df7f090d2b72ac07bc2351177ed6552d</string>
5092  <key>issue_context_kind</key><string>function</string>
5093  <key>issue_context</key><string>workWithProperties</string>
5094  <key>issue_hash_function_offset</key><string>8</string>
5095  <key>location</key>
5096  <dict>
5097   <key>line</key><integer>282</integer>
5098   <key>col</key><integer>9</integer>
5099   <key>file</key><integer>0</integer>
5100  </dict>
5101  <key>ExecutedLines</key>
5102  <dict>
5103   <key>0</key>
5104   <array>
5105    <integer>274</integer>
5106    <integer>275</integer>
5107    <integer>276</integer>
5108    <integer>277</integer>
5109    <integer>278</integer>
5110    <integer>279</integer>
5111    <integer>280</integer>
5112    <integer>281</integer>
5113    <integer>282</integer>
5114   </array>
5115  </dict>
5116  </dict>
5117  <dict>
5118   <key>path</key>
5119   <array>
5120    <dict>
5121     <key>kind</key><string>event</string>
5122     <key>location</key>
5123     <dict>
5124      <key>line</key><integer>288</integer>
5125      <key>col</key><integer>7</integer>
5126      <key>file</key><integer>0</integer>
5127     </dict>
5128     <key>ranges</key>
5129     <array>
5130       <array>
5131        <dict>
5132         <key>line</key><integer>288</integer>
5133         <key>col</key><integer>7</integer>
5134         <key>file</key><integer>0</integer>
5135        </dict>
5136        <dict>
5137         <key>line</key><integer>288</integer>
5138         <key>col</key><integer>7</integer>
5139         <key>file</key><integer>0</integer>
5140        </dict>
5141       </array>
5142     </array>
5143     <key>depth</key><integer>0</integer>
5144     <key>extended_message</key>
5145     <string>Type &apos;MutableArray&lt;NSMutableString *&gt; *&apos; is inferred from implicit cast (from &apos;MutableArray&lt;NSMutableString *&gt; *&apos; to &apos;NSArray&lt;NSMutableString *&gt; *&apos;)</string>
5146     <key>message</key>
5147     <string>Type &apos;MutableArray&lt;NSMutableString *&gt; *&apos; is inferred from implicit cast (from &apos;MutableArray&lt;NSMutableString *&gt; *&apos; to &apos;NSArray&lt;NSMutableString *&gt; *&apos;)</string>
5148    </dict>
5149    <dict>
5150     <key>kind</key><string>control</string>
5151     <key>edges</key>
5152      <array>
5153       <dict>
5154        <key>start</key>
5155         <array>
5156          <dict>
5157           <key>line</key><integer>288</integer>
5158           <key>col</key><integer>3</integer>
5159           <key>file</key><integer>0</integer>
5160          </dict>
5161          <dict>
5162           <key>line</key><integer>288</integer>
5163           <key>col</key><integer>3</integer>
5164           <key>file</key><integer>0</integer>
5165          </dict>
5166         </array>
5167        <key>end</key>
5168         <array>
5169          <dict>
5170           <key>line</key><integer>289</integer>
5171           <key>col</key><integer>3</integer>
5172           <key>file</key><integer>0</integer>
5173          </dict>
5174          <dict>
5175           <key>line</key><integer>289</integer>
5176           <key>col</key><integer>4</integer>
5177           <key>file</key><integer>0</integer>
5178          </dict>
5179         </array>
5180       </dict>
5181      </array>
5182    </dict>
5183    <dict>
5184     <key>kind</key><string>control</string>
5185     <key>edges</key>
5186      <array>
5187       <dict>
5188        <key>start</key>
5189         <array>
5190          <dict>
5191           <key>line</key><integer>289</integer>
5192           <key>col</key><integer>3</integer>
5193           <key>file</key><integer>0</integer>
5194          </dict>
5195          <dict>
5196           <key>line</key><integer>289</integer>
5197           <key>col</key><integer>4</integer>
5198           <key>file</key><integer>0</integer>
5199          </dict>
5200         </array>
5201        <key>end</key>
5202         <array>
5203          <dict>
5204           <key>line</key><integer>289</integer>
5205           <key>col</key><integer>7</integer>
5206           <key>file</key><integer>0</integer>
5207          </dict>
5208          <dict>
5209           <key>line</key><integer>289</integer>
5210           <key>col</key><integer>16</integer>
5211           <key>file</key><integer>0</integer>
5212          </dict>
5213         </array>
5214       </dict>
5215      </array>
5216    </dict>
5217    <dict>
5218     <key>kind</key><string>event</string>
5219     <key>location</key>
5220     <dict>
5221      <key>line</key><integer>289</integer>
5222      <key>col</key><integer>7</integer>
5223      <key>file</key><integer>0</integer>
5224     </dict>
5225     <key>ranges</key>
5226     <array>
5227       <array>
5228        <dict>
5229         <key>line</key><integer>289</integer>
5230         <key>col</key><integer>7</integer>
5231         <key>file</key><integer>0</integer>
5232        </dict>
5233        <dict>
5234         <key>line</key><integer>289</integer>
5235         <key>col</key><integer>23</integer>
5236         <key>file</key><integer>0</integer>
5237        </dict>
5238       </array>
5239     </array>
5240     <key>depth</key><integer>0</integer>
5241     <key>extended_message</key>
5242     <string>Assuming the condition is true</string>
5243     <key>message</key>
5244     <string>Assuming the condition is true</string>
5245    </dict>
5246    <dict>
5247     <key>kind</key><string>control</string>
5248     <key>edges</key>
5249      <array>
5250       <dict>
5251        <key>start</key>
5252         <array>
5253          <dict>
5254           <key>line</key><integer>289</integer>
5255           <key>col</key><integer>7</integer>
5256           <key>file</key><integer>0</integer>
5257          </dict>
5258          <dict>
5259           <key>line</key><integer>289</integer>
5260           <key>col</key><integer>16</integer>
5261           <key>file</key><integer>0</integer>
5262          </dict>
5263         </array>
5264        <key>end</key>
5265         <array>
5266          <dict>
5267           <key>line</key><integer>290</integer>
5268           <key>col</key><integer>5</integer>
5269           <key>file</key><integer>0</integer>
5270          </dict>
5271          <dict>
5272           <key>line</key><integer>290</integer>
5273           <key>col</key><integer>5</integer>
5274           <key>file</key><integer>0</integer>
5275          </dict>
5276         </array>
5277       </dict>
5278      </array>
5279    </dict>
5280    <dict>
5281     <key>kind</key><string>control</string>
5282     <key>edges</key>
5283      <array>
5284       <dict>
5285        <key>start</key>
5286         <array>
5287          <dict>
5288           <key>line</key><integer>290</integer>
5289           <key>col</key><integer>5</integer>
5290           <key>file</key><integer>0</integer>
5291          </dict>
5292          <dict>
5293           <key>line</key><integer>290</integer>
5294           <key>col</key><integer>5</integer>
5295           <key>file</key><integer>0</integer>
5296          </dict>
5297         </array>
5298        <key>end</key>
5299         <array>
5300          <dict>
5301           <key>line</key><integer>291</integer>
5302           <key>col</key><integer>5</integer>
5303           <key>file</key><integer>0</integer>
5304          </dict>
5305          <dict>
5306           <key>line</key><integer>291</integer>
5307           <key>col</key><integer>5</integer>
5308           <key>file</key><integer>0</integer>
5309          </dict>
5310         </array>
5311       </dict>
5312      </array>
5313    </dict>
5314    <dict>
5315     <key>kind</key><string>event</string>
5316     <key>location</key>
5317     <dict>
5318      <key>line</key><integer>291</integer>
5319      <key>col</key><integer>5</integer>
5320      <key>file</key><integer>0</integer>
5321     </dict>
5322     <key>ranges</key>
5323     <array>
5324       <array>
5325        <dict>
5326         <key>line</key><integer>291</integer>
5327         <key>col</key><integer>19</integer>
5328         <key>file</key><integer>0</integer>
5329        </dict>
5330        <dict>
5331         <key>line</key><integer>291</integer>
5332         <key>col</key><integer>41</integer>
5333         <key>file</key><integer>0</integer>
5334        </dict>
5335       </array>
5336     </array>
5337     <key>depth</key><integer>0</integer>
5338     <key>extended_message</key>
5339     <string>Conversion from value of type &apos;NSString *&apos; to incompatible type &apos;NSMutableString *&apos;</string>
5340     <key>message</key>
5341     <string>Conversion from value of type &apos;NSString *&apos; to incompatible type &apos;NSMutableString *&apos;</string>
5342    </dict>
5343   </array>
5344   <key>description</key><string>Conversion from value of type &apos;NSString *&apos; to incompatible type &apos;NSMutableString *&apos;</string>
5345   <key>category</key><string>Core Foundation/Objective-C</string>
5346   <key>type</key><string>Generics</string>
5347   <key>check_name</key><string>core.DynamicTypePropagation</string>
5348   <!-- This hash is experimental and going to change! -->
5349   <key>issue_hash_content_of_line_in_context</key><string>a0fa75143d7a7ac234292642a6d93360</string>
5350  <key>issue_context_kind</key><string>function</string>
5351  <key>issue_context</key><string>findMethodDeclInTrackedType</string>
5352  <key>issue_hash_function_offset</key><string>4</string>
5353  <key>location</key>
5354  <dict>
5355   <key>line</key><integer>291</integer>
5356   <key>col</key><integer>5</integer>
5357   <key>file</key><integer>0</integer>
5358  </dict>
5359  <key>ExecutedLines</key>
5360  <dict>
5361   <key>0</key>
5362   <array>
5363    <integer>286</integer>
5364    <integer>287</integer>
5365    <integer>288</integer>
5366    <integer>289</integer>
5367    <integer>290</integer>
5368    <integer>291</integer>
5369   </array>
5370  </dict>
5371  </dict>
5372  <dict>
5373   <key>path</key>
5374   <array>
5375    <dict>
5376     <key>kind</key><string>event</string>
5377     <key>location</key>
5378     <dict>
5379      <key>line</key><integer>300</integer>
5380      <key>col</key><integer>7</integer>
5381      <key>file</key><integer>0</integer>
5382     </dict>
5383     <key>ranges</key>
5384     <array>
5385       <array>
5386        <dict>
5387         <key>line</key><integer>300</integer>
5388         <key>col</key><integer>7</integer>
5389         <key>file</key><integer>0</integer>
5390        </dict>
5391        <dict>
5392         <key>line</key><integer>300</integer>
5393         <key>col</key><integer>7</integer>
5394         <key>file</key><integer>0</integer>
5395        </dict>
5396       </array>
5397     </array>
5398     <key>depth</key><integer>0</integer>
5399     <key>extended_message</key>
5400     <string>Type &apos;MutableArray&lt;NSMutableString *&gt; *&apos; is inferred from implicit cast (from &apos;MutableArray&lt;NSMutableString *&gt; *&apos; to &apos;__kindof NSArray&lt;NSString *&gt; *&apos;)</string>
5401     <key>message</key>
5402     <string>Type &apos;MutableArray&lt;NSMutableString *&gt; *&apos; is inferred from implicit cast (from &apos;MutableArray&lt;NSMutableString *&gt; *&apos; to &apos;__kindof NSArray&lt;NSString *&gt; *&apos;)</string>
5403    </dict>
5404    <dict>
5405     <key>kind</key><string>control</string>
5406     <key>edges</key>
5407      <array>
5408       <dict>
5409        <key>start</key>
5410         <array>
5411          <dict>
5412           <key>line</key><integer>300</integer>
5413           <key>col</key><integer>3</integer>
5414           <key>file</key><integer>0</integer>
5415          </dict>
5416          <dict>
5417           <key>line</key><integer>300</integer>
5418           <key>col</key><integer>3</integer>
5419           <key>file</key><integer>0</integer>
5420          </dict>
5421         </array>
5422        <key>end</key>
5423         <array>
5424          <dict>
5425           <key>line</key><integer>301</integer>
5426           <key>col</key><integer>3</integer>
5427           <key>file</key><integer>0</integer>
5428          </dict>
5429          <dict>
5430           <key>line</key><integer>301</integer>
5431           <key>col</key><integer>4</integer>
5432           <key>file</key><integer>0</integer>
5433          </dict>
5434         </array>
5435       </dict>
5436      </array>
5437    </dict>
5438    <dict>
5439     <key>kind</key><string>control</string>
5440     <key>edges</key>
5441      <array>
5442       <dict>
5443        <key>start</key>
5444         <array>
5445          <dict>
5446           <key>line</key><integer>301</integer>
5447           <key>col</key><integer>3</integer>
5448           <key>file</key><integer>0</integer>
5449          </dict>
5450          <dict>
5451           <key>line</key><integer>301</integer>
5452           <key>col</key><integer>4</integer>
5453           <key>file</key><integer>0</integer>
5454          </dict>
5455         </array>
5456        <key>end</key>
5457         <array>
5458          <dict>
5459           <key>line</key><integer>301</integer>
5460           <key>col</key><integer>7</integer>
5461           <key>file</key><integer>0</integer>
5462          </dict>
5463          <dict>
5464           <key>line</key><integer>301</integer>
5465           <key>col</key><integer>16</integer>
5466           <key>file</key><integer>0</integer>
5467          </dict>
5468         </array>
5469       </dict>
5470      </array>
5471    </dict>
5472    <dict>
5473     <key>kind</key><string>event</string>
5474     <key>location</key>
5475     <dict>
5476      <key>line</key><integer>301</integer>
5477      <key>col</key><integer>7</integer>
5478      <key>file</key><integer>0</integer>
5479     </dict>
5480     <key>ranges</key>
5481     <array>
5482       <array>
5483        <dict>
5484         <key>line</key><integer>301</integer>
5485         <key>col</key><integer>7</integer>
5486         <key>file</key><integer>0</integer>
5487        </dict>
5488        <dict>
5489         <key>line</key><integer>301</integer>
5490         <key>col</key><integer>23</integer>
5491         <key>file</key><integer>0</integer>
5492        </dict>
5493       </array>
5494     </array>
5495     <key>depth</key><integer>0</integer>
5496     <key>extended_message</key>
5497     <string>Assuming the condition is true</string>
5498     <key>message</key>
5499     <string>Assuming the condition is true</string>
5500    </dict>
5501    <dict>
5502     <key>kind</key><string>control</string>
5503     <key>edges</key>
5504      <array>
5505       <dict>
5506        <key>start</key>
5507         <array>
5508          <dict>
5509           <key>line</key><integer>301</integer>
5510           <key>col</key><integer>7</integer>
5511           <key>file</key><integer>0</integer>
5512          </dict>
5513          <dict>
5514           <key>line</key><integer>301</integer>
5515           <key>col</key><integer>16</integer>
5516           <key>file</key><integer>0</integer>
5517          </dict>
5518         </array>
5519        <key>end</key>
5520         <array>
5521          <dict>
5522           <key>line</key><integer>302</integer>
5523           <key>col</key><integer>5</integer>
5524           <key>file</key><integer>0</integer>
5525          </dict>
5526          <dict>
5527           <key>line</key><integer>302</integer>
5528           <key>col</key><integer>5</integer>
5529           <key>file</key><integer>0</integer>
5530          </dict>
5531         </array>
5532       </dict>
5533      </array>
5534    </dict>
5535    <dict>
5536     <key>kind</key><string>event</string>
5537     <key>location</key>
5538     <dict>
5539      <key>line</key><integer>302</integer>
5540      <key>col</key><integer>5</integer>
5541      <key>file</key><integer>0</integer>
5542     </dict>
5543     <key>ranges</key>
5544     <array>
5545       <array>
5546        <dict>
5547         <key>line</key><integer>302</integer>
5548         <key>col</key><integer>19</integer>
5549         <key>file</key><integer>0</integer>
5550        </dict>
5551        <dict>
5552         <key>line</key><integer>302</integer>
5553         <key>col</key><integer>41</integer>
5554         <key>file</key><integer>0</integer>
5555        </dict>
5556       </array>
5557     </array>
5558     <key>depth</key><integer>0</integer>
5559     <key>extended_message</key>
5560     <string>Conversion from value of type &apos;NSString *&apos; to incompatible type &apos;NSMutableString *&apos;</string>
5561     <key>message</key>
5562     <string>Conversion from value of type &apos;NSString *&apos; to incompatible type &apos;NSMutableString *&apos;</string>
5563    </dict>
5564   </array>
5565   <key>description</key><string>Conversion from value of type &apos;NSString *&apos; to incompatible type &apos;NSMutableString *&apos;</string>
5566   <key>category</key><string>Core Foundation/Objective-C</string>
5567   <key>type</key><string>Generics</string>
5568   <key>check_name</key><string>core.DynamicTypePropagation</string>
5569   <!-- This hash is experimental and going to change! -->
5570   <key>issue_hash_content_of_line_in_context</key><string>d0b99c8523e81ec43ba4ea80aeedef1b</string>
5571  <key>issue_context_kind</key><string>function</string>
5572  <key>issue_context</key><string>findMethodDeclInTrackedType2</string>
5573  <key>issue_hash_function_offset</key><string>3</string>
5574  <key>location</key>
5575  <dict>
5576   <key>line</key><integer>302</integer>
5577   <key>col</key><integer>5</integer>
5578   <key>file</key><integer>0</integer>
5579  </dict>
5580  <key>ExecutedLines</key>
5581  <dict>
5582   <key>0</key>
5583   <array>
5584    <integer>298</integer>
5585    <integer>299</integer>
5586    <integer>300</integer>
5587    <integer>301</integer>
5588    <integer>302</integer>
5589   </array>
5590  </dict>
5591  </dict>
5592  <dict>
5593   <key>path</key>
5594   <array>
5595    <dict>
5596     <key>kind</key><string>control</string>
5597     <key>edges</key>
5598      <array>
5599       <dict>
5600        <key>start</key>
5601         <array>
5602          <dict>
5603           <key>line</key><integer>326</integer>
5604           <key>col</key><integer>3</integer>
5605           <key>file</key><integer>0</integer>
5606          </dict>
5607          <dict>
5608           <key>line</key><integer>326</integer>
5609           <key>col</key><integer>7</integer>
5610           <key>file</key><integer>0</integer>
5611          </dict>
5612         </array>
5613        <key>end</key>
5614         <array>
5615          <dict>
5616           <key>line</key><integer>327</integer>
5617           <key>col</key><integer>3</integer>
5618           <key>file</key><integer>0</integer>
5619          </dict>
5620          <dict>
5621           <key>line</key><integer>327</integer>
5622           <key>col</key><integer>9</integer>
5623           <key>file</key><integer>0</integer>
5624          </dict>
5625         </array>
5626       </dict>
5627      </array>
5628    </dict>
5629    <dict>
5630     <key>kind</key><string>control</string>
5631     <key>edges</key>
5632      <array>
5633       <dict>
5634        <key>start</key>
5635         <array>
5636          <dict>
5637           <key>line</key><integer>327</integer>
5638           <key>col</key><integer>3</integer>
5639           <key>file</key><integer>0</integer>
5640          </dict>
5641          <dict>
5642           <key>line</key><integer>327</integer>
5643           <key>col</key><integer>9</integer>
5644           <key>file</key><integer>0</integer>
5645          </dict>
5646         </array>
5647        <key>end</key>
5648         <array>
5649          <dict>
5650           <key>line</key><integer>327</integer>
5651           <key>col</key><integer>28</integer>
5652           <key>file</key><integer>0</integer>
5653          </dict>
5654          <dict>
5655           <key>line</key><integer>327</integer>
5656           <key>col</key><integer>28</integer>
5657           <key>file</key><integer>0</integer>
5658          </dict>
5659         </array>
5660       </dict>
5661      </array>
5662    </dict>
5663    <dict>
5664     <key>kind</key><string>event</string>
5665     <key>location</key>
5666     <dict>
5667      <key>line</key><integer>327</integer>
5668      <key>col</key><integer>28</integer>
5669      <key>file</key><integer>0</integer>
5670     </dict>
5671     <key>ranges</key>
5672     <array>
5673       <array>
5674        <dict>
5675         <key>line</key><integer>327</integer>
5676         <key>col</key><integer>28</integer>
5677         <key>file</key><integer>0</integer>
5678        </dict>
5679        <dict>
5680         <key>line</key><integer>327</integer>
5681         <key>col</key><integer>39</integer>
5682         <key>file</key><integer>0</integer>
5683        </dict>
5684       </array>
5685     </array>
5686     <key>depth</key><integer>0</integer>
5687     <key>extended_message</key>
5688     <string>Type &apos;NSArray&lt;NSString *&gt; *&apos; is inferred from this context</string>
5689     <key>message</key>
5690     <string>Type &apos;NSArray&lt;NSString *&gt; *&apos; is inferred from this context</string>
5691    </dict>
5692    <dict>
5693     <key>kind</key><string>event</string>
5694     <key>location</key>
5695     <dict>
5696      <key>line</key><integer>327</integer>
5697      <key>col</key><integer>28</integer>
5698      <key>file</key><integer>0</integer>
5699     </dict>
5700     <key>ranges</key>
5701     <array>
5702       <array>
5703        <dict>
5704         <key>line</key><integer>327</integer>
5705         <key>col</key><integer>28</integer>
5706         <key>file</key><integer>0</integer>
5707        </dict>
5708        <dict>
5709         <key>line</key><integer>327</integer>
5710         <key>col</key><integer>39</integer>
5711         <key>file</key><integer>0</integer>
5712        </dict>
5713       </array>
5714     </array>
5715     <key>depth</key><integer>0</integer>
5716     <key>extended_message</key>
5717     <string>Conversion from value of type &apos;NSArray&lt;NSString *&gt; *&apos; to incompatible type &apos;NSArray&lt;NSNumber *&gt; *&apos;</string>
5718     <key>message</key>
5719     <string>Conversion from value of type &apos;NSArray&lt;NSString *&gt; *&apos; to incompatible type &apos;NSArray&lt;NSNumber *&gt; *&apos;</string>
5720    </dict>
5721   </array>
5722   <key>description</key><string>Conversion from value of type &apos;NSArray&lt;NSString *&gt; *&apos; to incompatible type &apos;NSArray&lt;NSNumber *&gt; *&apos;</string>
5723   <key>category</key><string>Core Foundation/Objective-C</string>
5724   <key>type</key><string>Generics</string>
5725   <key>check_name</key><string>core.DynamicTypePropagation</string>
5726   <!-- This hash is experimental and going to change! -->
5727   <key>issue_hash_content_of_line_in_context</key><string>46aa94b866747bcbe1ded581da7a2633</string>
5728  <key>issue_context_kind</key><string>function</string>
5729  <key>issue_context</key><string>trackedClassVariables</string>
5730  <key>issue_hash_function_offset</key><string>2</string>
5731  <key>location</key>
5732  <dict>
5733   <key>line</key><integer>327</integer>
5734   <key>col</key><integer>28</integer>
5735   <key>file</key><integer>0</integer>
5736  </dict>
5737  <key>ExecutedLines</key>
5738  <dict>
5739   <key>0</key>
5740   <array>
5741    <integer>325</integer>
5742    <integer>326</integer>
5743    <integer>327</integer>
5744   </array>
5745  </dict>
5746  </dict>
5747  <dict>
5748   <key>path</key>
5749   <array>
5750    <dict>
5751     <key>kind</key><string>control</string>
5752     <key>edges</key>
5753      <array>
5754       <dict>
5755        <key>start</key>
5756         <array>
5757          <dict>
5758           <key>line</key><integer>326</integer>
5759           <key>col</key><integer>3</integer>
5760           <key>file</key><integer>0</integer>
5761          </dict>
5762          <dict>
5763           <key>line</key><integer>326</integer>
5764           <key>col</key><integer>7</integer>
5765           <key>file</key><integer>0</integer>
5766          </dict>
5767         </array>
5768        <key>end</key>
5769         <array>
5770          <dict>
5771           <key>line</key><integer>328</integer>
5772           <key>col</key><integer>3</integer>
5773           <key>file</key><integer>0</integer>
5774          </dict>
5775          <dict>
5776           <key>line</key><integer>328</integer>
5777           <key>col</key><integer>3</integer>
5778           <key>file</key><integer>0</integer>
5779          </dict>
5780         </array>
5781       </dict>
5782      </array>
5783    </dict>
5784    <dict>
5785     <key>kind</key><string>control</string>
5786     <key>edges</key>
5787      <array>
5788       <dict>
5789        <key>start</key>
5790         <array>
5791          <dict>
5792           <key>line</key><integer>328</integer>
5793           <key>col</key><integer>3</integer>
5794           <key>file</key><integer>0</integer>
5795          </dict>
5796          <dict>
5797           <key>line</key><integer>328</integer>
5798           <key>col</key><integer>3</integer>
5799           <key>file</key><integer>0</integer>
5800          </dict>
5801         </array>
5802        <key>end</key>
5803         <array>
5804          <dict>
5805           <key>line</key><integer>328</integer>
5806           <key>col</key><integer>7</integer>
5807           <key>file</key><integer>0</integer>
5808          </dict>
5809          <dict>
5810           <key>line</key><integer>328</integer>
5811           <key>col</key><integer>7</integer>
5812           <key>file</key><integer>0</integer>
5813          </dict>
5814         </array>
5815       </dict>
5816      </array>
5817    </dict>
5818    <dict>
5819     <key>kind</key><string>event</string>
5820     <key>location</key>
5821     <dict>
5822      <key>line</key><integer>328</integer>
5823      <key>col</key><integer>7</integer>
5824      <key>file</key><integer>0</integer>
5825     </dict>
5826     <key>ranges</key>
5827     <array>
5828       <array>
5829        <dict>
5830         <key>line</key><integer>328</integer>
5831         <key>col</key><integer>7</integer>
5832         <key>file</key><integer>0</integer>
5833        </dict>
5834        <dict>
5835         <key>line</key><integer>328</integer>
5836         <key>col</key><integer>19</integer>
5837         <key>file</key><integer>0</integer>
5838        </dict>
5839       </array>
5840     </array>
5841     <key>depth</key><integer>0</integer>
5842     <key>extended_message</key>
5843     <string>Type &apos;NSArray&lt;NSString *&gt; *&apos; is inferred from this context</string>
5844     <key>message</key>
5845     <string>Type &apos;NSArray&lt;NSString *&gt; *&apos; is inferred from this context</string>
5846    </dict>
5847    <dict>
5848     <key>kind</key><string>event</string>
5849     <key>location</key>
5850     <dict>
5851      <key>line</key><integer>328</integer>
5852      <key>col</key><integer>7</integer>
5853      <key>file</key><integer>0</integer>
5854     </dict>
5855     <key>ranges</key>
5856     <array>
5857       <array>
5858        <dict>
5859         <key>line</key><integer>328</integer>
5860         <key>col</key><integer>7</integer>
5861         <key>file</key><integer>0</integer>
5862        </dict>
5863        <dict>
5864         <key>line</key><integer>328</integer>
5865         <key>col</key><integer>19</integer>
5866         <key>file</key><integer>0</integer>
5867        </dict>
5868       </array>
5869     </array>
5870     <key>depth</key><integer>0</integer>
5871     <key>extended_message</key>
5872     <string>Conversion from value of type &apos;NSArray&lt;NSString *&gt; *&apos; to incompatible type &apos;NSArray&lt;NSNumber *&gt; *&apos;</string>
5873     <key>message</key>
5874     <string>Conversion from value of type &apos;NSArray&lt;NSString *&gt; *&apos; to incompatible type &apos;NSArray&lt;NSNumber *&gt; *&apos;</string>
5875    </dict>
5876   </array>
5877   <key>description</key><string>Conversion from value of type &apos;NSArray&lt;NSString *&gt; *&apos; to incompatible type &apos;NSArray&lt;NSNumber *&gt; *&apos;</string>
5878   <key>category</key><string>Core Foundation/Objective-C</string>
5879   <key>type</key><string>Generics</string>
5880   <key>check_name</key><string>core.DynamicTypePropagation</string>
5881   <!-- This hash is experimental and going to change! -->
5882   <key>issue_hash_content_of_line_in_context</key><string>a759006d1ce88e15fcd6de6a29e2579c</string>
5883  <key>issue_context_kind</key><string>function</string>
5884  <key>issue_context</key><string>trackedClassVariables</string>
5885  <key>issue_hash_function_offset</key><string>3</string>
5886  <key>location</key>
5887  <dict>
5888   <key>line</key><integer>328</integer>
5889   <key>col</key><integer>7</integer>
5890   <key>file</key><integer>0</integer>
5891  </dict>
5892  <key>ExecutedLines</key>
5893  <dict>
5894   <key>0</key>
5895   <array>
5896    <integer>325</integer>
5897    <integer>326</integer>
5898    <integer>327</integer>
5899    <integer>328</integer>
5900   </array>
5901  </dict>
5902  </dict>
5903  <dict>
5904   <key>path</key>
5905   <array>
5906    <dict>
5907     <key>kind</key><string>event</string>
5908     <key>location</key>
5909     <dict>
5910      <key>line</key><integer>332</integer>
5911      <key>col</key><integer>13</integer>
5912      <key>file</key><integer>0</integer>
5913     </dict>
5914     <key>ranges</key>
5915     <array>
5916       <array>
5917        <dict>
5918         <key>line</key><integer>332</integer>
5919         <key>col</key><integer>13</integer>
5920         <key>file</key><integer>0</integer>
5921        </dict>
5922        <dict>
5923         <key>line</key><integer>332</integer>
5924         <key>col</key><integer>15</integer>
5925         <key>file</key><integer>0</integer>
5926        </dict>
5927       </array>
5928     </array>
5929     <key>depth</key><integer>0</integer>
5930     <key>extended_message</key>
5931     <string>Type &apos;NSArray&lt;NSString *&gt; *&apos; is inferred from implicit cast (from &apos;NSArray&lt;NSString *&gt; *&apos; to &apos;id&apos;)</string>
5932     <key>message</key>
5933     <string>Type &apos;NSArray&lt;NSString *&gt; *&apos; is inferred from implicit cast (from &apos;NSArray&lt;NSString *&gt; *&apos; to &apos;id&apos;)</string>
5934    </dict>
5935    <dict>
5936     <key>kind</key><string>control</string>
5937     <key>edges</key>
5938      <array>
5939       <dict>
5940        <key>start</key>
5941         <array>
5942          <dict>
5943           <key>line</key><integer>332</integer>
5944           <key>col</key><integer>3</integer>
5945           <key>file</key><integer>0</integer>
5946          </dict>
5947          <dict>
5948           <key>line</key><integer>332</integer>
5949           <key>col</key><integer>4</integer>
5950           <key>file</key><integer>0</integer>
5951          </dict>
5952         </array>
5953        <key>end</key>
5954         <array>
5955          <dict>
5956           <key>line</key><integer>333</integer>
5957           <key>col</key><integer>3</integer>
5958           <key>file</key><integer>0</integer>
5959          </dict>
5960          <dict>
5961           <key>line</key><integer>333</integer>
5962           <key>col</key><integer>3</integer>
5963           <key>file</key><integer>0</integer>
5964          </dict>
5965         </array>
5966       </dict>
5967      </array>
5968    </dict>
5969    <dict>
5970     <key>kind</key><string>control</string>
5971     <key>edges</key>
5972      <array>
5973       <dict>
5974        <key>start</key>
5975         <array>
5976          <dict>
5977           <key>line</key><integer>333</integer>
5978           <key>col</key><integer>3</integer>
5979           <key>file</key><integer>0</integer>
5980          </dict>
5981          <dict>
5982           <key>line</key><integer>333</integer>
5983           <key>col</key><integer>3</integer>
5984           <key>file</key><integer>0</integer>
5985          </dict>
5986         </array>
5987        <key>end</key>
5988         <array>
5989          <dict>
5990           <key>line</key><integer>333</integer>
5991           <key>col</key><integer>18</integer>
5992           <key>file</key><integer>0</integer>
5993          </dict>
5994          <dict>
5995           <key>line</key><integer>333</integer>
5996           <key>col</key><integer>21</integer>
5997           <key>file</key><integer>0</integer>
5998          </dict>
5999         </array>
6000       </dict>
6001      </array>
6002    </dict>
6003    <dict>
6004     <key>kind</key><string>event</string>
6005     <key>location</key>
6006     <dict>
6007      <key>line</key><integer>333</integer>
6008      <key>col</key><integer>18</integer>
6009      <key>file</key><integer>0</integer>
6010     </dict>
6011     <key>ranges</key>
6012     <array>
6013       <array>
6014        <dict>
6015         <key>line</key><integer>333</integer>
6016         <key>col</key><integer>18</integer>
6017         <key>file</key><integer>0</integer>
6018        </dict>
6019        <dict>
6020         <key>line</key><integer>333</integer>
6021         <key>col</key><integer>21</integer>
6022         <key>file</key><integer>0</integer>
6023        </dict>
6024       </array>
6025     </array>
6026     <key>depth</key><integer>0</integer>
6027     <key>extended_message</key>
6028     <string>Conversion from value of type &apos;NSArray&lt;NSString *&gt; *&apos; to incompatible type &apos;NSArray&lt;NSNumber *&gt; *&apos;</string>
6029     <key>message</key>
6030     <string>Conversion from value of type &apos;NSArray&lt;NSString *&gt; *&apos; to incompatible type &apos;NSArray&lt;NSNumber *&gt; *&apos;</string>
6031    </dict>
6032   </array>
6033   <key>description</key><string>Conversion from value of type &apos;NSArray&lt;NSString *&gt; *&apos; to incompatible type &apos;NSArray&lt;NSNumber *&gt; *&apos;</string>
6034   <key>category</key><string>Core Foundation/Objective-C</string>
6035   <key>type</key><string>Generics</string>
6036   <key>check_name</key><string>core.DynamicTypePropagation</string>
6037   <!-- This hash is experimental and going to change! -->
6038   <key>issue_hash_content_of_line_in_context</key><string>4bb1729ff86647750b458e6f8d883f08</string>
6039  <key>issue_context_kind</key><string>function</string>
6040  <key>issue_context</key><string>nestedCollections</string>
6041  <key>issue_hash_function_offset</key><string>2</string>
6042  <key>location</key>
6043  <dict>
6044   <key>line</key><integer>333</integer>
6045   <key>col</key><integer>18</integer>
6046   <key>file</key><integer>0</integer>
6047  </dict>
6048  <key>ExecutedLines</key>
6049  <dict>
6050   <key>0</key>
6051   <array>
6052    <integer>331</integer>
6053    <integer>332</integer>
6054    <integer>333</integer>
6055   </array>
6056  </dict>
6057  </dict>
6058  <dict>
6059   <key>path</key>
6060   <array>
6061    <dict>
6062     <key>kind</key><string>control</string>
6063     <key>edges</key>
6064      <array>
6065       <dict>
6066        <key>start</key>
6067         <array>
6068          <dict>
6069           <key>line</key><integer>345</integer>
6070           <key>col</key><integer>3</integer>
6071           <key>file</key><integer>0</integer>
6072          </dict>
6073          <dict>
6074           <key>line</key><integer>345</integer>
6075           <key>col</key><integer>9</integer>
6076           <key>file</key><integer>0</integer>
6077          </dict>
6078         </array>
6079        <key>end</key>
6080         <array>
6081          <dict>
6082           <key>line</key><integer>346</integer>
6083           <key>col</key><integer>3</integer>
6084           <key>file</key><integer>0</integer>
6085          </dict>
6086          <dict>
6087           <key>line</key><integer>346</integer>
6088           <key>col</key><integer>4</integer>
6089           <key>file</key><integer>0</integer>
6090          </dict>
6091         </array>
6092       </dict>
6093      </array>
6094    </dict>
6095    <dict>
6096     <key>kind</key><string>event</string>
6097     <key>location</key>
6098     <dict>
6099      <key>line</key><integer>346</integer>
6100      <key>col</key><integer>10</integer>
6101      <key>file</key><integer>0</integer>
6102     </dict>
6103     <key>ranges</key>
6104     <array>
6105       <array>
6106        <dict>
6107         <key>line</key><integer>346</integer>
6108         <key>col</key><integer>10</integer>
6109         <key>file</key><integer>0</integer>
6110        </dict>
6111        <dict>
6112         <key>line</key><integer>346</integer>
6113         <key>col</key><integer>29</integer>
6114         <key>file</key><integer>0</integer>
6115        </dict>
6116       </array>
6117     </array>
6118     <key>depth</key><integer>0</integer>
6119     <key>extended_message</key>
6120     <string>Type &apos;NSArray&lt;NSString *&gt; *&apos; is inferred from this context</string>
6121     <key>message</key>
6122     <string>Type &apos;NSArray&lt;NSString *&gt; *&apos; is inferred from this context</string>
6123    </dict>
6124    <dict>
6125     <key>kind</key><string>control</string>
6126     <key>edges</key>
6127      <array>
6128       <dict>
6129        <key>start</key>
6130         <array>
6131          <dict>
6132           <key>line</key><integer>346</integer>
6133           <key>col</key><integer>3</integer>
6134           <key>file</key><integer>0</integer>
6135          </dict>
6136          <dict>
6137           <key>line</key><integer>346</integer>
6138           <key>col</key><integer>4</integer>
6139           <key>file</key><integer>0</integer>
6140          </dict>
6141         </array>
6142        <key>end</key>
6143         <array>
6144          <dict>
6145           <key>line</key><integer>347</integer>
6146           <key>col</key><integer>3</integer>
6147           <key>file</key><integer>0</integer>
6148          </dict>
6149          <dict>
6150           <key>line</key><integer>347</integer>
6151           <key>col</key><integer>9</integer>
6152           <key>file</key><integer>0</integer>
6153          </dict>
6154         </array>
6155       </dict>
6156      </array>
6157    </dict>
6158    <dict>
6159     <key>kind</key><string>control</string>
6160     <key>edges</key>
6161      <array>
6162       <dict>
6163        <key>start</key>
6164         <array>
6165          <dict>
6166           <key>line</key><integer>347</integer>
6167           <key>col</key><integer>3</integer>
6168           <key>file</key><integer>0</integer>
6169          </dict>
6170          <dict>
6171           <key>line</key><integer>347</integer>
6172           <key>col</key><integer>9</integer>
6173           <key>file</key><integer>0</integer>
6174          </dict>
6175         </array>
6176        <key>end</key>
6177         <array>
6178          <dict>
6179           <key>line</key><integer>347</integer>
6180           <key>col</key><integer>30</integer>
6181           <key>file</key><integer>0</integer>
6182          </dict>
6183          <dict>
6184           <key>line</key><integer>347</integer>
6185           <key>col</key><integer>30</integer>
6186           <key>file</key><integer>0</integer>
6187          </dict>
6188         </array>
6189       </dict>
6190      </array>
6191    </dict>
6192    <dict>
6193     <key>kind</key><string>event</string>
6194     <key>location</key>
6195     <dict>
6196      <key>line</key><integer>347</integer>
6197      <key>col</key><integer>30</integer>
6198      <key>file</key><integer>0</integer>
6199     </dict>
6200     <key>ranges</key>
6201     <array>
6202       <array>
6203        <dict>
6204         <key>line</key><integer>347</integer>
6205         <key>col</key><integer>30</integer>
6206         <key>file</key><integer>0</integer>
6207        </dict>
6208        <dict>
6209         <key>line</key><integer>347</integer>
6210         <key>col</key><integer>30</integer>
6211         <key>file</key><integer>0</integer>
6212        </dict>
6213       </array>
6214     </array>
6215     <key>depth</key><integer>0</integer>
6216     <key>extended_message</key>
6217     <string>Conversion from value of type &apos;NSArray&lt;NSString *&gt; *&apos; to incompatible type &apos;NSArray&lt;NSNumber *&gt; *&apos;</string>
6218     <key>message</key>
6219     <string>Conversion from value of type &apos;NSArray&lt;NSString *&gt; *&apos; to incompatible type &apos;NSArray&lt;NSNumber *&gt; *&apos;</string>
6220    </dict>
6221   </array>
6222   <key>description</key><string>Conversion from value of type &apos;NSArray&lt;NSString *&gt; *&apos; to incompatible type &apos;NSArray&lt;NSNumber *&gt; *&apos;</string>
6223   <key>category</key><string>Core Foundation/Objective-C</string>
6224   <key>type</key><string>Generics</string>
6225   <key>check_name</key><string>core.DynamicTypePropagation</string>
6226   <!-- This hash is experimental and going to change! -->
6227   <key>issue_hash_content_of_line_in_context</key><string>38831553eaecfb6c02b51e71d21ec6ea</string>
6228  <key>issue_context_kind</key><string>function</string>
6229  <key>issue_context</key><string>returnCollectionToIdVariable</string>
6230  <key>issue_hash_function_offset</key><string>3</string>
6231  <key>location</key>
6232  <dict>
6233   <key>line</key><integer>347</integer>
6234   <key>col</key><integer>30</integer>
6235   <key>file</key><integer>0</integer>
6236  </dict>
6237  <key>ExecutedLines</key>
6238  <dict>
6239   <key>0</key>
6240   <array>
6241    <integer>344</integer>
6242    <integer>345</integer>
6243    <integer>346</integer>
6244    <integer>347</integer>
6245   </array>
6246  </dict>
6247  </dict>
6248  <dict>
6249   <key>path</key>
6250   <array>
6251    <dict>
6252     <key>kind</key><string>control</string>
6253     <key>edges</key>
6254      <array>
6255       <dict>
6256        <key>start</key>
6257         <array>
6258          <dict>
6259           <key>line</key><integer>351</integer>
6260           <key>col</key><integer>3</integer>
6261           <key>file</key><integer>0</integer>
6262          </dict>
6263          <dict>
6264           <key>line</key><integer>351</integer>
6265           <key>col</key><integer>9</integer>
6266           <key>file</key><integer>0</integer>
6267          </dict>
6268         </array>
6269        <key>end</key>
6270         <array>
6271          <dict>
6272           <key>line</key><integer>352</integer>
6273           <key>col</key><integer>3</integer>
6274           <key>file</key><integer>0</integer>
6275          </dict>
6276          <dict>
6277           <key>line</key><integer>352</integer>
6278           <key>col</key><integer>9</integer>
6279           <key>file</key><integer>0</integer>
6280          </dict>
6281         </array>
6282       </dict>
6283      </array>
6284    </dict>
6285    <dict>
6286     <key>kind</key><string>event</string>
6287     <key>location</key>
6288     <dict>
6289      <key>line</key><integer>352</integer>
6290      <key>col</key><integer>16</integer>
6291      <key>file</key><integer>0</integer>
6292     </dict>
6293     <key>ranges</key>
6294     <array>
6295       <array>
6296        <dict>
6297         <key>line</key><integer>352</integer>
6298         <key>col</key><integer>16</integer>
6299         <key>file</key><integer>0</integer>
6300        </dict>
6301        <dict>
6302         <key>line</key><integer>352</integer>
6303         <key>col</key><integer>35</integer>
6304         <key>file</key><integer>0</integer>
6305        </dict>
6306       </array>
6307     </array>
6308     <key>depth</key><integer>0</integer>
6309     <key>extended_message</key>
6310     <string>Type &apos;NSArray&lt;NSString *&gt; *&apos; is inferred from this context</string>
6311     <key>message</key>
6312     <string>Type &apos;NSArray&lt;NSString *&gt; *&apos; is inferred from this context</string>
6313    </dict>
6314    <dict>
6315     <key>kind</key><string>control</string>
6316     <key>edges</key>
6317      <array>
6318       <dict>
6319        <key>start</key>
6320         <array>
6321          <dict>
6322           <key>line</key><integer>352</integer>
6323           <key>col</key><integer>3</integer>
6324           <key>file</key><integer>0</integer>
6325          </dict>
6326          <dict>
6327           <key>line</key><integer>352</integer>
6328           <key>col</key><integer>9</integer>
6329           <key>file</key><integer>0</integer>
6330          </dict>
6331         </array>
6332        <key>end</key>
6333         <array>
6334          <dict>
6335           <key>line</key><integer>353</integer>
6336           <key>col</key><integer>3</integer>
6337           <key>file</key><integer>0</integer>
6338          </dict>
6339          <dict>
6340           <key>line</key><integer>353</integer>
6341           <key>col</key><integer>9</integer>
6342           <key>file</key><integer>0</integer>
6343          </dict>
6344         </array>
6345       </dict>
6346      </array>
6347    </dict>
6348    <dict>
6349     <key>kind</key><string>control</string>
6350     <key>edges</key>
6351      <array>
6352       <dict>
6353        <key>start</key>
6354         <array>
6355          <dict>
6356           <key>line</key><integer>353</integer>
6357           <key>col</key><integer>3</integer>
6358           <key>file</key><integer>0</integer>
6359          </dict>
6360          <dict>
6361           <key>line</key><integer>353</integer>
6362           <key>col</key><integer>9</integer>
6363           <key>file</key><integer>0</integer>
6364          </dict>
6365         </array>
6366        <key>end</key>
6367         <array>
6368          <dict>
6369           <key>line</key><integer>353</integer>
6370           <key>col</key><integer>30</integer>
6371           <key>file</key><integer>0</integer>
6372          </dict>
6373          <dict>
6374           <key>line</key><integer>353</integer>
6375           <key>col</key><integer>30</integer>
6376           <key>file</key><integer>0</integer>
6377          </dict>
6378         </array>
6379       </dict>
6380      </array>
6381    </dict>
6382    <dict>
6383     <key>kind</key><string>event</string>
6384     <key>location</key>
6385     <dict>
6386      <key>line</key><integer>353</integer>
6387      <key>col</key><integer>30</integer>
6388      <key>file</key><integer>0</integer>
6389     </dict>
6390     <key>ranges</key>
6391     <array>
6392       <array>
6393        <dict>
6394         <key>line</key><integer>353</integer>
6395         <key>col</key><integer>30</integer>
6396         <key>file</key><integer>0</integer>
6397        </dict>
6398        <dict>
6399         <key>line</key><integer>353</integer>
6400         <key>col</key><integer>30</integer>
6401         <key>file</key><integer>0</integer>
6402        </dict>
6403       </array>
6404     </array>
6405     <key>depth</key><integer>0</integer>
6406     <key>extended_message</key>
6407     <string>Conversion from value of type &apos;NSArray&lt;NSString *&gt; *&apos; to incompatible type &apos;NSArray&lt;NSNumber *&gt; *&apos;</string>
6408     <key>message</key>
6409     <string>Conversion from value of type &apos;NSArray&lt;NSString *&gt; *&apos; to incompatible type &apos;NSArray&lt;NSNumber *&gt; *&apos;</string>
6410    </dict>
6411   </array>
6412   <key>description</key><string>Conversion from value of type &apos;NSArray&lt;NSString *&gt; *&apos; to incompatible type &apos;NSArray&lt;NSNumber *&gt; *&apos;</string>
6413   <key>category</key><string>Core Foundation/Objective-C</string>
6414   <key>type</key><string>Generics</string>
6415   <key>check_name</key><string>core.DynamicTypePropagation</string>
6416   <!-- This hash is experimental and going to change! -->
6417   <key>issue_hash_content_of_line_in_context</key><string>9fcbd4dcf212f004877292aa5085322b</string>
6418  <key>issue_context_kind</key><string>function</string>
6419  <key>issue_context</key><string>eraseSpecialization</string>
6420  <key>issue_hash_function_offset</key><string>3</string>
6421  <key>location</key>
6422  <dict>
6423   <key>line</key><integer>353</integer>
6424   <key>col</key><integer>30</integer>
6425   <key>file</key><integer>0</integer>
6426  </dict>
6427  <key>ExecutedLines</key>
6428  <dict>
6429   <key>0</key>
6430   <array>
6431    <integer>350</integer>
6432    <integer>351</integer>
6433    <integer>352</integer>
6434    <integer>353</integer>
6435   </array>
6436  </dict>
6437  </dict>
6438  <dict>
6439   <key>path</key>
6440   <array>
6441    <dict>
6442     <key>kind</key><string>control</string>
6443     <key>edges</key>
6444      <array>
6445       <dict>
6446        <key>start</key>
6447         <array>
6448          <dict>
6449           <key>line</key><integer>357</integer>
6450           <key>col</key><integer>3</integer>
6451           <key>file</key><integer>0</integer>
6452          </dict>
6453          <dict>
6454           <key>line</key><integer>357</integer>
6455           <key>col</key><integer>9</integer>
6456           <key>file</key><integer>0</integer>
6457          </dict>
6458         </array>
6459        <key>end</key>
6460         <array>
6461          <dict>
6462           <key>line</key><integer>358</integer>
6463           <key>col</key><integer>3</integer>
6464           <key>file</key><integer>0</integer>
6465          </dict>
6466          <dict>
6467           <key>line</key><integer>358</integer>
6468           <key>col</key><integer>7</integer>
6469           <key>file</key><integer>0</integer>
6470          </dict>
6471         </array>
6472       </dict>
6473      </array>
6474    </dict>
6475    <dict>
6476     <key>kind</key><string>control</string>
6477     <key>edges</key>
6478      <array>
6479       <dict>
6480        <key>start</key>
6481         <array>
6482          <dict>
6483           <key>line</key><integer>358</integer>
6484           <key>col</key><integer>3</integer>
6485           <key>file</key><integer>0</integer>
6486          </dict>
6487          <dict>
6488           <key>line</key><integer>358</integer>
6489           <key>col</key><integer>7</integer>
6490           <key>file</key><integer>0</integer>
6491          </dict>
6492         </array>
6493        <key>end</key>
6494         <array>
6495          <dict>
6496           <key>line</key><integer>358</integer>
6497           <key>col</key><integer>14</integer>
6498           <key>file</key><integer>0</integer>
6499          </dict>
6500          <dict>
6501           <key>line</key><integer>358</integer>
6502           <key>col</key><integer>14</integer>
6503           <key>file</key><integer>0</integer>
6504          </dict>
6505         </array>
6506       </dict>
6507      </array>
6508    </dict>
6509    <dict>
6510     <key>kind</key><string>event</string>
6511     <key>location</key>
6512     <dict>
6513      <key>line</key><integer>358</integer>
6514      <key>col</key><integer>14</integer>
6515      <key>file</key><integer>0</integer>
6516     </dict>
6517     <key>ranges</key>
6518     <array>
6519       <array>
6520        <dict>
6521         <key>line</key><integer>358</integer>
6522         <key>col</key><integer>14</integer>
6523         <key>file</key><integer>0</integer>
6524        </dict>
6525        <dict>
6526         <key>line</key><integer>358</integer>
6527         <key>col</key><integer>33</integer>
6528         <key>file</key><integer>0</integer>
6529        </dict>
6530       </array>
6531     </array>
6532     <key>depth</key><integer>0</integer>
6533     <key>extended_message</key>
6534     <string>Type &apos;NSArray&lt;NSString *&gt; *&apos; is inferred from this context</string>
6535     <key>message</key>
6536     <string>Type &apos;NSArray&lt;NSString *&gt; *&apos; is inferred from this context</string>
6537    </dict>
6538    <dict>
6539     <key>kind</key><string>event</string>
6540     <key>location</key>
6541     <dict>
6542      <key>line</key><integer>358</integer>
6543      <key>col</key><integer>14</integer>
6544      <key>file</key><integer>0</integer>
6545     </dict>
6546     <key>ranges</key>
6547     <array>
6548       <array>
6549        <dict>
6550         <key>line</key><integer>358</integer>
6551         <key>col</key><integer>14</integer>
6552         <key>file</key><integer>0</integer>
6553        </dict>
6554        <dict>
6555         <key>line</key><integer>358</integer>
6556         <key>col</key><integer>33</integer>
6557         <key>file</key><integer>0</integer>
6558        </dict>
6559       </array>
6560     </array>
6561     <key>depth</key><integer>0</integer>
6562     <key>extended_message</key>
6563     <string>Object has a dynamic type &apos;NSArray&lt;NSString *&gt; *&apos; which is incompatible with static type &apos;NSSet *&apos;</string>
6564     <key>message</key>
6565     <string>Object has a dynamic type &apos;NSArray&lt;NSString *&gt; *&apos; which is incompatible with static type &apos;NSSet *&apos;</string>
6566    </dict>
6567   </array>
6568   <key>description</key><string>Object has a dynamic type &apos;NSArray&lt;NSString *&gt; *&apos; which is incompatible with static type &apos;NSSet *&apos;</string>
6569   <key>category</key><string>Type Error</string>
6570   <key>type</key><string>Dynamic and static type mismatch</string>
6571   <key>check_name</key><string>alpha.core.DynamicTypeChecker</string>
6572   <!-- This hash is experimental and going to change! -->
6573   <key>issue_hash_content_of_line_in_context</key><string>be6714fed24af6e7ac522b87a5098de0</string>
6574  <key>issue_context_kind</key><string>function</string>
6575  <key>issue_context</key><string>returnToUnrelatedType</string>
6576  <key>issue_hash_function_offset</key><string>2</string>
6577  <key>location</key>
6578  <dict>
6579   <key>line</key><integer>358</integer>
6580   <key>col</key><integer>14</integer>
6581   <key>file</key><integer>0</integer>
6582  </dict>
6583  <key>ExecutedLines</key>
6584  <dict>
6585   <key>0</key>
6586   <array>
6587    <integer>356</integer>
6588    <integer>357</integer>
6589    <integer>358</integer>
6590   </array>
6591  </dict>
6592  </dict>
6593  <dict>
6594   <key>path</key>
6595   <array>
6596    <dict>
6597     <key>kind</key><string>control</string>
6598     <key>edges</key>
6599      <array>
6600       <dict>
6601        <key>start</key>
6602         <array>
6603          <dict>
6604           <key>line</key><integer>363</integer>
6605           <key>col</key><integer>3</integer>
6606           <key>file</key><integer>0</integer>
6607          </dict>
6608          <dict>
6609           <key>line</key><integer>363</integer>
6610           <key>col</key><integer>9</integer>
6611           <key>file</key><integer>0</integer>
6612          </dict>
6613         </array>
6614        <key>end</key>
6615         <array>
6616          <dict>
6617           <key>line</key><integer>364</integer>
6618           <key>col</key><integer>3</integer>
6619           <key>file</key><integer>0</integer>
6620          </dict>
6621          <dict>
6622           <key>line</key><integer>364</integer>
6623           <key>col</key><integer>4</integer>
6624           <key>file</key><integer>0</integer>
6625          </dict>
6626         </array>
6627       </dict>
6628      </array>
6629    </dict>
6630    <dict>
6631     <key>kind</key><string>event</string>
6632     <key>location</key>
6633     <dict>
6634      <key>line</key><integer>364</integer>
6635      <key>col</key><integer>10</integer>
6636      <key>file</key><integer>0</integer>
6637     </dict>
6638     <key>ranges</key>
6639     <array>
6640       <array>
6641        <dict>
6642         <key>line</key><integer>364</integer>
6643         <key>col</key><integer>10</integer>
6644         <key>file</key><integer>0</integer>
6645        </dict>
6646        <dict>
6647         <key>line</key><integer>364</integer>
6648         <key>col</key><integer>29</integer>
6649         <key>file</key><integer>0</integer>
6650        </dict>
6651       </array>
6652     </array>
6653     <key>depth</key><integer>0</integer>
6654     <key>extended_message</key>
6655     <string>Type &apos;NSString *&apos; is inferred from this context</string>
6656     <key>message</key>
6657     <string>Type &apos;NSString *&apos; is inferred from this context</string>
6658    </dict>
6659    <dict>
6660     <key>kind</key><string>control</string>
6661     <key>edges</key>
6662      <array>
6663       <dict>
6664        <key>start</key>
6665         <array>
6666          <dict>
6667           <key>line</key><integer>364</integer>
6668           <key>col</key><integer>3</integer>
6669           <key>file</key><integer>0</integer>
6670          </dict>
6671          <dict>
6672           <key>line</key><integer>364</integer>
6673           <key>col</key><integer>4</integer>
6674           <key>file</key><integer>0</integer>
6675          </dict>
6676         </array>
6677        <key>end</key>
6678         <array>
6679          <dict>
6680           <key>line</key><integer>365</integer>
6681           <key>col</key><integer>3</integer>
6682           <key>file</key><integer>0</integer>
6683          </dict>
6684          <dict>
6685           <key>line</key><integer>365</integer>
6686           <key>col</key><integer>10</integer>
6687           <key>file</key><integer>0</integer>
6688          </dict>
6689         </array>
6690       </dict>
6691      </array>
6692    </dict>
6693    <dict>
6694     <key>kind</key><string>control</string>
6695     <key>edges</key>
6696      <array>
6697       <dict>
6698        <key>start</key>
6699         <array>
6700          <dict>
6701           <key>line</key><integer>365</integer>
6702           <key>col</key><integer>3</integer>
6703           <key>file</key><integer>0</integer>
6704          </dict>
6705          <dict>
6706           <key>line</key><integer>365</integer>
6707           <key>col</key><integer>10</integer>
6708           <key>file</key><integer>0</integer>
6709          </dict>
6710         </array>
6711        <key>end</key>
6712         <array>
6713          <dict>
6714           <key>line</key><integer>365</integer>
6715           <key>col</key><integer>19</integer>
6716           <key>file</key><integer>0</integer>
6717          </dict>
6718          <dict>
6719           <key>line</key><integer>365</integer>
6720           <key>col</key><integer>19</integer>
6721           <key>file</key><integer>0</integer>
6722          </dict>
6723         </array>
6724       </dict>
6725      </array>
6726    </dict>
6727    <dict>
6728     <key>kind</key><string>event</string>
6729     <key>location</key>
6730     <dict>
6731      <key>line</key><integer>365</integer>
6732      <key>col</key><integer>19</integer>
6733      <key>file</key><integer>0</integer>
6734     </dict>
6735     <key>ranges</key>
6736     <array>
6737       <array>
6738        <dict>
6739         <key>line</key><integer>365</integer>
6740         <key>col</key><integer>19</integer>
6741         <key>file</key><integer>0</integer>
6742        </dict>
6743        <dict>
6744         <key>line</key><integer>365</integer>
6745         <key>col</key><integer>19</integer>
6746         <key>file</key><integer>0</integer>
6747        </dict>
6748       </array>
6749     </array>
6750     <key>depth</key><integer>0</integer>
6751     <key>extended_message</key>
6752     <string>Object has a dynamic type &apos;NSString *&apos; which is incompatible with static type &apos;NSNumber *&apos;</string>
6753     <key>message</key>
6754     <string>Object has a dynamic type &apos;NSString *&apos; which is incompatible with static type &apos;NSNumber *&apos;</string>
6755    </dict>
6756   </array>
6757   <key>description</key><string>Object has a dynamic type &apos;NSString *&apos; which is incompatible with static type &apos;NSNumber *&apos;</string>
6758   <key>category</key><string>Type Error</string>
6759   <key>type</key><string>Dynamic and static type mismatch</string>
6760   <key>check_name</key><string>alpha.core.DynamicTypeChecker</string>
6761   <!-- This hash is experimental and going to change! -->
6762   <key>issue_hash_content_of_line_in_context</key><string>5e96ef711c8f115bc64f69baa3f6ea7a</string>
6763  <key>issue_context_kind</key><string>function</string>
6764  <key>issue_context</key><string>returnToIdVariable</string>
6765  <key>issue_hash_function_offset</key><string>3</string>
6766  <key>location</key>
6767  <dict>
6768   <key>line</key><integer>365</integer>
6769   <key>col</key><integer>19</integer>
6770   <key>file</key><integer>0</integer>
6771  </dict>
6772  <key>ExecutedLines</key>
6773  <dict>
6774   <key>0</key>
6775   <array>
6776    <integer>362</integer>
6777    <integer>363</integer>
6778    <integer>364</integer>
6779    <integer>365</integer>
6780   </array>
6781  </dict>
6782  </dict>
6783  <dict>
6784   <key>path</key>
6785   <array>
6786    <dict>
6787     <key>kind</key><string>event</string>
6788     <key>location</key>
6789     <dict>
6790      <key>line</key><integer>374</integer>
6791      <key>col</key><integer>12</integer>
6792      <key>file</key><integer>0</integer>
6793     </dict>
6794     <key>ranges</key>
6795     <array>
6796       <array>
6797        <dict>
6798         <key>line</key><integer>374</integer>
6799         <key>col</key><integer>12</integer>
6800         <key>file</key><integer>0</integer>
6801        </dict>
6802        <dict>
6803         <key>line</key><integer>374</integer>
6804         <key>col</key><integer>12</integer>
6805         <key>file</key><integer>0</integer>
6806        </dict>
6807       </array>
6808     </array>
6809     <key>depth</key><integer>0</integer>
6810     <key>extended_message</key>
6811     <string>Type &apos;UnrelatedTypeGeneric&lt;NSString *&gt; *&apos; is inferred from implicit cast (from &apos;UnrelatedTypeGeneric&lt;NSString *&gt; *&apos; to &apos;id&apos;)</string>
6812     <key>message</key>
6813     <string>Type &apos;UnrelatedTypeGeneric&lt;NSString *&gt; *&apos; is inferred from implicit cast (from &apos;UnrelatedTypeGeneric&lt;NSString *&gt; *&apos; to &apos;id&apos;)</string>
6814    </dict>
6815    <dict>
6816     <key>kind</key><string>control</string>
6817     <key>edges</key>
6818      <array>
6819       <dict>
6820        <key>start</key>
6821         <array>
6822          <dict>
6823           <key>line</key><integer>374</integer>
6824           <key>col</key><integer>3</integer>
6825           <key>file</key><integer>0</integer>
6826          </dict>
6827          <dict>
6828           <key>line</key><integer>374</integer>
6829           <key>col</key><integer>4</integer>
6830           <key>file</key><integer>0</integer>
6831          </dict>
6832         </array>
6833        <key>end</key>
6834         <array>
6835          <dict>
6836           <key>line</key><integer>375</integer>
6837           <key>col</key><integer>3</integer>
6838           <key>file</key><integer>0</integer>
6839          </dict>
6840          <dict>
6841           <key>line</key><integer>375</integer>
6842           <key>col</key><integer>3</integer>
6843           <key>file</key><integer>0</integer>
6844          </dict>
6845         </array>
6846       </dict>
6847      </array>
6848    </dict>
6849    <dict>
6850     <key>kind</key><string>control</string>
6851     <key>edges</key>
6852      <array>
6853       <dict>
6854        <key>start</key>
6855         <array>
6856          <dict>
6857           <key>line</key><integer>375</integer>
6858           <key>col</key><integer>3</integer>
6859           <key>file</key><integer>0</integer>
6860          </dict>
6861          <dict>
6862           <key>line</key><integer>375</integer>
6863           <key>col</key><integer>3</integer>
6864           <key>file</key><integer>0</integer>
6865          </dict>
6866         </array>
6867        <key>end</key>
6868         <array>
6869          <dict>
6870           <key>line</key><integer>375</integer>
6871           <key>col</key><integer>7</integer>
6872           <key>file</key><integer>0</integer>
6873          </dict>
6874          <dict>
6875           <key>line</key><integer>375</integer>
6876           <key>col</key><integer>9</integer>
6877           <key>file</key><integer>0</integer>
6878          </dict>
6879         </array>
6880       </dict>
6881      </array>
6882    </dict>
6883    <dict>
6884     <key>kind</key><string>event</string>
6885     <key>location</key>
6886     <dict>
6887      <key>line</key><integer>375</integer>
6888      <key>col</key><integer>7</integer>
6889      <key>file</key><integer>0</integer>
6890     </dict>
6891     <key>ranges</key>
6892     <array>
6893       <array>
6894        <dict>
6895         <key>line</key><integer>375</integer>
6896         <key>col</key><integer>7</integer>
6897         <key>file</key><integer>0</integer>
6898        </dict>
6899        <dict>
6900         <key>line</key><integer>375</integer>
6901         <key>col</key><integer>9</integer>
6902         <key>file</key><integer>0</integer>
6903        </dict>
6904       </array>
6905     </array>
6906     <key>depth</key><integer>0</integer>
6907     <key>extended_message</key>
6908     <string>Conversion from value of type &apos;UnrelatedTypeGeneric&lt;NSString *&gt; *&apos; to incompatible type &apos;NSArray&lt;NSString *&gt; *&apos;</string>
6909     <key>message</key>
6910     <string>Conversion from value of type &apos;UnrelatedTypeGeneric&lt;NSString *&gt; *&apos; to incompatible type &apos;NSArray&lt;NSString *&gt; *&apos;</string>
6911    </dict>
6912   </array>
6913   <key>description</key><string>Conversion from value of type &apos;UnrelatedTypeGeneric&lt;NSString *&gt; *&apos; to incompatible type &apos;NSArray&lt;NSString *&gt; *&apos;</string>
6914   <key>category</key><string>Core Foundation/Objective-C</string>
6915   <key>type</key><string>Generics</string>
6916   <key>check_name</key><string>core.DynamicTypePropagation</string>
6917   <!-- This hash is experimental and going to change! -->
6918   <key>issue_hash_content_of_line_in_context</key><string>8347f65fb51a85ccd462d75ffd761078</string>
6919  <key>issue_context_kind</key><string>function</string>
6920  <key>issue_context</key><string>testGetMostInformativeDerivedForId</string>
6921  <key>issue_hash_function_offset</key><string>2</string>
6922  <key>location</key>
6923  <dict>
6924   <key>line</key><integer>375</integer>
6925   <key>col</key><integer>7</integer>
6926   <key>file</key><integer>0</integer>
6927  </dict>
6928  <key>ExecutedLines</key>
6929  <dict>
6930   <key>0</key>
6931   <array>
6932    <integer>372</integer>
6933    <integer>373</integer>
6934    <integer>374</integer>
6935    <integer>375</integer>
6936   </array>
6937  </dict>
6938  </dict>
6939  <dict>
6940   <key>path</key>
6941   <array>
6942    <dict>
6943     <key>kind</key><string>event</string>
6944     <key>location</key>
6945     <dict>
6946      <key>line</key><integer>374</integer>
6947      <key>col</key><integer>12</integer>
6948      <key>file</key><integer>0</integer>
6949     </dict>
6950     <key>ranges</key>
6951     <array>
6952       <array>
6953        <dict>
6954         <key>line</key><integer>374</integer>
6955         <key>col</key><integer>12</integer>
6956         <key>file</key><integer>0</integer>
6957        </dict>
6958        <dict>
6959         <key>line</key><integer>374</integer>
6960         <key>col</key><integer>12</integer>
6961         <key>file</key><integer>0</integer>
6962        </dict>
6963       </array>
6964     </array>
6965     <key>depth</key><integer>0</integer>
6966     <key>extended_message</key>
6967     <string>Type &apos;UnrelatedTypeGeneric&lt;NSString *&gt; *&apos; is inferred from implicit cast (from &apos;UnrelatedTypeGeneric&lt;NSString *&gt; *&apos; to &apos;id&apos;)</string>
6968     <key>message</key>
6969     <string>Type &apos;UnrelatedTypeGeneric&lt;NSString *&gt; *&apos; is inferred from implicit cast (from &apos;UnrelatedTypeGeneric&lt;NSString *&gt; *&apos; to &apos;id&apos;)</string>
6970    </dict>
6971    <dict>
6972     <key>kind</key><string>control</string>
6973     <key>edges</key>
6974      <array>
6975       <dict>
6976        <key>start</key>
6977         <array>
6978          <dict>
6979           <key>line</key><integer>374</integer>
6980           <key>col</key><integer>3</integer>
6981           <key>file</key><integer>0</integer>
6982          </dict>
6983          <dict>
6984           <key>line</key><integer>374</integer>
6985           <key>col</key><integer>4</integer>
6986           <key>file</key><integer>0</integer>
6987          </dict>
6988         </array>
6989        <key>end</key>
6990         <array>
6991          <dict>
6992           <key>line</key><integer>380</integer>
6993           <key>col</key><integer>3</integer>
6994           <key>file</key><integer>0</integer>
6995          </dict>
6996          <dict>
6997           <key>line</key><integer>380</integer>
6998           <key>col</key><integer>3</integer>
6999           <key>file</key><integer>0</integer>
7000          </dict>
7001         </array>
7002       </dict>
7003      </array>
7004    </dict>
7005    <dict>
7006     <key>kind</key><string>event</string>
7007     <key>location</key>
7008     <dict>
7009      <key>line</key><integer>380</integer>
7010      <key>col</key><integer>3</integer>
7011      <key>file</key><integer>0</integer>
7012     </dict>
7013     <key>ranges</key>
7014     <array>
7015       <array>
7016        <dict>
7017         <key>line</key><integer>380</integer>
7018         <key>col</key><integer>16</integer>
7019         <key>file</key><integer>0</integer>
7020        </dict>
7021        <dict>
7022         <key>line</key><integer>380</integer>
7023         <key>col</key><integer>38</integer>
7024         <key>file</key><integer>0</integer>
7025        </dict>
7026       </array>
7027     </array>
7028     <key>depth</key><integer>0</integer>
7029     <key>extended_message</key>
7030     <string>Conversion from value of type &apos;NSNumber *&apos; to incompatible type &apos;NSString *&apos;</string>
7031     <key>message</key>
7032     <string>Conversion from value of type &apos;NSNumber *&apos; to incompatible type &apos;NSString *&apos;</string>
7033    </dict>
7034   </array>
7035   <key>description</key><string>Conversion from value of type &apos;NSNumber *&apos; to incompatible type &apos;NSString *&apos;</string>
7036   <key>category</key><string>Core Foundation/Objective-C</string>
7037   <key>type</key><string>Generics</string>
7038   <key>check_name</key><string>core.DynamicTypePropagation</string>
7039   <!-- This hash is experimental and going to change! -->
7040   <key>issue_hash_content_of_line_in_context</key><string>6528db66f562ac0c2a94933f3ca5f6a8</string>
7041  <key>issue_context_kind</key><string>function</string>
7042  <key>issue_context</key><string>testGetMostInformativeDerivedForId</string>
7043  <key>issue_hash_function_offset</key><string>7</string>
7044  <key>location</key>
7045  <dict>
7046   <key>line</key><integer>380</integer>
7047   <key>col</key><integer>3</integer>
7048   <key>file</key><integer>0</integer>
7049  </dict>
7050  <key>ExecutedLines</key>
7051  <dict>
7052   <key>0</key>
7053   <array>
7054    <integer>372</integer>
7055    <integer>373</integer>
7056    <integer>374</integer>
7057    <integer>375</integer>
7058    <integer>379</integer>
7059    <integer>380</integer>
7060   </array>
7061  </dict>
7062  </dict>
7063  <dict>
7064   <key>path</key>
7065   <array>
7066    <dict>
7067     <key>kind</key><string>control</string>
7068     <key>edges</key>
7069      <array>
7070       <dict>
7071        <key>start</key>
7072         <array>
7073          <dict>
7074           <key>line</key><integer>389</integer>
7075           <key>col</key><integer>3</integer>
7076           <key>file</key><integer>0</integer>
7077          </dict>
7078          <dict>
7079           <key>line</key><integer>389</integer>
7080           <key>col</key><integer>9</integer>
7081           <key>file</key><integer>0</integer>
7082          </dict>
7083         </array>
7084        <key>end</key>
7085         <array>
7086          <dict>
7087           <key>line</key><integer>391</integer>
7088           <key>col</key><integer>3</integer>
7089           <key>file</key><integer>0</integer>
7090          </dict>
7091          <dict>
7092           <key>line</key><integer>391</integer>
7093           <key>col</key><integer>9</integer>
7094           <key>file</key><integer>0</integer>
7095          </dict>
7096         </array>
7097       </dict>
7098      </array>
7099    </dict>
7100    <dict>
7101     <key>kind</key><string>control</string>
7102     <key>edges</key>
7103      <array>
7104       <dict>
7105        <key>start</key>
7106         <array>
7107          <dict>
7108           <key>line</key><integer>391</integer>
7109           <key>col</key><integer>3</integer>
7110           <key>file</key><integer>0</integer>
7111          </dict>
7112          <dict>
7113           <key>line</key><integer>391</integer>
7114           <key>col</key><integer>9</integer>
7115           <key>file</key><integer>0</integer>
7116          </dict>
7117         </array>
7118        <key>end</key>
7119         <array>
7120          <dict>
7121           <key>line</key><integer>391</integer>
7122           <key>col</key><integer>70</integer>
7123           <key>file</key><integer>0</integer>
7124          </dict>
7125          <dict>
7126           <key>line</key><integer>391</integer>
7127           <key>col</key><integer>79</integer>
7128           <key>file</key><integer>0</integer>
7129          </dict>
7130         </array>
7131       </dict>
7132      </array>
7133    </dict>
7134    <dict>
7135     <key>kind</key><string>event</string>
7136     <key>location</key>
7137     <dict>
7138      <key>line</key><integer>391</integer>
7139      <key>col</key><integer>70</integer>
7140      <key>file</key><integer>0</integer>
7141     </dict>
7142     <key>ranges</key>
7143     <array>
7144       <array>
7145        <dict>
7146         <key>line</key><integer>391</integer>
7147         <key>col</key><integer>70</integer>
7148         <key>file</key><integer>0</integer>
7149        </dict>
7150        <dict>
7151         <key>line</key><integer>391</integer>
7152         <key>col</key><integer>79</integer>
7153         <key>file</key><integer>0</integer>
7154        </dict>
7155       </array>
7156     </array>
7157     <key>depth</key><integer>0</integer>
7158     <key>extended_message</key>
7159     <string>Object has a dynamic type &apos;NSNumber *&apos; which is incompatible with static type &apos;NSString *&apos;</string>
7160     <key>message</key>
7161     <string>Object has a dynamic type &apos;NSNumber *&apos; which is incompatible with static type &apos;NSString *&apos;</string>
7162    </dict>
7163   </array>
7164   <key>description</key><string>Object has a dynamic type &apos;NSNumber *&apos; which is incompatible with static type &apos;NSString *&apos;</string>
7165   <key>category</key><string>Type Error</string>
7166   <key>type</key><string>Dynamic and static type mismatch</string>
7167   <key>check_name</key><string>alpha.core.DynamicTypeChecker</string>
7168   <!-- This hash is experimental and going to change! -->
7169   <key>issue_hash_content_of_line_in_context</key><string>56326e7b73d049256717eba7005ccc4d</string>
7170  <key>issue_context_kind</key><string>function</string>
7171  <key>issue_context</key><string>testArgumentAfterUpcastWithCovariantTypeParameter</string>
7172  <key>issue_hash_function_offset</key><string>3</string>
7173  <key>location</key>
7174  <dict>
7175   <key>line</key><integer>391</integer>
7176   <key>col</key><integer>70</integer>
7177   <key>file</key><integer>0</integer>
7178  </dict>
7179  <key>ExecutedLines</key>
7180  <dict>
7181   <key>0</key>
7182   <array>
7183    <integer>388</integer>
7184    <integer>389</integer>
7185    <integer>390</integer>
7186    <integer>391</integer>
7187   </array>
7188  </dict>
7189  </dict>
7190 </array>
7191 <key>files</key>
7192 <array>
7193   <string>/clang/test/Analysis/generics.m</string>
7194 </array>
7195</dict>
7196</plist>
7197