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

Clang Project