Clang Project

clang_source_code/test/Analysis/inlining/Inputs/expected-plists/path-notes.c.plist
1<?xml version="1.0" encoding="UTF-8"?>
2<!DOCTYPE plist PUBLIC "-//Apple Computer//DTD PLIST 1.0//EN" "http://www.apple.com/DTDs/PropertyList-1.0.dtd">
3<plist version="1.0">
4<dict>
5 <key>clang_version</key>
6<string>clang version 8.0.0 </string>
7 <key>diagnostics</key>
8 <array>
9  <dict>
10   <key>path</key>
11   <array>
12    <dict>
13     <key>kind</key><string>event</string>
14     <key>location</key>
15     <dict>
16      <key>line</key><integer>11</integer>
17      <key>col</key><integer>3</integer>
18      <key>file</key><integer>0</integer>
19     </dict>
20     <key>ranges</key>
21     <array>
22       <array>
23        <dict>
24         <key>line</key><integer>11</integer>
25         <key>col</key><integer>3</integer>
26         <key>file</key><integer>0</integer>
27        </dict>
28        <dict>
29         <key>line</key><integer>11</integer>
30         <key>col</key><integer>10</integer>
31         <key>file</key><integer>0</integer>
32        </dict>
33       </array>
34     </array>
35     <key>depth</key><integer>0</integer>
36     <key>extended_message</key>
37     <string>Calling &apos;zero&apos;</string>
38     <key>message</key>
39     <string>Calling &apos;zero&apos;</string>
40    </dict>
41    <dict>
42     <key>kind</key><string>event</string>
43     <key>location</key>
44     <dict>
45      <key>line</key><integer>5</integer>
46      <key>col</key><integer>1</integer>
47      <key>file</key><integer>0</integer>
48     </dict>
49     <key>depth</key><integer>1</integer>
50     <key>extended_message</key>
51     <string>Entered call from &apos;testZero&apos;</string>
52     <key>message</key>
53     <string>Entered call from &apos;testZero&apos;</string>
54    </dict>
55    <dict>
56     <key>kind</key><string>control</string>
57     <key>edges</key>
58      <array>
59       <dict>
60        <key>start</key>
61         <array>
62          <dict>
63           <key>line</key><integer>5</integer>
64           <key>col</key><integer>1</integer>
65           <key>file</key><integer>0</integer>
66          </dict>
67          <dict>
68           <key>line</key><integer>5</integer>
69           <key>col</key><integer>4</integer>
70           <key>file</key><integer>0</integer>
71          </dict>
72         </array>
73        <key>end</key>
74         <array>
75          <dict>
76           <key>line</key><integer>6</integer>
77           <key>col</key><integer>3</integer>
78           <key>file</key><integer>0</integer>
79          </dict>
80          <dict>
81           <key>line</key><integer>6</integer>
82           <key>col</key><integer>3</integer>
83           <key>file</key><integer>0</integer>
84          </dict>
85         </array>
86       </dict>
87      </array>
88    </dict>
89    <dict>
90     <key>kind</key><string>event</string>
91     <key>location</key>
92     <dict>
93      <key>line</key><integer>6</integer>
94      <key>col</key><integer>3</integer>
95      <key>file</key><integer>0</integer>
96     </dict>
97     <key>ranges</key>
98     <array>
99       <array>
100        <dict>
101         <key>line</key><integer>6</integer>
102         <key>col</key><integer>3</integer>
103         <key>file</key><integer>0</integer>
104        </dict>
105        <dict>
106         <key>line</key><integer>6</integer>
107         <key>col</key><integer>8</integer>
108         <key>file</key><integer>0</integer>
109        </dict>
110       </array>
111     </array>
112     <key>depth</key><integer>1</integer>
113     <key>extended_message</key>
114     <string>Null pointer value stored to &apos;a&apos;</string>
115     <key>message</key>
116     <string>Null pointer value stored to &apos;a&apos;</string>
117    </dict>
118    <dict>
119     <key>kind</key><string>event</string>
120     <key>location</key>
121     <dict>
122      <key>line</key><integer>11</integer>
123      <key>col</key><integer>3</integer>
124      <key>file</key><integer>0</integer>
125     </dict>
126     <key>ranges</key>
127     <array>
128       <array>
129        <dict>
130         <key>line</key><integer>11</integer>
131         <key>col</key><integer>3</integer>
132         <key>file</key><integer>0</integer>
133        </dict>
134        <dict>
135         <key>line</key><integer>11</integer>
136         <key>col</key><integer>10</integer>
137         <key>file</key><integer>0</integer>
138        </dict>
139       </array>
140     </array>
141     <key>depth</key><integer>0</integer>
142     <key>extended_message</key>
143     <string>Returning from &apos;zero&apos;</string>
144     <key>message</key>
145     <string>Returning from &apos;zero&apos;</string>
146    </dict>
147    <dict>
148     <key>kind</key><string>control</string>
149     <key>edges</key>
150      <array>
151       <dict>
152        <key>start</key>
153         <array>
154          <dict>
155           <key>line</key><integer>11</integer>
156           <key>col</key><integer>3</integer>
157           <key>file</key><integer>0</integer>
158          </dict>
159          <dict>
160           <key>line</key><integer>11</integer>
161           <key>col</key><integer>6</integer>
162           <key>file</key><integer>0</integer>
163          </dict>
164         </array>
165        <key>end</key>
166         <array>
167          <dict>
168           <key>line</key><integer>14</integer>
169           <key>col</key><integer>3</integer>
170           <key>file</key><integer>0</integer>
171          </dict>
172          <dict>
173           <key>line</key><integer>14</integer>
174           <key>col</key><integer>3</integer>
175           <key>file</key><integer>0</integer>
176          </dict>
177         </array>
178       </dict>
179      </array>
180    </dict>
181    <dict>
182     <key>kind</key><string>control</string>
183     <key>edges</key>
184      <array>
185       <dict>
186        <key>start</key>
187         <array>
188          <dict>
189           <key>line</key><integer>14</integer>
190           <key>col</key><integer>3</integer>
191           <key>file</key><integer>0</integer>
192          </dict>
193          <dict>
194           <key>line</key><integer>14</integer>
195           <key>col</key><integer>3</integer>
196           <key>file</key><integer>0</integer>
197          </dict>
198         </array>
199        <key>end</key>
200         <array>
201          <dict>
202           <key>line</key><integer>14</integer>
203           <key>col</key><integer>6</integer>
204           <key>file</key><integer>0</integer>
205          </dict>
206          <dict>
207           <key>line</key><integer>14</integer>
208           <key>col</key><integer>6</integer>
209           <key>file</key><integer>0</integer>
210          </dict>
211         </array>
212       </dict>
213      </array>
214    </dict>
215    <dict>
216     <key>kind</key><string>event</string>
217     <key>location</key>
218     <dict>
219      <key>line</key><integer>14</integer>
220      <key>col</key><integer>6</integer>
221      <key>file</key><integer>0</integer>
222     </dict>
223     <key>ranges</key>
224     <array>
225       <array>
226        <dict>
227         <key>line</key><integer>14</integer>
228         <key>col</key><integer>4</integer>
229         <key>file</key><integer>0</integer>
230        </dict>
231        <dict>
232         <key>line</key><integer>14</integer>
233         <key>col</key><integer>4</integer>
234         <key>file</key><integer>0</integer>
235        </dict>
236       </array>
237     </array>
238     <key>depth</key><integer>0</integer>
239     <key>extended_message</key>
240     <string>Dereference of null pointer (loaded from variable &apos;a&apos;)</string>
241     <key>message</key>
242     <string>Dereference of null pointer (loaded from variable &apos;a&apos;)</string>
243    </dict>
244   </array>
245   <key>description</key><string>Dereference of null pointer (loaded from variable &apos;a&apos;)</string>
246   <key>category</key><string>Logic error</string>
247   <key>type</key><string>Dereference of null pointer</string>
248   <key>check_name</key><string>core.NullDereference</string>
249   <!-- This hash is experimental and going to change! -->
250   <key>issue_hash_content_of_line_in_context</key><string>52499a849b132453be19ec9167d8c021</string>
251  <key>issue_context_kind</key><string>function</string>
252  <key>issue_context</key><string>testZero</string>
253  <key>issue_hash_function_offset</key><string>4</string>
254  <key>location</key>
255  <dict>
256   <key>line</key><integer>14</integer>
257   <key>col</key><integer>6</integer>
258   <key>file</key><integer>0</integer>
259  </dict>
260  <key>ExecutedLines</key>
261  <dict>
262   <key>0</key>
263   <array>
264    <integer>5</integer>
265    <integer>6</integer>
266    <integer>10</integer>
267    <integer>11</integer>
268    <integer>14</integer>
269   </array>
270  </dict>
271  </dict>
272  <dict>
273   <key>path</key>
274   <array>
275    <dict>
276     <key>kind</key><string>control</string>
277     <key>edges</key>
278      <array>
279       <dict>
280        <key>start</key>
281         <array>
282          <dict>
283           <key>line</key><integer>19</integer>
284           <key>col</key><integer>3</integer>
285           <key>file</key><integer>0</integer>
286          </dict>
287          <dict>
288           <key>line</key><integer>19</integer>
289           <key>col</key><integer>4</integer>
290           <key>file</key><integer>0</integer>
291          </dict>
292         </array>
293        <key>end</key>
294         <array>
295          <dict>
296           <key>line</key><integer>19</integer>
297           <key>col</key><integer>7</integer>
298           <key>file</key><integer>0</integer>
299          </dict>
300          <dict>
301           <key>line</key><integer>19</integer>
302           <key>col</key><integer>7</integer>
303           <key>file</key><integer>0</integer>
304          </dict>
305         </array>
306       </dict>
307      </array>
308    </dict>
309    <dict>
310     <key>kind</key><string>event</string>
311     <key>location</key>
312     <dict>
313      <key>line</key><integer>19</integer>
314      <key>col</key><integer>7</integer>
315      <key>file</key><integer>0</integer>
316     </dict>
317     <key>ranges</key>
318     <array>
319       <array>
320        <dict>
321         <key>line</key><integer>19</integer>
322         <key>col</key><integer>7</integer>
323         <key>file</key><integer>0</integer>
324        </dict>
325        <dict>
326         <key>line</key><integer>19</integer>
327         <key>col</key><integer>7</integer>
328         <key>file</key><integer>0</integer>
329        </dict>
330       </array>
331     </array>
332     <key>depth</key><integer>0</integer>
333     <key>extended_message</key>
334     <string>Assuming &apos;a&apos; is null</string>
335     <key>message</key>
336     <string>Assuming &apos;a&apos; is null</string>
337    </dict>
338    <dict>
339     <key>kind</key><string>control</string>
340     <key>edges</key>
341      <array>
342       <dict>
343        <key>start</key>
344         <array>
345          <dict>
346           <key>line</key><integer>19</integer>
347           <key>col</key><integer>7</integer>
348           <key>file</key><integer>0</integer>
349          </dict>
350          <dict>
351           <key>line</key><integer>19</integer>
352           <key>col</key><integer>7</integer>
353           <key>file</key><integer>0</integer>
354          </dict>
355         </array>
356        <key>end</key>
357         <array>
358          <dict>
359           <key>line</key><integer>24</integer>
360           <key>col</key><integer>3</integer>
361           <key>file</key><integer>0</integer>
362          </dict>
363          <dict>
364           <key>line</key><integer>24</integer>
365           <key>col</key><integer>3</integer>
366           <key>file</key><integer>0</integer>
367          </dict>
368         </array>
369       </dict>
370      </array>
371    </dict>
372    <dict>
373     <key>kind</key><string>control</string>
374     <key>edges</key>
375      <array>
376       <dict>
377        <key>start</key>
378         <array>
379          <dict>
380           <key>line</key><integer>24</integer>
381           <key>col</key><integer>3</integer>
382           <key>file</key><integer>0</integer>
383          </dict>
384          <dict>
385           <key>line</key><integer>24</integer>
386           <key>col</key><integer>3</integer>
387           <key>file</key><integer>0</integer>
388          </dict>
389         </array>
390        <key>end</key>
391         <array>
392          <dict>
393           <key>line</key><integer>24</integer>
394           <key>col</key><integer>6</integer>
395           <key>file</key><integer>0</integer>
396          </dict>
397          <dict>
398           <key>line</key><integer>24</integer>
399           <key>col</key><integer>6</integer>
400           <key>file</key><integer>0</integer>
401          </dict>
402         </array>
403       </dict>
404      </array>
405    </dict>
406    <dict>
407     <key>kind</key><string>event</string>
408     <key>location</key>
409     <dict>
410      <key>line</key><integer>24</integer>
411      <key>col</key><integer>6</integer>
412      <key>file</key><integer>0</integer>
413     </dict>
414     <key>ranges</key>
415     <array>
416       <array>
417        <dict>
418         <key>line</key><integer>24</integer>
419         <key>col</key><integer>4</integer>
420         <key>file</key><integer>0</integer>
421        </dict>
422        <dict>
423         <key>line</key><integer>24</integer>
424         <key>col</key><integer>4</integer>
425         <key>file</key><integer>0</integer>
426        </dict>
427       </array>
428     </array>
429     <key>depth</key><integer>0</integer>
430     <key>extended_message</key>
431     <string>Dereference of null pointer (loaded from variable &apos;a&apos;)</string>
432     <key>message</key>
433     <string>Dereference of null pointer (loaded from variable &apos;a&apos;)</string>
434    </dict>
435   </array>
436   <key>description</key><string>Dereference of null pointer (loaded from variable &apos;a&apos;)</string>
437   <key>category</key><string>Logic error</string>
438   <key>type</key><string>Dereference of null pointer</string>
439   <key>check_name</key><string>core.NullDereference</string>
440   <!-- This hash is experimental and going to change! -->
441   <key>issue_hash_content_of_line_in_context</key><string>cb893891b6a08ee4b7dc3d0c11df856e</string>
442  <key>issue_context_kind</key><string>function</string>
443  <key>issue_context</key><string>testCheck</string>
444  <key>issue_hash_function_offset</key><string>6</string>
445  <key>location</key>
446  <dict>
447   <key>line</key><integer>24</integer>
448   <key>col</key><integer>6</integer>
449   <key>file</key><integer>0</integer>
450  </dict>
451  <key>ExecutedLines</key>
452  <dict>
453   <key>0</key>
454   <array>
455    <integer>18</integer>
456    <integer>19</integer>
457    <integer>24</integer>
458   </array>
459  </dict>
460  </dict>
461  <dict>
462   <key>path</key>
463   <array>
464    <dict>
465     <key>kind</key><string>event</string>
466     <key>location</key>
467     <dict>
468      <key>line</key><integer>32</integer>
469      <key>col</key><integer>3</integer>
470      <key>file</key><integer>0</integer>
471     </dict>
472     <key>ranges</key>
473     <array>
474       <array>
475        <dict>
476         <key>line</key><integer>32</integer>
477         <key>col</key><integer>3</integer>
478         <key>file</key><integer>0</integer>
479        </dict>
480        <dict>
481         <key>line</key><integer>32</integer>
482         <key>col</key><integer>8</integer>
483         <key>file</key><integer>0</integer>
484        </dict>
485       </array>
486     </array>
487     <key>depth</key><integer>0</integer>
488     <key>extended_message</key>
489     <string>&apos;a&apos; initialized here</string>
490     <key>message</key>
491     <string>&apos;a&apos; initialized here</string>
492    </dict>
493    <dict>
494     <key>kind</key><string>control</string>
495     <key>edges</key>
496      <array>
497       <dict>
498        <key>start</key>
499         <array>
500          <dict>
501           <key>line</key><integer>32</integer>
502           <key>col</key><integer>3</integer>
503           <key>file</key><integer>0</integer>
504          </dict>
505          <dict>
506           <key>line</key><integer>32</integer>
507           <key>col</key><integer>5</integer>
508           <key>file</key><integer>0</integer>
509          </dict>
510         </array>
511        <key>end</key>
512         <array>
513          <dict>
514           <key>line</key><integer>34</integer>
515           <key>col</key><integer>3</integer>
516           <key>file</key><integer>0</integer>
517          </dict>
518          <dict>
519           <key>line</key><integer>34</integer>
520           <key>col</key><integer>4</integer>
521           <key>file</key><integer>0</integer>
522          </dict>
523         </array>
524       </dict>
525      </array>
526    </dict>
527    <dict>
528     <key>kind</key><string>control</string>
529     <key>edges</key>
530      <array>
531       <dict>
532        <key>start</key>
533         <array>
534          <dict>
535           <key>line</key><integer>34</integer>
536           <key>col</key><integer>3</integer>
537           <key>file</key><integer>0</integer>
538          </dict>
539          <dict>
540           <key>line</key><integer>34</integer>
541           <key>col</key><integer>4</integer>
542           <key>file</key><integer>0</integer>
543          </dict>
544         </array>
545        <key>end</key>
546         <array>
547          <dict>
548           <key>line</key><integer>34</integer>
549           <key>col</key><integer>7</integer>
550           <key>file</key><integer>0</integer>
551          </dict>
552          <dict>
553           <key>line</key><integer>34</integer>
554           <key>col</key><integer>7</integer>
555           <key>file</key><integer>0</integer>
556          </dict>
557         </array>
558       </dict>
559      </array>
560    </dict>
561    <dict>
562     <key>kind</key><string>event</string>
563     <key>location</key>
564     <dict>
565      <key>line</key><integer>34</integer>
566      <key>col</key><integer>7</integer>
567      <key>file</key><integer>0</integer>
568     </dict>
569     <key>ranges</key>
570     <array>
571       <array>
572        <dict>
573         <key>line</key><integer>34</integer>
574         <key>col</key><integer>7</integer>
575         <key>file</key><integer>0</integer>
576        </dict>
577        <dict>
578         <key>line</key><integer>34</integer>
579         <key>col</key><integer>7</integer>
580         <key>file</key><integer>0</integer>
581        </dict>
582       </array>
583     </array>
584     <key>depth</key><integer>0</integer>
585     <key>extended_message</key>
586     <string>Assuming &apos;a&apos; is null</string>
587     <key>message</key>
588     <string>Assuming &apos;a&apos; is null</string>
589    </dict>
590    <dict>
591     <key>kind</key><string>control</string>
592     <key>edges</key>
593      <array>
594       <dict>
595        <key>start</key>
596         <array>
597          <dict>
598           <key>line</key><integer>34</integer>
599           <key>col</key><integer>7</integer>
600           <key>file</key><integer>0</integer>
601          </dict>
602          <dict>
603           <key>line</key><integer>34</integer>
604           <key>col</key><integer>7</integer>
605           <key>file</key><integer>0</integer>
606          </dict>
607         </array>
608        <key>end</key>
609         <array>
610          <dict>
611           <key>line</key><integer>39</integer>
612           <key>col</key><integer>3</integer>
613           <key>file</key><integer>0</integer>
614          </dict>
615          <dict>
616           <key>line</key><integer>39</integer>
617           <key>col</key><integer>3</integer>
618           <key>file</key><integer>0</integer>
619          </dict>
620         </array>
621       </dict>
622      </array>
623    </dict>
624    <dict>
625     <key>kind</key><string>control</string>
626     <key>edges</key>
627      <array>
628       <dict>
629        <key>start</key>
630         <array>
631          <dict>
632           <key>line</key><integer>39</integer>
633           <key>col</key><integer>3</integer>
634           <key>file</key><integer>0</integer>
635          </dict>
636          <dict>
637           <key>line</key><integer>39</integer>
638           <key>col</key><integer>3</integer>
639           <key>file</key><integer>0</integer>
640          </dict>
641         </array>
642        <key>end</key>
643         <array>
644          <dict>
645           <key>line</key><integer>39</integer>
646           <key>col</key><integer>6</integer>
647           <key>file</key><integer>0</integer>
648          </dict>
649          <dict>
650           <key>line</key><integer>39</integer>
651           <key>col</key><integer>6</integer>
652           <key>file</key><integer>0</integer>
653          </dict>
654         </array>
655       </dict>
656      </array>
657    </dict>
658    <dict>
659     <key>kind</key><string>event</string>
660     <key>location</key>
661     <dict>
662      <key>line</key><integer>39</integer>
663      <key>col</key><integer>6</integer>
664      <key>file</key><integer>0</integer>
665     </dict>
666     <key>ranges</key>
667     <array>
668       <array>
669        <dict>
670         <key>line</key><integer>39</integer>
671         <key>col</key><integer>4</integer>
672         <key>file</key><integer>0</integer>
673        </dict>
674        <dict>
675         <key>line</key><integer>39</integer>
676         <key>col</key><integer>4</integer>
677         <key>file</key><integer>0</integer>
678        </dict>
679       </array>
680     </array>
681     <key>depth</key><integer>0</integer>
682     <key>extended_message</key>
683     <string>Dereference of null pointer (loaded from variable &apos;a&apos;)</string>
684     <key>message</key>
685     <string>Dereference of null pointer (loaded from variable &apos;a&apos;)</string>
686    </dict>
687   </array>
688   <key>description</key><string>Dereference of null pointer (loaded from variable &apos;a&apos;)</string>
689   <key>category</key><string>Logic error</string>
690   <key>type</key><string>Dereference of null pointer</string>
691   <key>check_name</key><string>core.NullDereference</string>
692   <!-- This hash is experimental and going to change! -->
693   <key>issue_hash_content_of_line_in_context</key><string>ec20b5e53a72c82d442b3ca04c81e138</string>
694  <key>issue_context_kind</key><string>function</string>
695  <key>issue_context</key><string>testInitCheck</string>
696  <key>issue_hash_function_offset</key><string>8</string>
697  <key>location</key>
698  <dict>
699   <key>line</key><integer>39</integer>
700   <key>col</key><integer>6</integer>
701   <key>file</key><integer>0</integer>
702  </dict>
703  <key>ExecutedLines</key>
704  <dict>
705   <key>0</key>
706   <array>
707    <integer>31</integer>
708    <integer>32</integer>
709    <integer>34</integer>
710    <integer>39</integer>
711   </array>
712  </dict>
713  </dict>
714  <dict>
715   <key>path</key>
716   <array>
717    <dict>
718     <key>kind</key><string>event</string>
719     <key>location</key>
720     <dict>
721      <key>line</key><integer>44</integer>
722      <key>col</key><integer>3</integer>
723      <key>file</key><integer>0</integer>
724     </dict>
725     <key>ranges</key>
726     <array>
727       <array>
728        <dict>
729         <key>line</key><integer>44</integer>
730         <key>col</key><integer>3</integer>
731         <key>file</key><integer>0</integer>
732        </dict>
733        <dict>
734         <key>line</key><integer>44</integer>
735         <key>col</key><integer>18</integer>
736         <key>file</key><integer>0</integer>
737        </dict>
738       </array>
739     </array>
740     <key>depth</key><integer>0</integer>
741     <key>extended_message</key>
742     <string>Value assigned to &apos;a&apos;</string>
743     <key>message</key>
744     <string>Value assigned to &apos;a&apos;</string>
745    </dict>
746    <dict>
747     <key>kind</key><string>control</string>
748     <key>edges</key>
749      <array>
750       <dict>
751        <key>start</key>
752         <array>
753          <dict>
754           <key>line</key><integer>44</integer>
755           <key>col</key><integer>3</integer>
756           <key>file</key><integer>0</integer>
757          </dict>
758          <dict>
759           <key>line</key><integer>44</integer>
760           <key>col</key><integer>3</integer>
761           <key>file</key><integer>0</integer>
762          </dict>
763         </array>
764        <key>end</key>
765         <array>
766          <dict>
767           <key>line</key><integer>46</integer>
768           <key>col</key><integer>3</integer>
769           <key>file</key><integer>0</integer>
770          </dict>
771          <dict>
772           <key>line</key><integer>46</integer>
773           <key>col</key><integer>4</integer>
774           <key>file</key><integer>0</integer>
775          </dict>
776         </array>
777       </dict>
778      </array>
779    </dict>
780    <dict>
781     <key>kind</key><string>control</string>
782     <key>edges</key>
783      <array>
784       <dict>
785        <key>start</key>
786         <array>
787          <dict>
788           <key>line</key><integer>46</integer>
789           <key>col</key><integer>3</integer>
790           <key>file</key><integer>0</integer>
791          </dict>
792          <dict>
793           <key>line</key><integer>46</integer>
794           <key>col</key><integer>4</integer>
795           <key>file</key><integer>0</integer>
796          </dict>
797         </array>
798        <key>end</key>
799         <array>
800          <dict>
801           <key>line</key><integer>46</integer>
802           <key>col</key><integer>7</integer>
803           <key>file</key><integer>0</integer>
804          </dict>
805          <dict>
806           <key>line</key><integer>46</integer>
807           <key>col</key><integer>7</integer>
808           <key>file</key><integer>0</integer>
809          </dict>
810         </array>
811       </dict>
812      </array>
813    </dict>
814    <dict>
815     <key>kind</key><string>event</string>
816     <key>location</key>
817     <dict>
818      <key>line</key><integer>46</integer>
819      <key>col</key><integer>7</integer>
820      <key>file</key><integer>0</integer>
821     </dict>
822     <key>ranges</key>
823     <array>
824       <array>
825        <dict>
826         <key>line</key><integer>46</integer>
827         <key>col</key><integer>7</integer>
828         <key>file</key><integer>0</integer>
829        </dict>
830        <dict>
831         <key>line</key><integer>46</integer>
832         <key>col</key><integer>7</integer>
833         <key>file</key><integer>0</integer>
834        </dict>
835       </array>
836     </array>
837     <key>depth</key><integer>0</integer>
838     <key>extended_message</key>
839     <string>Assuming &apos;a&apos; is null</string>
840     <key>message</key>
841     <string>Assuming &apos;a&apos; is null</string>
842    </dict>
843    <dict>
844     <key>kind</key><string>control</string>
845     <key>edges</key>
846      <array>
847       <dict>
848        <key>start</key>
849         <array>
850          <dict>
851           <key>line</key><integer>46</integer>
852           <key>col</key><integer>7</integer>
853           <key>file</key><integer>0</integer>
854          </dict>
855          <dict>
856           <key>line</key><integer>46</integer>
857           <key>col</key><integer>7</integer>
858           <key>file</key><integer>0</integer>
859          </dict>
860         </array>
861        <key>end</key>
862         <array>
863          <dict>
864           <key>line</key><integer>51</integer>
865           <key>col</key><integer>3</integer>
866           <key>file</key><integer>0</integer>
867          </dict>
868          <dict>
869           <key>line</key><integer>51</integer>
870           <key>col</key><integer>3</integer>
871           <key>file</key><integer>0</integer>
872          </dict>
873         </array>
874       </dict>
875      </array>
876    </dict>
877    <dict>
878     <key>kind</key><string>control</string>
879     <key>edges</key>
880      <array>
881       <dict>
882        <key>start</key>
883         <array>
884          <dict>
885           <key>line</key><integer>51</integer>
886           <key>col</key><integer>3</integer>
887           <key>file</key><integer>0</integer>
888          </dict>
889          <dict>
890           <key>line</key><integer>51</integer>
891           <key>col</key><integer>3</integer>
892           <key>file</key><integer>0</integer>
893          </dict>
894         </array>
895        <key>end</key>
896         <array>
897          <dict>
898           <key>line</key><integer>51</integer>
899           <key>col</key><integer>6</integer>
900           <key>file</key><integer>0</integer>
901          </dict>
902          <dict>
903           <key>line</key><integer>51</integer>
904           <key>col</key><integer>6</integer>
905           <key>file</key><integer>0</integer>
906          </dict>
907         </array>
908       </dict>
909      </array>
910    </dict>
911    <dict>
912     <key>kind</key><string>event</string>
913     <key>location</key>
914     <dict>
915      <key>line</key><integer>51</integer>
916      <key>col</key><integer>6</integer>
917      <key>file</key><integer>0</integer>
918     </dict>
919     <key>ranges</key>
920     <array>
921       <array>
922        <dict>
923         <key>line</key><integer>51</integer>
924         <key>col</key><integer>4</integer>
925         <key>file</key><integer>0</integer>
926        </dict>
927        <dict>
928         <key>line</key><integer>51</integer>
929         <key>col</key><integer>4</integer>
930         <key>file</key><integer>0</integer>
931        </dict>
932       </array>
933     </array>
934     <key>depth</key><integer>0</integer>
935     <key>extended_message</key>
936     <string>Dereference of null pointer (loaded from variable &apos;a&apos;)</string>
937     <key>message</key>
938     <string>Dereference of null pointer (loaded from variable &apos;a&apos;)</string>
939    </dict>
940   </array>
941   <key>description</key><string>Dereference of null pointer (loaded from variable &apos;a&apos;)</string>
942   <key>category</key><string>Logic error</string>
943   <key>type</key><string>Dereference of null pointer</string>
944   <key>check_name</key><string>core.NullDereference</string>
945   <!-- This hash is experimental and going to change! -->
946   <key>issue_hash_content_of_line_in_context</key><string>1ae8e7c84d15f307abc1df9f5612078b</string>
947  <key>issue_context_kind</key><string>function</string>
948  <key>issue_context</key><string>testStoreCheck</string>
949  <key>issue_hash_function_offset</key><string>8</string>
950  <key>location</key>
951  <dict>
952   <key>line</key><integer>51</integer>
953   <key>col</key><integer>6</integer>
954   <key>file</key><integer>0</integer>
955  </dict>
956  <key>ExecutedLines</key>
957  <dict>
958   <key>0</key>
959   <array>
960    <integer>43</integer>
961    <integer>44</integer>
962    <integer>46</integer>
963    <integer>51</integer>
964   </array>
965  </dict>
966  </dict>
967  <dict>
968   <key>path</key>
969   <array>
970    <dict>
971     <key>kind</key><string>event</string>
972     <key>location</key>
973     <dict>
974      <key>line</key><integer>65</integer>
975      <key>col</key><integer>4</integer>
976      <key>file</key><integer>0</integer>
977     </dict>
978     <key>ranges</key>
979     <array>
980       <array>
981        <dict>
982         <key>line</key><integer>65</integer>
983         <key>col</key><integer>4</integer>
984         <key>file</key><integer>0</integer>
985        </dict>
986        <dict>
987         <key>line</key><integer>65</integer>
988         <key>col</key><integer>12</integer>
989         <key>file</key><integer>0</integer>
990        </dict>
991       </array>
992     </array>
993     <key>depth</key><integer>0</integer>
994     <key>extended_message</key>
995     <string>Calling &apos;getZero&apos;</string>
996     <key>message</key>
997     <string>Calling &apos;getZero&apos;</string>
998    </dict>
999    <dict>
1000     <key>kind</key><string>event</string>
1001     <key>location</key>
1002     <dict>
1003      <key>line</key><integer>56</integer>
1004      <key>col</key><integer>1</integer>
1005      <key>file</key><integer>0</integer>
1006     </dict>
1007     <key>depth</key><integer>1</integer>
1008     <key>extended_message</key>
1009     <string>Entered call from &apos;testReturnZero&apos;</string>
1010     <key>message</key>
1011     <string>Entered call from &apos;testReturnZero&apos;</string>
1012    </dict>
1013    <dict>
1014     <key>kind</key><string>control</string>
1015     <key>edges</key>
1016      <array>
1017       <dict>
1018        <key>start</key>
1019         <array>
1020          <dict>
1021           <key>line</key><integer>56</integer>
1022           <key>col</key><integer>1</integer>
1023           <key>file</key><integer>0</integer>
1024          </dict>
1025          <dict>
1026           <key>line</key><integer>56</integer>
1027           <key>col</key><integer>3</integer>
1028           <key>file</key><integer>0</integer>
1029          </dict>
1030         </array>
1031        <key>end</key>
1032         <array>
1033          <dict>
1034           <key>line</key><integer>57</integer>
1035           <key>col</key><integer>3</integer>
1036           <key>file</key><integer>0</integer>
1037          </dict>
1038          <dict>
1039           <key>line</key><integer>57</integer>
1040           <key>col</key><integer>5</integer>
1041           <key>file</key><integer>0</integer>
1042          </dict>
1043         </array>
1044       </dict>
1045      </array>
1046    </dict>
1047    <dict>
1048     <key>kind</key><string>event</string>
1049     <key>location</key>
1050     <dict>
1051      <key>line</key><integer>57</integer>
1052      <key>col</key><integer>3</integer>
1053      <key>file</key><integer>0</integer>
1054     </dict>
1055     <key>ranges</key>
1056     <array>
1057       <array>
1058        <dict>
1059         <key>line</key><integer>57</integer>
1060         <key>col</key><integer>3</integer>
1061         <key>file</key><integer>0</integer>
1062        </dict>
1063        <dict>
1064         <key>line</key><integer>57</integer>
1065         <key>col</key><integer>8</integer>
1066         <key>file</key><integer>0</integer>
1067        </dict>
1068       </array>
1069     </array>
1070     <key>depth</key><integer>1</integer>
1071     <key>extended_message</key>
1072     <string>&apos;p&apos; initialized to a null pointer value</string>
1073     <key>message</key>
1074     <string>&apos;p&apos; initialized to a null pointer value</string>
1075    </dict>
1076    <dict>
1077     <key>kind</key><string>control</string>
1078     <key>edges</key>
1079      <array>
1080       <dict>
1081        <key>start</key>
1082         <array>
1083          <dict>
1084           <key>line</key><integer>57</integer>
1085           <key>col</key><integer>3</integer>
1086           <key>file</key><integer>0</integer>
1087          </dict>
1088          <dict>
1089           <key>line</key><integer>57</integer>
1090           <key>col</key><integer>5</integer>
1091           <key>file</key><integer>0</integer>
1092          </dict>
1093         </array>
1094        <key>end</key>
1095         <array>
1096          <dict>
1097           <key>line</key><integer>60</integer>
1098           <key>col</key><integer>3</integer>
1099           <key>file</key><integer>0</integer>
1100          </dict>
1101          <dict>
1102           <key>line</key><integer>60</integer>
1103           <key>col</key><integer>8</integer>
1104           <key>file</key><integer>0</integer>
1105          </dict>
1106         </array>
1107       </dict>
1108      </array>
1109    </dict>
1110    <dict>
1111     <key>kind</key><string>event</string>
1112     <key>location</key>
1113     <dict>
1114      <key>line</key><integer>60</integer>
1115      <key>col</key><integer>3</integer>
1116      <key>file</key><integer>0</integer>
1117     </dict>
1118     <key>ranges</key>
1119     <array>
1120       <array>
1121        <dict>
1122         <key>line</key><integer>60</integer>
1123         <key>col</key><integer>3</integer>
1124         <key>file</key><integer>0</integer>
1125        </dict>
1126        <dict>
1127         <key>line</key><integer>60</integer>
1128         <key>col</key><integer>10</integer>
1129         <key>file</key><integer>0</integer>
1130        </dict>
1131       </array>
1132     </array>
1133     <key>depth</key><integer>1</integer>
1134     <key>extended_message</key>
1135     <string>Returning null pointer (loaded from &apos;p&apos;)</string>
1136     <key>message</key>
1137     <string>Returning null pointer (loaded from &apos;p&apos;)</string>
1138    </dict>
1139    <dict>
1140     <key>kind</key><string>event</string>
1141     <key>location</key>
1142     <dict>
1143      <key>line</key><integer>65</integer>
1144      <key>col</key><integer>4</integer>
1145      <key>file</key><integer>0</integer>
1146     </dict>
1147     <key>ranges</key>
1148     <array>
1149       <array>
1150        <dict>
1151         <key>line</key><integer>65</integer>
1152         <key>col</key><integer>4</integer>
1153         <key>file</key><integer>0</integer>
1154        </dict>
1155        <dict>
1156         <key>line</key><integer>65</integer>
1157         <key>col</key><integer>12</integer>
1158         <key>file</key><integer>0</integer>
1159        </dict>
1160       </array>
1161     </array>
1162     <key>depth</key><integer>0</integer>
1163     <key>extended_message</key>
1164     <string>Returning from &apos;getZero&apos;</string>
1165     <key>message</key>
1166     <string>Returning from &apos;getZero&apos;</string>
1167    </dict>
1168    <dict>
1169     <key>kind</key><string>control</string>
1170     <key>edges</key>
1171      <array>
1172       <dict>
1173        <key>start</key>
1174         <array>
1175          <dict>
1176           <key>line</key><integer>65</integer>
1177           <key>col</key><integer>3</integer>
1178           <key>file</key><integer>0</integer>
1179          </dict>
1180          <dict>
1181           <key>line</key><integer>65</integer>
1182           <key>col</key><integer>3</integer>
1183           <key>file</key><integer>0</integer>
1184          </dict>
1185         </array>
1186        <key>end</key>
1187         <array>
1188          <dict>
1189           <key>line</key><integer>65</integer>
1190           <key>col</key><integer>14</integer>
1191           <key>file</key><integer>0</integer>
1192          </dict>
1193          <dict>
1194           <key>line</key><integer>65</integer>
1195           <key>col</key><integer>14</integer>
1196           <key>file</key><integer>0</integer>
1197          </dict>
1198         </array>
1199       </dict>
1200      </array>
1201    </dict>
1202    <dict>
1203     <key>kind</key><string>event</string>
1204     <key>location</key>
1205     <dict>
1206      <key>line</key><integer>65</integer>
1207      <key>col</key><integer>14</integer>
1208      <key>file</key><integer>0</integer>
1209     </dict>
1210     <key>ranges</key>
1211     <array>
1212       <array>
1213        <dict>
1214         <key>line</key><integer>65</integer>
1215         <key>col</key><integer>3</integer>
1216         <key>file</key><integer>0</integer>
1217        </dict>
1218        <dict>
1219         <key>line</key><integer>65</integer>
1220         <key>col</key><integer>16</integer>
1221         <key>file</key><integer>0</integer>
1222        </dict>
1223       </array>
1224     </array>
1225     <key>depth</key><integer>0</integer>
1226     <key>extended_message</key>
1227     <string>Dereference of null pointer</string>
1228     <key>message</key>
1229     <string>Dereference of null pointer</string>
1230    </dict>
1231   </array>
1232   <key>description</key><string>Dereference of null pointer</string>
1233   <key>category</key><string>Logic error</string>
1234   <key>type</key><string>Dereference of null pointer</string>
1235   <key>check_name</key><string>core.NullDereference</string>
1236   <!-- This hash is experimental and going to change! -->
1237   <key>issue_hash_content_of_line_in_context</key><string>d03346854b8f45b55cbd5efe29bf2c8e</string>
1238  <key>issue_context_kind</key><string>function</string>
1239  <key>issue_context</key><string>testReturnZero</string>
1240  <key>issue_hash_function_offset</key><string>1</string>
1241  <key>location</key>
1242  <dict>
1243   <key>line</key><integer>65</integer>
1244   <key>col</key><integer>14</integer>
1245   <key>file</key><integer>0</integer>
1246  </dict>
1247  <key>ExecutedLines</key>
1248  <dict>
1249   <key>0</key>
1250   <array>
1251    <integer>56</integer>
1252    <integer>57</integer>
1253    <integer>60</integer>
1254    <integer>64</integer>
1255    <integer>65</integer>
1256   </array>
1257  </dict>
1258  </dict>
1259  <dict>
1260   <key>path</key>
1261   <array>
1262    <dict>
1263     <key>kind</key><string>control</string>
1264     <key>edges</key>
1265      <array>
1266       <dict>
1267        <key>start</key>
1268         <array>
1269          <dict>
1270           <key>line</key><integer>72</integer>
1271           <key>col</key><integer>3</integer>
1272           <key>file</key><integer>0</integer>
1273          </dict>
1274          <dict>
1275           <key>line</key><integer>72</integer>
1276           <key>col</key><integer>8</integer>
1277           <key>file</key><integer>0</integer>
1278          </dict>
1279         </array>
1280        <key>end</key>
1281         <array>
1282          <dict>
1283           <key>line</key><integer>72</integer>
1284           <key>col</key><integer>11</integer>
1285           <key>file</key><integer>0</integer>
1286          </dict>
1287          <dict>
1288           <key>line</key><integer>72</integer>
1289           <key>col</key><integer>17</integer>
1290           <key>file</key><integer>0</integer>
1291          </dict>
1292         </array>
1293       </dict>
1294      </array>
1295    </dict>
1296    <dict>
1297     <key>kind</key><string>event</string>
1298     <key>location</key>
1299     <dict>
1300      <key>line</key><integer>72</integer>
1301      <key>col</key><integer>11</integer>
1302      <key>file</key><integer>0</integer>
1303     </dict>
1304     <key>ranges</key>
1305     <array>
1306       <array>
1307        <dict>
1308         <key>line</key><integer>72</integer>
1309         <key>col</key><integer>11</integer>
1310         <key>file</key><integer>0</integer>
1311        </dict>
1312        <dict>
1313         <key>line</key><integer>72</integer>
1314         <key>col</key><integer>19</integer>
1315         <key>file</key><integer>0</integer>
1316        </dict>
1317       </array>
1318     </array>
1319     <key>depth</key><integer>0</integer>
1320     <key>extended_message</key>
1321     <string>Calling &apos;getZero&apos;</string>
1322     <key>message</key>
1323     <string>Calling &apos;getZero&apos;</string>
1324    </dict>
1325    <dict>
1326     <key>kind</key><string>event</string>
1327     <key>location</key>
1328     <dict>
1329      <key>line</key><integer>56</integer>
1330      <key>col</key><integer>1</integer>
1331      <key>file</key><integer>0</integer>
1332     </dict>
1333     <key>depth</key><integer>1</integer>
1334     <key>extended_message</key>
1335     <string>Entered call from &apos;testReturnZero2&apos;</string>
1336     <key>message</key>
1337     <string>Entered call from &apos;testReturnZero2&apos;</string>
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>56</integer>
1348           <key>col</key><integer>1</integer>
1349           <key>file</key><integer>0</integer>
1350          </dict>
1351          <dict>
1352           <key>line</key><integer>56</integer>
1353           <key>col</key><integer>3</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>57</integer>
1361           <key>col</key><integer>3</integer>
1362           <key>file</key><integer>0</integer>
1363          </dict>
1364          <dict>
1365           <key>line</key><integer>57</integer>
1366           <key>col</key><integer>5</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>57</integer>
1378      <key>col</key><integer>3</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>57</integer>
1386         <key>col</key><integer>3</integer>
1387         <key>file</key><integer>0</integer>
1388        </dict>
1389        <dict>
1390         <key>line</key><integer>57</integer>
1391         <key>col</key><integer>8</integer>
1392         <key>file</key><integer>0</integer>
1393        </dict>
1394       </array>
1395     </array>
1396     <key>depth</key><integer>1</integer>
1397     <key>extended_message</key>
1398     <string>&apos;p&apos; initialized to a null pointer value</string>
1399     <key>message</key>
1400     <string>&apos;p&apos; initialized to a null pointer value</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>57</integer>
1411           <key>col</key><integer>3</integer>
1412           <key>file</key><integer>0</integer>
1413          </dict>
1414          <dict>
1415           <key>line</key><integer>57</integer>
1416           <key>col</key><integer>5</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>60</integer>
1424           <key>col</key><integer>3</integer>
1425           <key>file</key><integer>0</integer>
1426          </dict>
1427          <dict>
1428           <key>line</key><integer>60</integer>
1429           <key>col</key><integer>8</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>60</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>60</integer>
1449         <key>col</key><integer>3</integer>
1450         <key>file</key><integer>0</integer>
1451        </dict>
1452        <dict>
1453         <key>line</key><integer>60</integer>
1454         <key>col</key><integer>10</integer>
1455         <key>file</key><integer>0</integer>
1456        </dict>
1457       </array>
1458     </array>
1459     <key>depth</key><integer>1</integer>
1460     <key>extended_message</key>
1461     <string>Returning null pointer (loaded from &apos;p&apos;)</string>
1462     <key>message</key>
1463     <string>Returning null pointer (loaded from &apos;p&apos;)</string>
1464    </dict>
1465    <dict>
1466     <key>kind</key><string>event</string>
1467     <key>location</key>
1468     <dict>
1469      <key>line</key><integer>72</integer>
1470      <key>col</key><integer>11</integer>
1471      <key>file</key><integer>0</integer>
1472     </dict>
1473     <key>ranges</key>
1474     <array>
1475       <array>
1476        <dict>
1477         <key>line</key><integer>72</integer>
1478         <key>col</key><integer>11</integer>
1479         <key>file</key><integer>0</integer>
1480        </dict>
1481        <dict>
1482         <key>line</key><integer>72</integer>
1483         <key>col</key><integer>19</integer>
1484         <key>file</key><integer>0</integer>
1485        </dict>
1486       </array>
1487     </array>
1488     <key>depth</key><integer>0</integer>
1489     <key>extended_message</key>
1490     <string>Returning from &apos;getZero&apos;</string>
1491     <key>message</key>
1492     <string>Returning from &apos;getZero&apos;</string>
1493    </dict>
1494    <dict>
1495     <key>kind</key><string>event</string>
1496     <key>location</key>
1497     <dict>
1498      <key>line</key><integer>72</integer>
1499      <key>col</key><integer>10</integer>
1500      <key>file</key><integer>0</integer>
1501     </dict>
1502     <key>ranges</key>
1503     <array>
1504       <array>
1505        <dict>
1506         <key>line</key><integer>72</integer>
1507         <key>col</key><integer>10</integer>
1508         <key>file</key><integer>0</integer>
1509        </dict>
1510        <dict>
1511         <key>line</key><integer>72</integer>
1512         <key>col</key><integer>19</integer>
1513         <key>file</key><integer>0</integer>
1514        </dict>
1515       </array>
1516     </array>
1517     <key>depth</key><integer>0</integer>
1518     <key>extended_message</key>
1519     <string>Dereference of null pointer</string>
1520     <key>message</key>
1521     <string>Dereference of null pointer</string>
1522    </dict>
1523   </array>
1524   <key>description</key><string>Dereference of null pointer</string>
1525   <key>category</key><string>Logic error</string>
1526   <key>type</key><string>Dereference of null pointer</string>
1527   <key>check_name</key><string>core.NullDereference</string>
1528   <!-- This hash is experimental and going to change! -->
1529   <key>issue_hash_content_of_line_in_context</key><string>5a72f98932a4061a833287a12b28ba8b</string>
1530  <key>issue_context_kind</key><string>function</string>
1531  <key>issue_context</key><string>testReturnZero2</string>
1532  <key>issue_hash_function_offset</key><string>1</string>
1533  <key>location</key>
1534  <dict>
1535   <key>line</key><integer>72</integer>
1536   <key>col</key><integer>10</integer>
1537   <key>file</key><integer>0</integer>
1538  </dict>
1539  <key>ExecutedLines</key>
1540  <dict>
1541   <key>0</key>
1542   <array>
1543    <integer>56</integer>
1544    <integer>57</integer>
1545    <integer>60</integer>
1546    <integer>71</integer>
1547    <integer>72</integer>
1548   </array>
1549  </dict>
1550  </dict>
1551  <dict>
1552   <key>path</key>
1553   <array>
1554    <dict>
1555     <key>kind</key><string>control</string>
1556     <key>edges</key>
1557      <array>
1558       <dict>
1559        <key>start</key>
1560         <array>
1561          <dict>
1562           <key>line</key><integer>79</integer>
1563           <key>col</key><integer>3</integer>
1564           <key>file</key><integer>0</integer>
1565          </dict>
1566          <dict>
1567           <key>line</key><integer>79</integer>
1568           <key>col</key><integer>5</integer>
1569           <key>file</key><integer>0</integer>
1570          </dict>
1571         </array>
1572        <key>end</key>
1573         <array>
1574          <dict>
1575           <key>line</key><integer>79</integer>
1576           <key>col</key><integer>12</integer>
1577           <key>file</key><integer>0</integer>
1578          </dict>
1579          <dict>
1580           <key>line</key><integer>79</integer>
1581           <key>col</key><integer>18</integer>
1582           <key>file</key><integer>0</integer>
1583          </dict>
1584         </array>
1585       </dict>
1586      </array>
1587    </dict>
1588    <dict>
1589     <key>kind</key><string>event</string>
1590     <key>location</key>
1591     <dict>
1592      <key>line</key><integer>79</integer>
1593      <key>col</key><integer>12</integer>
1594      <key>file</key><integer>0</integer>
1595     </dict>
1596     <key>ranges</key>
1597     <array>
1598       <array>
1599        <dict>
1600         <key>line</key><integer>79</integer>
1601         <key>col</key><integer>12</integer>
1602         <key>file</key><integer>0</integer>
1603        </dict>
1604        <dict>
1605         <key>line</key><integer>79</integer>
1606         <key>col</key><integer>20</integer>
1607         <key>file</key><integer>0</integer>
1608        </dict>
1609       </array>
1610     </array>
1611     <key>depth</key><integer>0</integer>
1612     <key>extended_message</key>
1613     <string>Calling &apos;getZero&apos;</string>
1614     <key>message</key>
1615     <string>Calling &apos;getZero&apos;</string>
1616    </dict>
1617    <dict>
1618     <key>kind</key><string>event</string>
1619     <key>location</key>
1620     <dict>
1621      <key>line</key><integer>56</integer>
1622      <key>col</key><integer>1</integer>
1623      <key>file</key><integer>0</integer>
1624     </dict>
1625     <key>depth</key><integer>1</integer>
1626     <key>extended_message</key>
1627     <string>Entered call from &apos;testInitZero&apos;</string>
1628     <key>message</key>
1629     <string>Entered call from &apos;testInitZero&apos;</string>
1630    </dict>
1631    <dict>
1632     <key>kind</key><string>control</string>
1633     <key>edges</key>
1634      <array>
1635       <dict>
1636        <key>start</key>
1637         <array>
1638          <dict>
1639           <key>line</key><integer>56</integer>
1640           <key>col</key><integer>1</integer>
1641           <key>file</key><integer>0</integer>
1642          </dict>
1643          <dict>
1644           <key>line</key><integer>56</integer>
1645           <key>col</key><integer>3</integer>
1646           <key>file</key><integer>0</integer>
1647          </dict>
1648         </array>
1649        <key>end</key>
1650         <array>
1651          <dict>
1652           <key>line</key><integer>57</integer>
1653           <key>col</key><integer>3</integer>
1654           <key>file</key><integer>0</integer>
1655          </dict>
1656          <dict>
1657           <key>line</key><integer>57</integer>
1658           <key>col</key><integer>5</integer>
1659           <key>file</key><integer>0</integer>
1660          </dict>
1661         </array>
1662       </dict>
1663      </array>
1664    </dict>
1665    <dict>
1666     <key>kind</key><string>event</string>
1667     <key>location</key>
1668     <dict>
1669      <key>line</key><integer>57</integer>
1670      <key>col</key><integer>3</integer>
1671      <key>file</key><integer>0</integer>
1672     </dict>
1673     <key>ranges</key>
1674     <array>
1675       <array>
1676        <dict>
1677         <key>line</key><integer>57</integer>
1678         <key>col</key><integer>3</integer>
1679         <key>file</key><integer>0</integer>
1680        </dict>
1681        <dict>
1682         <key>line</key><integer>57</integer>
1683         <key>col</key><integer>8</integer>
1684         <key>file</key><integer>0</integer>
1685        </dict>
1686       </array>
1687     </array>
1688     <key>depth</key><integer>1</integer>
1689     <key>extended_message</key>
1690     <string>&apos;p&apos; initialized to a null pointer value</string>
1691     <key>message</key>
1692     <string>&apos;p&apos; initialized to a null pointer value</string>
1693    </dict>
1694    <dict>
1695     <key>kind</key><string>control</string>
1696     <key>edges</key>
1697      <array>
1698       <dict>
1699        <key>start</key>
1700         <array>
1701          <dict>
1702           <key>line</key><integer>57</integer>
1703           <key>col</key><integer>3</integer>
1704           <key>file</key><integer>0</integer>
1705          </dict>
1706          <dict>
1707           <key>line</key><integer>57</integer>
1708           <key>col</key><integer>5</integer>
1709           <key>file</key><integer>0</integer>
1710          </dict>
1711         </array>
1712        <key>end</key>
1713         <array>
1714          <dict>
1715           <key>line</key><integer>60</integer>
1716           <key>col</key><integer>3</integer>
1717           <key>file</key><integer>0</integer>
1718          </dict>
1719          <dict>
1720           <key>line</key><integer>60</integer>
1721           <key>col</key><integer>8</integer>
1722           <key>file</key><integer>0</integer>
1723          </dict>
1724         </array>
1725       </dict>
1726      </array>
1727    </dict>
1728    <dict>
1729     <key>kind</key><string>event</string>
1730     <key>location</key>
1731     <dict>
1732      <key>line</key><integer>60</integer>
1733      <key>col</key><integer>3</integer>
1734      <key>file</key><integer>0</integer>
1735     </dict>
1736     <key>ranges</key>
1737     <array>
1738       <array>
1739        <dict>
1740         <key>line</key><integer>60</integer>
1741         <key>col</key><integer>3</integer>
1742         <key>file</key><integer>0</integer>
1743        </dict>
1744        <dict>
1745         <key>line</key><integer>60</integer>
1746         <key>col</key><integer>10</integer>
1747         <key>file</key><integer>0</integer>
1748        </dict>
1749       </array>
1750     </array>
1751     <key>depth</key><integer>1</integer>
1752     <key>extended_message</key>
1753     <string>Returning null pointer (loaded from &apos;p&apos;)</string>
1754     <key>message</key>
1755     <string>Returning null pointer (loaded from &apos;p&apos;)</string>
1756    </dict>
1757    <dict>
1758     <key>kind</key><string>event</string>
1759     <key>location</key>
1760     <dict>
1761      <key>line</key><integer>79</integer>
1762      <key>col</key><integer>12</integer>
1763      <key>file</key><integer>0</integer>
1764     </dict>
1765     <key>ranges</key>
1766     <array>
1767       <array>
1768        <dict>
1769         <key>line</key><integer>79</integer>
1770         <key>col</key><integer>12</integer>
1771         <key>file</key><integer>0</integer>
1772        </dict>
1773        <dict>
1774         <key>line</key><integer>79</integer>
1775         <key>col</key><integer>20</integer>
1776         <key>file</key><integer>0</integer>
1777        </dict>
1778       </array>
1779     </array>
1780     <key>depth</key><integer>0</integer>
1781     <key>extended_message</key>
1782     <string>Returning from &apos;getZero&apos;</string>
1783     <key>message</key>
1784     <string>Returning from &apos;getZero&apos;</string>
1785    </dict>
1786    <dict>
1787     <key>kind</key><string>control</string>
1788     <key>edges</key>
1789      <array>
1790       <dict>
1791        <key>start</key>
1792         <array>
1793          <dict>
1794           <key>line</key><integer>79</integer>
1795           <key>col</key><integer>12</integer>
1796           <key>file</key><integer>0</integer>
1797          </dict>
1798          <dict>
1799           <key>line</key><integer>79</integer>
1800           <key>col</key><integer>18</integer>
1801           <key>file</key><integer>0</integer>
1802          </dict>
1803         </array>
1804        <key>end</key>
1805         <array>
1806          <dict>
1807           <key>line</key><integer>79</integer>
1808           <key>col</key><integer>3</integer>
1809           <key>file</key><integer>0</integer>
1810          </dict>
1811          <dict>
1812           <key>line</key><integer>79</integer>
1813           <key>col</key><integer>5</integer>
1814           <key>file</key><integer>0</integer>
1815          </dict>
1816         </array>
1817       </dict>
1818      </array>
1819    </dict>
1820    <dict>
1821     <key>kind</key><string>event</string>
1822     <key>location</key>
1823     <dict>
1824      <key>line</key><integer>79</integer>
1825      <key>col</key><integer>3</integer>
1826      <key>file</key><integer>0</integer>
1827     </dict>
1828     <key>ranges</key>
1829     <array>
1830       <array>
1831        <dict>
1832         <key>line</key><integer>79</integer>
1833         <key>col</key><integer>3</integer>
1834         <key>file</key><integer>0</integer>
1835        </dict>
1836        <dict>
1837         <key>line</key><integer>79</integer>
1838         <key>col</key><integer>8</integer>
1839         <key>file</key><integer>0</integer>
1840        </dict>
1841       </array>
1842     </array>
1843     <key>depth</key><integer>0</integer>
1844     <key>extended_message</key>
1845     <string>&apos;a&apos; initialized to a null pointer value</string>
1846     <key>message</key>
1847     <string>&apos;a&apos; initialized to a null pointer value</string>
1848    </dict>
1849    <dict>
1850     <key>kind</key><string>control</string>
1851     <key>edges</key>
1852      <array>
1853       <dict>
1854        <key>start</key>
1855         <array>
1856          <dict>
1857           <key>line</key><integer>79</integer>
1858           <key>col</key><integer>3</integer>
1859           <key>file</key><integer>0</integer>
1860          </dict>
1861          <dict>
1862           <key>line</key><integer>79</integer>
1863           <key>col</key><integer>5</integer>
1864           <key>file</key><integer>0</integer>
1865          </dict>
1866         </array>
1867        <key>end</key>
1868         <array>
1869          <dict>
1870           <key>line</key><integer>83</integer>
1871           <key>col</key><integer>3</integer>
1872           <key>file</key><integer>0</integer>
1873          </dict>
1874          <dict>
1875           <key>line</key><integer>83</integer>
1876           <key>col</key><integer>3</integer>
1877           <key>file</key><integer>0</integer>
1878          </dict>
1879         </array>
1880       </dict>
1881      </array>
1882    </dict>
1883    <dict>
1884     <key>kind</key><string>control</string>
1885     <key>edges</key>
1886      <array>
1887       <dict>
1888        <key>start</key>
1889         <array>
1890          <dict>
1891           <key>line</key><integer>83</integer>
1892           <key>col</key><integer>3</integer>
1893           <key>file</key><integer>0</integer>
1894          </dict>
1895          <dict>
1896           <key>line</key><integer>83</integer>
1897           <key>col</key><integer>3</integer>
1898           <key>file</key><integer>0</integer>
1899          </dict>
1900         </array>
1901        <key>end</key>
1902         <array>
1903          <dict>
1904           <key>line</key><integer>83</integer>
1905           <key>col</key><integer>6</integer>
1906           <key>file</key><integer>0</integer>
1907          </dict>
1908          <dict>
1909           <key>line</key><integer>83</integer>
1910           <key>col</key><integer>6</integer>
1911           <key>file</key><integer>0</integer>
1912          </dict>
1913         </array>
1914       </dict>
1915      </array>
1916    </dict>
1917    <dict>
1918     <key>kind</key><string>event</string>
1919     <key>location</key>
1920     <dict>
1921      <key>line</key><integer>83</integer>
1922      <key>col</key><integer>6</integer>
1923      <key>file</key><integer>0</integer>
1924     </dict>
1925     <key>ranges</key>
1926     <array>
1927       <array>
1928        <dict>
1929         <key>line</key><integer>83</integer>
1930         <key>col</key><integer>4</integer>
1931         <key>file</key><integer>0</integer>
1932        </dict>
1933        <dict>
1934         <key>line</key><integer>83</integer>
1935         <key>col</key><integer>4</integer>
1936         <key>file</key><integer>0</integer>
1937        </dict>
1938       </array>
1939     </array>
1940     <key>depth</key><integer>0</integer>
1941     <key>extended_message</key>
1942     <string>Dereference of null pointer (loaded from variable &apos;a&apos;)</string>
1943     <key>message</key>
1944     <string>Dereference of null pointer (loaded from variable &apos;a&apos;)</string>
1945    </dict>
1946   </array>
1947   <key>description</key><string>Dereference of null pointer (loaded from variable &apos;a&apos;)</string>
1948   <key>category</key><string>Logic error</string>
1949   <key>type</key><string>Dereference of null pointer</string>
1950   <key>check_name</key><string>core.NullDereference</string>
1951   <!-- This hash is experimental and going to change! -->
1952   <key>issue_hash_content_of_line_in_context</key><string>6d3745ba4b32e1858de16c61fecf8ed4</string>
1953  <key>issue_context_kind</key><string>function</string>
1954  <key>issue_context</key><string>testInitZero</string>
1955  <key>issue_hash_function_offset</key><string>5</string>
1956  <key>location</key>
1957  <dict>
1958   <key>line</key><integer>83</integer>
1959   <key>col</key><integer>6</integer>
1960   <key>file</key><integer>0</integer>
1961  </dict>
1962  <key>ExecutedLines</key>
1963  <dict>
1964   <key>0</key>
1965   <array>
1966    <integer>56</integer>
1967    <integer>57</integer>
1968    <integer>60</integer>
1969    <integer>78</integer>
1970    <integer>79</integer>
1971    <integer>83</integer>
1972   </array>
1973  </dict>
1974  </dict>
1975  <dict>
1976   <key>path</key>
1977   <array>
1978    <dict>
1979     <key>kind</key><string>control</string>
1980     <key>edges</key>
1981      <array>
1982       <dict>
1983        <key>start</key>
1984         <array>
1985          <dict>
1986           <key>line</key><integer>88</integer>
1987           <key>col</key><integer>3</integer>
1988           <key>file</key><integer>0</integer>
1989          </dict>
1990          <dict>
1991           <key>line</key><integer>88</integer>
1992           <key>col</key><integer>3</integer>
1993           <key>file</key><integer>0</integer>
1994          </dict>
1995         </array>
1996        <key>end</key>
1997         <array>
1998          <dict>
1999           <key>line</key><integer>88</integer>
2000           <key>col</key><integer>7</integer>
2001           <key>file</key><integer>0</integer>
2002          </dict>
2003          <dict>
2004           <key>line</key><integer>88</integer>
2005           <key>col</key><integer>13</integer>
2006           <key>file</key><integer>0</integer>
2007          </dict>
2008         </array>
2009       </dict>
2010      </array>
2011    </dict>
2012    <dict>
2013     <key>kind</key><string>event</string>
2014     <key>location</key>
2015     <dict>
2016      <key>line</key><integer>88</integer>
2017      <key>col</key><integer>7</integer>
2018      <key>file</key><integer>0</integer>
2019     </dict>
2020     <key>ranges</key>
2021     <array>
2022       <array>
2023        <dict>
2024         <key>line</key><integer>88</integer>
2025         <key>col</key><integer>7</integer>
2026         <key>file</key><integer>0</integer>
2027        </dict>
2028        <dict>
2029         <key>line</key><integer>88</integer>
2030         <key>col</key><integer>15</integer>
2031         <key>file</key><integer>0</integer>
2032        </dict>
2033       </array>
2034     </array>
2035     <key>depth</key><integer>0</integer>
2036     <key>extended_message</key>
2037     <string>Calling &apos;getZero&apos;</string>
2038     <key>message</key>
2039     <string>Calling &apos;getZero&apos;</string>
2040    </dict>
2041    <dict>
2042     <key>kind</key><string>event</string>
2043     <key>location</key>
2044     <dict>
2045      <key>line</key><integer>56</integer>
2046      <key>col</key><integer>1</integer>
2047      <key>file</key><integer>0</integer>
2048     </dict>
2049     <key>depth</key><integer>1</integer>
2050     <key>extended_message</key>
2051     <string>Entered call from &apos;testStoreZero&apos;</string>
2052     <key>message</key>
2053     <string>Entered call from &apos;testStoreZero&apos;</string>
2054    </dict>
2055    <dict>
2056     <key>kind</key><string>control</string>
2057     <key>edges</key>
2058      <array>
2059       <dict>
2060        <key>start</key>
2061         <array>
2062          <dict>
2063           <key>line</key><integer>56</integer>
2064           <key>col</key><integer>1</integer>
2065           <key>file</key><integer>0</integer>
2066          </dict>
2067          <dict>
2068           <key>line</key><integer>56</integer>
2069           <key>col</key><integer>3</integer>
2070           <key>file</key><integer>0</integer>
2071          </dict>
2072         </array>
2073        <key>end</key>
2074         <array>
2075          <dict>
2076           <key>line</key><integer>57</integer>
2077           <key>col</key><integer>3</integer>
2078           <key>file</key><integer>0</integer>
2079          </dict>
2080          <dict>
2081           <key>line</key><integer>57</integer>
2082           <key>col</key><integer>5</integer>
2083           <key>file</key><integer>0</integer>
2084          </dict>
2085         </array>
2086       </dict>
2087      </array>
2088    </dict>
2089    <dict>
2090     <key>kind</key><string>event</string>
2091     <key>location</key>
2092     <dict>
2093      <key>line</key><integer>57</integer>
2094      <key>col</key><integer>3</integer>
2095      <key>file</key><integer>0</integer>
2096     </dict>
2097     <key>ranges</key>
2098     <array>
2099       <array>
2100        <dict>
2101         <key>line</key><integer>57</integer>
2102         <key>col</key><integer>3</integer>
2103         <key>file</key><integer>0</integer>
2104        </dict>
2105        <dict>
2106         <key>line</key><integer>57</integer>
2107         <key>col</key><integer>8</integer>
2108         <key>file</key><integer>0</integer>
2109        </dict>
2110       </array>
2111     </array>
2112     <key>depth</key><integer>1</integer>
2113     <key>extended_message</key>
2114     <string>&apos;p&apos; initialized to a null pointer value</string>
2115     <key>message</key>
2116     <string>&apos;p&apos; initialized to a null pointer value</string>
2117    </dict>
2118    <dict>
2119     <key>kind</key><string>control</string>
2120     <key>edges</key>
2121      <array>
2122       <dict>
2123        <key>start</key>
2124         <array>
2125          <dict>
2126           <key>line</key><integer>57</integer>
2127           <key>col</key><integer>3</integer>
2128           <key>file</key><integer>0</integer>
2129          </dict>
2130          <dict>
2131           <key>line</key><integer>57</integer>
2132           <key>col</key><integer>5</integer>
2133           <key>file</key><integer>0</integer>
2134          </dict>
2135         </array>
2136        <key>end</key>
2137         <array>
2138          <dict>
2139           <key>line</key><integer>60</integer>
2140           <key>col</key><integer>3</integer>
2141           <key>file</key><integer>0</integer>
2142          </dict>
2143          <dict>
2144           <key>line</key><integer>60</integer>
2145           <key>col</key><integer>8</integer>
2146           <key>file</key><integer>0</integer>
2147          </dict>
2148         </array>
2149       </dict>
2150      </array>
2151    </dict>
2152    <dict>
2153     <key>kind</key><string>event</string>
2154     <key>location</key>
2155     <dict>
2156      <key>line</key><integer>60</integer>
2157      <key>col</key><integer>3</integer>
2158      <key>file</key><integer>0</integer>
2159     </dict>
2160     <key>ranges</key>
2161     <array>
2162       <array>
2163        <dict>
2164         <key>line</key><integer>60</integer>
2165         <key>col</key><integer>3</integer>
2166         <key>file</key><integer>0</integer>
2167        </dict>
2168        <dict>
2169         <key>line</key><integer>60</integer>
2170         <key>col</key><integer>10</integer>
2171         <key>file</key><integer>0</integer>
2172        </dict>
2173       </array>
2174     </array>
2175     <key>depth</key><integer>1</integer>
2176     <key>extended_message</key>
2177     <string>Returning null pointer (loaded from &apos;p&apos;)</string>
2178     <key>message</key>
2179     <string>Returning null pointer (loaded from &apos;p&apos;)</string>
2180    </dict>
2181    <dict>
2182     <key>kind</key><string>event</string>
2183     <key>location</key>
2184     <dict>
2185      <key>line</key><integer>88</integer>
2186      <key>col</key><integer>7</integer>
2187      <key>file</key><integer>0</integer>
2188     </dict>
2189     <key>ranges</key>
2190     <array>
2191       <array>
2192        <dict>
2193         <key>line</key><integer>88</integer>
2194         <key>col</key><integer>7</integer>
2195         <key>file</key><integer>0</integer>
2196        </dict>
2197        <dict>
2198         <key>line</key><integer>88</integer>
2199         <key>col</key><integer>15</integer>
2200         <key>file</key><integer>0</integer>
2201        </dict>
2202       </array>
2203     </array>
2204     <key>depth</key><integer>0</integer>
2205     <key>extended_message</key>
2206     <string>Returning from &apos;getZero&apos;</string>
2207     <key>message</key>
2208     <string>Returning from &apos;getZero&apos;</string>
2209    </dict>
2210    <dict>
2211     <key>kind</key><string>control</string>
2212     <key>edges</key>
2213      <array>
2214       <dict>
2215        <key>start</key>
2216         <array>
2217          <dict>
2218           <key>line</key><integer>88</integer>
2219           <key>col</key><integer>7</integer>
2220           <key>file</key><integer>0</integer>
2221          </dict>
2222          <dict>
2223           <key>line</key><integer>88</integer>
2224           <key>col</key><integer>13</integer>
2225           <key>file</key><integer>0</integer>
2226          </dict>
2227         </array>
2228        <key>end</key>
2229         <array>
2230          <dict>
2231           <key>line</key><integer>88</integer>
2232           <key>col</key><integer>3</integer>
2233           <key>file</key><integer>0</integer>
2234          </dict>
2235          <dict>
2236           <key>line</key><integer>88</integer>
2237           <key>col</key><integer>3</integer>
2238           <key>file</key><integer>0</integer>
2239          </dict>
2240         </array>
2241       </dict>
2242      </array>
2243    </dict>
2244    <dict>
2245     <key>kind</key><string>event</string>
2246     <key>location</key>
2247     <dict>
2248      <key>line</key><integer>88</integer>
2249      <key>col</key><integer>3</integer>
2250      <key>file</key><integer>0</integer>
2251     </dict>
2252     <key>ranges</key>
2253     <array>
2254       <array>
2255        <dict>
2256         <key>line</key><integer>88</integer>
2257         <key>col</key><integer>3</integer>
2258         <key>file</key><integer>0</integer>
2259        </dict>
2260        <dict>
2261         <key>line</key><integer>88</integer>
2262         <key>col</key><integer>15</integer>
2263         <key>file</key><integer>0</integer>
2264        </dict>
2265       </array>
2266     </array>
2267     <key>depth</key><integer>0</integer>
2268     <key>extended_message</key>
2269     <string>Null pointer value stored to &apos;a&apos;</string>
2270     <key>message</key>
2271     <string>Null pointer value stored to &apos;a&apos;</string>
2272    </dict>
2273    <dict>
2274     <key>kind</key><string>control</string>
2275     <key>edges</key>
2276      <array>
2277       <dict>
2278        <key>start</key>
2279         <array>
2280          <dict>
2281           <key>line</key><integer>88</integer>
2282           <key>col</key><integer>3</integer>
2283           <key>file</key><integer>0</integer>
2284          </dict>
2285          <dict>
2286           <key>line</key><integer>88</integer>
2287           <key>col</key><integer>3</integer>
2288           <key>file</key><integer>0</integer>
2289          </dict>
2290         </array>
2291        <key>end</key>
2292         <array>
2293          <dict>
2294           <key>line</key><integer>92</integer>
2295           <key>col</key><integer>3</integer>
2296           <key>file</key><integer>0</integer>
2297          </dict>
2298          <dict>
2299           <key>line</key><integer>92</integer>
2300           <key>col</key><integer>3</integer>
2301           <key>file</key><integer>0</integer>
2302          </dict>
2303         </array>
2304       </dict>
2305      </array>
2306    </dict>
2307    <dict>
2308     <key>kind</key><string>control</string>
2309     <key>edges</key>
2310      <array>
2311       <dict>
2312        <key>start</key>
2313         <array>
2314          <dict>
2315           <key>line</key><integer>92</integer>
2316           <key>col</key><integer>3</integer>
2317           <key>file</key><integer>0</integer>
2318          </dict>
2319          <dict>
2320           <key>line</key><integer>92</integer>
2321           <key>col</key><integer>3</integer>
2322           <key>file</key><integer>0</integer>
2323          </dict>
2324         </array>
2325        <key>end</key>
2326         <array>
2327          <dict>
2328           <key>line</key><integer>92</integer>
2329           <key>col</key><integer>6</integer>
2330           <key>file</key><integer>0</integer>
2331          </dict>
2332          <dict>
2333           <key>line</key><integer>92</integer>
2334           <key>col</key><integer>6</integer>
2335           <key>file</key><integer>0</integer>
2336          </dict>
2337         </array>
2338       </dict>
2339      </array>
2340    </dict>
2341    <dict>
2342     <key>kind</key><string>event</string>
2343     <key>location</key>
2344     <dict>
2345      <key>line</key><integer>92</integer>
2346      <key>col</key><integer>6</integer>
2347      <key>file</key><integer>0</integer>
2348     </dict>
2349     <key>ranges</key>
2350     <array>
2351       <array>
2352        <dict>
2353         <key>line</key><integer>92</integer>
2354         <key>col</key><integer>4</integer>
2355         <key>file</key><integer>0</integer>
2356        </dict>
2357        <dict>
2358         <key>line</key><integer>92</integer>
2359         <key>col</key><integer>4</integer>
2360         <key>file</key><integer>0</integer>
2361        </dict>
2362       </array>
2363     </array>
2364     <key>depth</key><integer>0</integer>
2365     <key>extended_message</key>
2366     <string>Dereference of null pointer (loaded from variable &apos;a&apos;)</string>
2367     <key>message</key>
2368     <string>Dereference of null pointer (loaded from variable &apos;a&apos;)</string>
2369    </dict>
2370   </array>
2371   <key>description</key><string>Dereference of null pointer (loaded from variable &apos;a&apos;)</string>
2372   <key>category</key><string>Logic error</string>
2373   <key>type</key><string>Dereference of null pointer</string>
2374   <key>check_name</key><string>core.NullDereference</string>
2375   <!-- This hash is experimental and going to change! -->
2376   <key>issue_hash_content_of_line_in_context</key><string>2d25b170621486480ca76aaba4c7a0c0</string>
2377  <key>issue_context_kind</key><string>function</string>
2378  <key>issue_context</key><string>testStoreZero</string>
2379  <key>issue_hash_function_offset</key><string>5</string>
2380  <key>location</key>
2381  <dict>
2382   <key>line</key><integer>92</integer>
2383   <key>col</key><integer>6</integer>
2384   <key>file</key><integer>0</integer>
2385  </dict>
2386  <key>ExecutedLines</key>
2387  <dict>
2388   <key>0</key>
2389   <array>
2390    <integer>56</integer>
2391    <integer>57</integer>
2392    <integer>60</integer>
2393    <integer>87</integer>
2394    <integer>88</integer>
2395    <integer>92</integer>
2396   </array>
2397  </dict>
2398  </dict>
2399  <dict>
2400   <key>path</key>
2401   <array>
2402    <dict>
2403     <key>kind</key><string>control</string>
2404     <key>edges</key>
2405      <array>
2406       <dict>
2407        <key>start</key>
2408         <array>
2409          <dict>
2410           <key>line</key><integer>103</integer>
2411           <key>col</key><integer>3</integer>
2412           <key>file</key><integer>0</integer>
2413          </dict>
2414          <dict>
2415           <key>line</key><integer>103</integer>
2416           <key>col</key><integer>12</integer>
2417           <key>file</key><integer>0</integer>
2418          </dict>
2419         </array>
2420        <key>end</key>
2421         <array>
2422          <dict>
2423           <key>line</key><integer>103</integer>
2424           <key>col</key><integer>14</integer>
2425           <key>file</key><integer>0</integer>
2426          </dict>
2427          <dict>
2428           <key>line</key><integer>103</integer>
2429           <key>col</key><integer>20</integer>
2430           <key>file</key><integer>0</integer>
2431          </dict>
2432         </array>
2433       </dict>
2434      </array>
2435    </dict>
2436    <dict>
2437     <key>kind</key><string>event</string>
2438     <key>location</key>
2439     <dict>
2440      <key>line</key><integer>103</integer>
2441      <key>col</key><integer>14</integer>
2442      <key>file</key><integer>0</integer>
2443     </dict>
2444     <key>ranges</key>
2445     <array>
2446       <array>
2447        <dict>
2448         <key>line</key><integer>103</integer>
2449         <key>col</key><integer>14</integer>
2450         <key>file</key><integer>0</integer>
2451        </dict>
2452        <dict>
2453         <key>line</key><integer>103</integer>
2454         <key>col</key><integer>22</integer>
2455         <key>file</key><integer>0</integer>
2456        </dict>
2457       </array>
2458     </array>
2459     <key>depth</key><integer>0</integer>
2460     <key>extended_message</key>
2461     <string>Calling &apos;getZero&apos;</string>
2462     <key>message</key>
2463     <string>Calling &apos;getZero&apos;</string>
2464    </dict>
2465    <dict>
2466     <key>kind</key><string>event</string>
2467     <key>location</key>
2468     <dict>
2469      <key>line</key><integer>56</integer>
2470      <key>col</key><integer>1</integer>
2471      <key>file</key><integer>0</integer>
2472     </dict>
2473     <key>depth</key><integer>1</integer>
2474     <key>extended_message</key>
2475     <string>Entered call from &apos;testUseOfNullPointer&apos;</string>
2476     <key>message</key>
2477     <string>Entered call from &apos;testUseOfNullPointer&apos;</string>
2478    </dict>
2479    <dict>
2480     <key>kind</key><string>control</string>
2481     <key>edges</key>
2482      <array>
2483       <dict>
2484        <key>start</key>
2485         <array>
2486          <dict>
2487           <key>line</key><integer>56</integer>
2488           <key>col</key><integer>1</integer>
2489           <key>file</key><integer>0</integer>
2490          </dict>
2491          <dict>
2492           <key>line</key><integer>56</integer>
2493           <key>col</key><integer>3</integer>
2494           <key>file</key><integer>0</integer>
2495          </dict>
2496         </array>
2497        <key>end</key>
2498         <array>
2499          <dict>
2500           <key>line</key><integer>57</integer>
2501           <key>col</key><integer>3</integer>
2502           <key>file</key><integer>0</integer>
2503          </dict>
2504          <dict>
2505           <key>line</key><integer>57</integer>
2506           <key>col</key><integer>5</integer>
2507           <key>file</key><integer>0</integer>
2508          </dict>
2509         </array>
2510       </dict>
2511      </array>
2512    </dict>
2513    <dict>
2514     <key>kind</key><string>event</string>
2515     <key>location</key>
2516     <dict>
2517      <key>line</key><integer>57</integer>
2518      <key>col</key><integer>3</integer>
2519      <key>file</key><integer>0</integer>
2520     </dict>
2521     <key>ranges</key>
2522     <array>
2523       <array>
2524        <dict>
2525         <key>line</key><integer>57</integer>
2526         <key>col</key><integer>3</integer>
2527         <key>file</key><integer>0</integer>
2528        </dict>
2529        <dict>
2530         <key>line</key><integer>57</integer>
2531         <key>col</key><integer>8</integer>
2532         <key>file</key><integer>0</integer>
2533        </dict>
2534       </array>
2535     </array>
2536     <key>depth</key><integer>1</integer>
2537     <key>extended_message</key>
2538     <string>&apos;p&apos; initialized to a null pointer value</string>
2539     <key>message</key>
2540     <string>&apos;p&apos; initialized to a null pointer value</string>
2541    </dict>
2542    <dict>
2543     <key>kind</key><string>control</string>
2544     <key>edges</key>
2545      <array>
2546       <dict>
2547        <key>start</key>
2548         <array>
2549          <dict>
2550           <key>line</key><integer>57</integer>
2551           <key>col</key><integer>3</integer>
2552           <key>file</key><integer>0</integer>
2553          </dict>
2554          <dict>
2555           <key>line</key><integer>57</integer>
2556           <key>col</key><integer>5</integer>
2557           <key>file</key><integer>0</integer>
2558          </dict>
2559         </array>
2560        <key>end</key>
2561         <array>
2562          <dict>
2563           <key>line</key><integer>60</integer>
2564           <key>col</key><integer>3</integer>
2565           <key>file</key><integer>0</integer>
2566          </dict>
2567          <dict>
2568           <key>line</key><integer>60</integer>
2569           <key>col</key><integer>8</integer>
2570           <key>file</key><integer>0</integer>
2571          </dict>
2572         </array>
2573       </dict>
2574      </array>
2575    </dict>
2576    <dict>
2577     <key>kind</key><string>event</string>
2578     <key>location</key>
2579     <dict>
2580      <key>line</key><integer>60</integer>
2581      <key>col</key><integer>3</integer>
2582      <key>file</key><integer>0</integer>
2583     </dict>
2584     <key>ranges</key>
2585     <array>
2586       <array>
2587        <dict>
2588         <key>line</key><integer>60</integer>
2589         <key>col</key><integer>3</integer>
2590         <key>file</key><integer>0</integer>
2591        </dict>
2592        <dict>
2593         <key>line</key><integer>60</integer>
2594         <key>col</key><integer>10</integer>
2595         <key>file</key><integer>0</integer>
2596        </dict>
2597       </array>
2598     </array>
2599     <key>depth</key><integer>1</integer>
2600     <key>extended_message</key>
2601     <string>Returning null pointer (loaded from &apos;p&apos;)</string>
2602     <key>message</key>
2603     <string>Returning null pointer (loaded from &apos;p&apos;)</string>
2604    </dict>
2605    <dict>
2606     <key>kind</key><string>event</string>
2607     <key>location</key>
2608     <dict>
2609      <key>line</key><integer>103</integer>
2610      <key>col</key><integer>14</integer>
2611      <key>file</key><integer>0</integer>
2612     </dict>
2613     <key>ranges</key>
2614     <array>
2615       <array>
2616        <dict>
2617         <key>line</key><integer>103</integer>
2618         <key>col</key><integer>14</integer>
2619         <key>file</key><integer>0</integer>
2620        </dict>
2621        <dict>
2622         <key>line</key><integer>103</integer>
2623         <key>col</key><integer>22</integer>
2624         <key>file</key><integer>0</integer>
2625        </dict>
2626       </array>
2627     </array>
2628     <key>depth</key><integer>0</integer>
2629     <key>extended_message</key>
2630     <string>Returning from &apos;getZero&apos;</string>
2631     <key>message</key>
2632     <string>Returning from &apos;getZero&apos;</string>
2633    </dict>
2634    <dict>
2635     <key>kind</key><string>event</string>
2636     <key>location</key>
2637     <dict>
2638      <key>line</key><integer>103</integer>
2639      <key>col</key><integer>14</integer>
2640      <key>file</key><integer>0</integer>
2641     </dict>
2642     <key>ranges</key>
2643     <array>
2644       <array>
2645        <dict>
2646         <key>line</key><integer>103</integer>
2647         <key>col</key><integer>14</integer>
2648         <key>file</key><integer>0</integer>
2649        </dict>
2650        <dict>
2651         <key>line</key><integer>103</integer>
2652         <key>col</key><integer>22</integer>
2653         <key>file</key><integer>0</integer>
2654        </dict>
2655       </array>
2656     </array>
2657     <key>depth</key><integer>0</integer>
2658     <key>extended_message</key>
2659     <string>Passing null pointer value via 1st parameter &apos;p&apos;</string>
2660     <key>message</key>
2661     <string>Passing null pointer value via 1st parameter &apos;p&apos;</string>
2662    </dict>
2663    <dict>
2664     <key>kind</key><string>control</string>
2665     <key>edges</key>
2666      <array>
2667       <dict>
2668        <key>start</key>
2669         <array>
2670          <dict>
2671           <key>line</key><integer>103</integer>
2672           <key>col</key><integer>14</integer>
2673           <key>file</key><integer>0</integer>
2674          </dict>
2675          <dict>
2676           <key>line</key><integer>103</integer>
2677           <key>col</key><integer>20</integer>
2678           <key>file</key><integer>0</integer>
2679          </dict>
2680         </array>
2681        <key>end</key>
2682         <array>
2683          <dict>
2684           <key>line</key><integer>103</integer>
2685           <key>col</key><integer>3</integer>
2686           <key>file</key><integer>0</integer>
2687          </dict>
2688          <dict>
2689           <key>line</key><integer>103</integer>
2690           <key>col</key><integer>12</integer>
2691           <key>file</key><integer>0</integer>
2692          </dict>
2693         </array>
2694       </dict>
2695      </array>
2696    </dict>
2697    <dict>
2698     <key>kind</key><string>event</string>
2699     <key>location</key>
2700     <dict>
2701      <key>line</key><integer>103</integer>
2702      <key>col</key><integer>3</integer>
2703      <key>file</key><integer>0</integer>
2704     </dict>
2705     <key>ranges</key>
2706     <array>
2707       <array>
2708        <dict>
2709         <key>line</key><integer>103</integer>
2710         <key>col</key><integer>3</integer>
2711         <key>file</key><integer>0</integer>
2712        </dict>
2713        <dict>
2714         <key>line</key><integer>103</integer>
2715         <key>col</key><integer>23</integer>
2716         <key>file</key><integer>0</integer>
2717        </dict>
2718       </array>
2719     </array>
2720     <key>depth</key><integer>0</integer>
2721     <key>extended_message</key>
2722     <string>Calling &apos;usePointer&apos;</string>
2723     <key>message</key>
2724     <string>Calling &apos;usePointer&apos;</string>
2725    </dict>
2726    <dict>
2727     <key>kind</key><string>event</string>
2728     <key>location</key>
2729     <dict>
2730      <key>line</key><integer>96</integer>
2731      <key>col</key><integer>1</integer>
2732      <key>file</key><integer>0</integer>
2733     </dict>
2734     <key>depth</key><integer>1</integer>
2735     <key>extended_message</key>
2736     <string>Entered call from &apos;testUseOfNullPointer&apos;</string>
2737     <key>message</key>
2738     <string>Entered call from &apos;testUseOfNullPointer&apos;</string>
2739    </dict>
2740    <dict>
2741     <key>kind</key><string>control</string>
2742     <key>edges</key>
2743      <array>
2744       <dict>
2745        <key>start</key>
2746         <array>
2747          <dict>
2748           <key>line</key><integer>96</integer>
2749           <key>col</key><integer>1</integer>
2750           <key>file</key><integer>0</integer>
2751          </dict>
2752          <dict>
2753           <key>line</key><integer>96</integer>
2754           <key>col</key><integer>4</integer>
2755           <key>file</key><integer>0</integer>
2756          </dict>
2757         </array>
2758        <key>end</key>
2759         <array>
2760          <dict>
2761           <key>line</key><integer>97</integer>
2762           <key>col</key><integer>3</integer>
2763           <key>file</key><integer>0</integer>
2764          </dict>
2765          <dict>
2766           <key>line</key><integer>97</integer>
2767           <key>col</key><integer>3</integer>
2768           <key>file</key><integer>0</integer>
2769          </dict>
2770         </array>
2771       </dict>
2772      </array>
2773    </dict>
2774    <dict>
2775     <key>kind</key><string>control</string>
2776     <key>edges</key>
2777      <array>
2778       <dict>
2779        <key>start</key>
2780         <array>
2781          <dict>
2782           <key>line</key><integer>97</integer>
2783           <key>col</key><integer>3</integer>
2784           <key>file</key><integer>0</integer>
2785          </dict>
2786          <dict>
2787           <key>line</key><integer>97</integer>
2788           <key>col</key><integer>3</integer>
2789           <key>file</key><integer>0</integer>
2790          </dict>
2791         </array>
2792        <key>end</key>
2793         <array>
2794          <dict>
2795           <key>line</key><integer>97</integer>
2796           <key>col</key><integer>6</integer>
2797           <key>file</key><integer>0</integer>
2798          </dict>
2799          <dict>
2800           <key>line</key><integer>97</integer>
2801           <key>col</key><integer>6</integer>
2802           <key>file</key><integer>0</integer>
2803          </dict>
2804         </array>
2805       </dict>
2806      </array>
2807    </dict>
2808    <dict>
2809     <key>kind</key><string>event</string>
2810     <key>location</key>
2811     <dict>
2812      <key>line</key><integer>97</integer>
2813      <key>col</key><integer>6</integer>
2814      <key>file</key><integer>0</integer>
2815     </dict>
2816     <key>ranges</key>
2817     <array>
2818       <array>
2819        <dict>
2820         <key>line</key><integer>97</integer>
2821         <key>col</key><integer>4</integer>
2822         <key>file</key><integer>0</integer>
2823        </dict>
2824        <dict>
2825         <key>line</key><integer>97</integer>
2826         <key>col</key><integer>4</integer>
2827         <key>file</key><integer>0</integer>
2828        </dict>
2829       </array>
2830     </array>
2831     <key>depth</key><integer>1</integer>
2832     <key>extended_message</key>
2833     <string>Dereference of null pointer (loaded from variable &apos;p&apos;)</string>
2834     <key>message</key>
2835     <string>Dereference of null pointer (loaded from variable &apos;p&apos;)</string>
2836    </dict>
2837   </array>
2838   <key>description</key><string>Dereference of null pointer (loaded from variable &apos;p&apos;)</string>
2839   <key>category</key><string>Logic error</string>
2840   <key>type</key><string>Dereference of null pointer</string>
2841   <key>check_name</key><string>core.NullDereference</string>
2842   <!-- This hash is experimental and going to change! -->
2843   <key>issue_hash_content_of_line_in_context</key><string>567151df0ae29b0f0e1a412114d544dc</string>
2844  <key>issue_context_kind</key><string>function</string>
2845  <key>issue_context</key><string>usePointer</string>
2846  <key>issue_hash_function_offset</key><string>1</string>
2847  <key>location</key>
2848  <dict>
2849   <key>line</key><integer>97</integer>
2850   <key>col</key><integer>6</integer>
2851   <key>file</key><integer>0</integer>
2852  </dict>
2853  <key>ExecutedLines</key>
2854  <dict>
2855   <key>0</key>
2856   <array>
2857    <integer>56</integer>
2858    <integer>57</integer>
2859    <integer>60</integer>
2860    <integer>96</integer>
2861    <integer>97</integer>
2862    <integer>101</integer>
2863    <integer>103</integer>
2864   </array>
2865  </dict>
2866  </dict>
2867  <dict>
2868   <key>path</key>
2869   <array>
2870    <dict>
2871     <key>kind</key><string>event</string>
2872     <key>location</key>
2873     <dict>
2874      <key>line</key><integer>117</integer>
2875      <key>col</key><integer>3</integer>
2876      <key>file</key><integer>0</integer>
2877     </dict>
2878     <key>ranges</key>
2879     <array>
2880       <array>
2881        <dict>
2882         <key>line</key><integer>117</integer>
2883         <key>col</key><integer>3</integer>
2884         <key>file</key><integer>0</integer>
2885        </dict>
2886        <dict>
2887         <key>line</key><integer>117</integer>
2888         <key>col</key><integer>19</integer>
2889         <key>file</key><integer>0</integer>
2890        </dict>
2891       </array>
2892     </array>
2893     <key>depth</key><integer>0</integer>
2894     <key>extended_message</key>
2895     <string>Calling &apos;setFieldToNull&apos;</string>
2896     <key>message</key>
2897     <string>Calling &apos;setFieldToNull&apos;</string>
2898    </dict>
2899    <dict>
2900     <key>kind</key><string>event</string>
2901     <key>location</key>
2902     <dict>
2903      <key>line</key><integer>112</integer>
2904      <key>col</key><integer>1</integer>
2905      <key>file</key><integer>0</integer>
2906     </dict>
2907     <key>depth</key><integer>1</integer>
2908     <key>extended_message</key>
2909     <string>Entered call from &apos;testSetFieldToNull&apos;</string>
2910     <key>message</key>
2911     <string>Entered call from &apos;testSetFieldToNull&apos;</string>
2912    </dict>
2913    <dict>
2914     <key>kind</key><string>control</string>
2915     <key>edges</key>
2916      <array>
2917       <dict>
2918        <key>start</key>
2919         <array>
2920          <dict>
2921           <key>line</key><integer>112</integer>
2922           <key>col</key><integer>1</integer>
2923           <key>file</key><integer>0</integer>
2924          </dict>
2925          <dict>
2926           <key>line</key><integer>112</integer>
2927           <key>col</key><integer>4</integer>
2928           <key>file</key><integer>0</integer>
2929          </dict>
2930         </array>
2931        <key>end</key>
2932         <array>
2933          <dict>
2934           <key>line</key><integer>113</integer>
2935           <key>col</key><integer>2</integer>
2936           <key>file</key><integer>0</integer>
2937          </dict>
2938          <dict>
2939           <key>line</key><integer>113</integer>
2940           <key>col</key><integer>2</integer>
2941           <key>file</key><integer>0</integer>
2942          </dict>
2943         </array>
2944       </dict>
2945      </array>
2946    </dict>
2947    <dict>
2948     <key>kind</key><string>event</string>
2949     <key>location</key>
2950     <dict>
2951      <key>line</key><integer>113</integer>
2952      <key>col</key><integer>2</integer>
2953      <key>file</key><integer>0</integer>
2954     </dict>
2955     <key>ranges</key>
2956     <array>
2957       <array>
2958        <dict>
2959         <key>line</key><integer>113</integer>
2960         <key>col</key><integer>2</integer>
2961         <key>file</key><integer>0</integer>
2962        </dict>
2963        <dict>
2964         <key>line</key><integer>113</integer>
2965         <key>col</key><integer>9</integer>
2966         <key>file</key><integer>0</integer>
2967        </dict>
2968       </array>
2969     </array>
2970     <key>depth</key><integer>1</integer>
2971     <key>extended_message</key>
2972     <string>Null pointer value stored to field &apos;p&apos;</string>
2973     <key>message</key>
2974     <string>Null pointer value stored to field &apos;p&apos;</string>
2975    </dict>
2976    <dict>
2977     <key>kind</key><string>event</string>
2978     <key>location</key>
2979     <dict>
2980      <key>line</key><integer>117</integer>
2981      <key>col</key><integer>3</integer>
2982      <key>file</key><integer>0</integer>
2983     </dict>
2984     <key>ranges</key>
2985     <array>
2986       <array>
2987        <dict>
2988         <key>line</key><integer>117</integer>
2989         <key>col</key><integer>3</integer>
2990         <key>file</key><integer>0</integer>
2991        </dict>
2992        <dict>
2993         <key>line</key><integer>117</integer>
2994         <key>col</key><integer>19</integer>
2995         <key>file</key><integer>0</integer>
2996        </dict>
2997       </array>
2998     </array>
2999     <key>depth</key><integer>0</integer>
3000     <key>extended_message</key>
3001     <string>Returning from &apos;setFieldToNull&apos;</string>
3002     <key>message</key>
3003     <string>Returning from &apos;setFieldToNull&apos;</string>
3004    </dict>
3005    <dict>
3006     <key>kind</key><string>control</string>
3007     <key>edges</key>
3008      <array>
3009       <dict>
3010        <key>start</key>
3011         <array>
3012          <dict>
3013           <key>line</key><integer>117</integer>
3014           <key>col</key><integer>3</integer>
3015           <key>file</key><integer>0</integer>
3016          </dict>
3017          <dict>
3018           <key>line</key><integer>117</integer>
3019           <key>col</key><integer>16</integer>
3020           <key>file</key><integer>0</integer>
3021          </dict>
3022         </array>
3023        <key>end</key>
3024         <array>
3025          <dict>
3026           <key>line</key><integer>119</integer>
3027           <key>col</key><integer>3</integer>
3028           <key>file</key><integer>0</integer>
3029          </dict>
3030          <dict>
3031           <key>line</key><integer>119</integer>
3032           <key>col</key><integer>8</integer>
3033           <key>file</key><integer>0</integer>
3034          </dict>
3035         </array>
3036       </dict>
3037      </array>
3038    </dict>
3039    <dict>
3040     <key>kind</key><string>control</string>
3041     <key>edges</key>
3042      <array>
3043       <dict>
3044        <key>start</key>
3045         <array>
3046          <dict>
3047           <key>line</key><integer>119</integer>
3048           <key>col</key><integer>3</integer>
3049           <key>file</key><integer>0</integer>
3050          </dict>
3051          <dict>
3052           <key>line</key><integer>119</integer>
3053           <key>col</key><integer>8</integer>
3054           <key>file</key><integer>0</integer>
3055          </dict>
3056         </array>
3057        <key>end</key>
3058         <array>
3059          <dict>
3060           <key>line</key><integer>119</integer>
3061           <key>col</key><integer>10</integer>
3062           <key>file</key><integer>0</integer>
3063          </dict>
3064          <dict>
3065           <key>line</key><integer>119</integer>
3066           <key>col</key><integer>10</integer>
3067           <key>file</key><integer>0</integer>
3068          </dict>
3069         </array>
3070       </dict>
3071      </array>
3072    </dict>
3073    <dict>
3074     <key>kind</key><string>event</string>
3075     <key>location</key>
3076     <dict>
3077      <key>line</key><integer>119</integer>
3078      <key>col</key><integer>10</integer>
3079      <key>file</key><integer>0</integer>
3080     </dict>
3081     <key>ranges</key>
3082     <array>
3083       <array>
3084        <dict>
3085         <key>line</key><integer>119</integer>
3086         <key>col</key><integer>14</integer>
3087         <key>file</key><integer>0</integer>
3088        </dict>
3089        <dict>
3090         <key>line</key><integer>119</integer>
3091         <key>col</key><integer>14</integer>
3092         <key>file</key><integer>0</integer>
3093        </dict>
3094       </array>
3095     </array>
3096     <key>depth</key><integer>0</integer>
3097     <key>extended_message</key>
3098     <string>Dereference of null pointer (loaded from field &apos;p&apos;)</string>
3099     <key>message</key>
3100     <string>Dereference of null pointer (loaded from field &apos;p&apos;)</string>
3101    </dict>
3102   </array>
3103   <key>description</key><string>Dereference of null pointer (loaded from field &apos;p&apos;)</string>
3104   <key>category</key><string>Logic error</string>
3105   <key>type</key><string>Dereference of null pointer</string>
3106   <key>check_name</key><string>core.NullDereference</string>
3107   <!-- This hash is experimental and going to change! -->
3108   <key>issue_hash_content_of_line_in_context</key><string>7849ab11af99aee1e3603a24ae95cdfd</string>
3109  <key>issue_context_kind</key><string>function</string>
3110  <key>issue_context</key><string>testSetFieldToNull</string>
3111  <key>issue_hash_function_offset</key><string>3</string>
3112  <key>location</key>
3113  <dict>
3114   <key>line</key><integer>119</integer>
3115   <key>col</key><integer>10</integer>
3116   <key>file</key><integer>0</integer>
3117  </dict>
3118  <key>ExecutedLines</key>
3119  <dict>
3120   <key>0</key>
3121   <array>
3122    <integer>112</integer>
3123    <integer>113</integer>
3124    <integer>116</integer>
3125    <integer>117</integer>
3126    <integer>119</integer>
3127   </array>
3128  </dict>
3129  </dict>
3130  <dict>
3131   <key>path</key>
3132   <array>
3133    <dict>
3134     <key>kind</key><string>event</string>
3135     <key>location</key>
3136     <dict>
3137      <key>line</key><integer>131</integer>
3138      <key>col</key><integer>3</integer>
3139      <key>file</key><integer>0</integer>
3140     </dict>
3141     <key>ranges</key>
3142     <array>
3143       <array>
3144        <dict>
3145         <key>line</key><integer>131</integer>
3146         <key>col</key><integer>3</integer>
3147         <key>file</key><integer>0</integer>
3148        </dict>
3149        <dict>
3150         <key>line</key><integer>131</integer>
3151         <key>col</key><integer>25</integer>
3152         <key>file</key><integer>0</integer>
3153        </dict>
3154       </array>
3155     </array>
3156     <key>depth</key><integer>0</integer>
3157     <key>extended_message</key>
3158     <string>Null pointer value stored to field &apos;p&apos;</string>
3159     <key>message</key>
3160     <string>Null pointer value stored to field &apos;p&apos;</string>
3161    </dict>
3162    <dict>
3163     <key>kind</key><string>control</string>
3164     <key>edges</key>
3165      <array>
3166       <dict>
3167        <key>start</key>
3168         <array>
3169          <dict>
3170           <key>line</key><integer>131</integer>
3171           <key>col</key><integer>3</integer>
3172           <key>file</key><integer>0</integer>
3173          </dict>
3174          <dict>
3175           <key>line</key><integer>131</integer>
3176           <key>col</key><integer>12</integer>
3177           <key>file</key><integer>0</integer>
3178          </dict>
3179         </array>
3180        <key>end</key>
3181         <array>
3182          <dict>
3183           <key>line</key><integer>132</integer>
3184           <key>col</key><integer>3</integer>
3185           <key>file</key><integer>0</integer>
3186          </dict>
3187          <dict>
3188           <key>line</key><integer>132</integer>
3189           <key>col</key><integer>3</integer>
3190           <key>file</key><integer>0</integer>
3191          </dict>
3192         </array>
3193       </dict>
3194      </array>
3195    </dict>
3196    <dict>
3197     <key>kind</key><string>control</string>
3198     <key>edges</key>
3199      <array>
3200       <dict>
3201        <key>start</key>
3202         <array>
3203          <dict>
3204           <key>line</key><integer>132</integer>
3205           <key>col</key><integer>3</integer>
3206           <key>file</key><integer>0</integer>
3207          </dict>
3208          <dict>
3209           <key>line</key><integer>132</integer>
3210           <key>col</key><integer>3</integer>
3211           <key>file</key><integer>0</integer>
3212          </dict>
3213         </array>
3214        <key>end</key>
3215         <array>
3216          <dict>
3217           <key>line</key><integer>132</integer>
3218           <key>col</key><integer>24</integer>
3219           <key>file</key><integer>0</integer>
3220          </dict>
3221          <dict>
3222           <key>line</key><integer>132</integer>
3223           <key>col</key><integer>24</integer>
3224           <key>file</key><integer>0</integer>
3225          </dict>
3226         </array>
3227       </dict>
3228      </array>
3229    </dict>
3230    <dict>
3231     <key>kind</key><string>event</string>
3232     <key>location</key>
3233     <dict>
3234      <key>line</key><integer>132</integer>
3235      <key>col</key><integer>24</integer>
3236      <key>file</key><integer>0</integer>
3237     </dict>
3238     <key>ranges</key>
3239     <array>
3240       <array>
3241        <dict>
3242         <key>line</key><integer>132</integer>
3243         <key>col</key><integer>22</integer>
3244         <key>file</key><integer>0</integer>
3245        </dict>
3246        <dict>
3247         <key>line</key><integer>132</integer>
3248         <key>col</key><integer>22</integer>
3249         <key>file</key><integer>0</integer>
3250        </dict>
3251       </array>
3252     </array>
3253     <key>depth</key><integer>0</integer>
3254     <key>extended_message</key>
3255     <string>Dereference of null pointer (loaded from field &apos;p&apos;)</string>
3256     <key>message</key>
3257     <string>Dereference of null pointer (loaded from field &apos;p&apos;)</string>
3258    </dict>
3259   </array>
3260   <key>description</key><string>Dereference of null pointer (loaded from field &apos;p&apos;)</string>
3261   <key>category</key><string>Logic error</string>
3262   <key>type</key><string>Dereference of null pointer</string>
3263   <key>check_name</key><string>core.NullDereference</string>
3264   <!-- This hash is experimental and going to change! -->
3265   <key>issue_hash_content_of_line_in_context</key><string>3ccb5e7e2cc82aba5c28a1cc873c83a1</string>
3266  <key>issue_context_kind</key><string>function</string>
3267  <key>issue_context</key><string>test</string>
3268  <key>issue_hash_function_offset</key><string>2</string>
3269  <key>location</key>
3270  <dict>
3271   <key>line</key><integer>132</integer>
3272   <key>col</key><integer>24</integer>
3273   <key>file</key><integer>0</integer>
3274  </dict>
3275  <key>ExecutedLines</key>
3276  <dict>
3277   <key>0</key>
3278   <array>
3279    <integer>130</integer>
3280    <integer>131</integer>
3281    <integer>132</integer>
3282   </array>
3283  </dict>
3284  </dict>
3285  <dict>
3286   <key>path</key>
3287   <array>
3288    <dict>
3289     <key>kind</key><string>control</string>
3290     <key>edges</key>
3291      <array>
3292       <dict>
3293        <key>start</key>
3294         <array>
3295          <dict>
3296           <key>line</key><integer>137</integer>
3297           <key>col</key><integer>3</integer>
3298           <key>file</key><integer>0</integer>
3299          </dict>
3300          <dict>
3301           <key>line</key><integer>137</integer>
3302           <key>col</key><integer>4</integer>
3303           <key>file</key><integer>0</integer>
3304          </dict>
3305         </array>
3306        <key>end</key>
3307         <array>
3308          <dict>
3309           <key>line</key><integer>137</integer>
3310           <key>col</key><integer>7</integer>
3311           <key>file</key><integer>0</integer>
3312          </dict>
3313          <dict>
3314           <key>line</key><integer>137</integer>
3315           <key>col</key><integer>7</integer>
3316           <key>file</key><integer>0</integer>
3317          </dict>
3318         </array>
3319       </dict>
3320      </array>
3321    </dict>
3322    <dict>
3323     <key>kind</key><string>event</string>
3324     <key>location</key>
3325     <dict>
3326      <key>line</key><integer>137</integer>
3327      <key>col</key><integer>7</integer>
3328      <key>file</key><integer>0</integer>
3329     </dict>
3330     <key>ranges</key>
3331     <array>
3332       <array>
3333        <dict>
3334         <key>line</key><integer>137</integer>
3335         <key>col</key><integer>7</integer>
3336         <key>file</key><integer>0</integer>
3337        </dict>
3338        <dict>
3339         <key>line</key><integer>137</integer>
3340         <key>col</key><integer>8</integer>
3341         <key>file</key><integer>0</integer>
3342        </dict>
3343       </array>
3344     </array>
3345     <key>depth</key><integer>0</integer>
3346     <key>extended_message</key>
3347     <string>Assuming pointer value is null</string>
3348     <key>message</key>
3349     <string>Assuming pointer value is null</string>
3350    </dict>
3351    <dict>
3352     <key>kind</key><string>control</string>
3353     <key>edges</key>
3354      <array>
3355       <dict>
3356        <key>start</key>
3357         <array>
3358          <dict>
3359           <key>line</key><integer>137</integer>
3360           <key>col</key><integer>7</integer>
3361           <key>file</key><integer>0</integer>
3362          </dict>
3363          <dict>
3364           <key>line</key><integer>137</integer>
3365           <key>col</key><integer>7</integer>
3366           <key>file</key><integer>0</integer>
3367          </dict>
3368         </array>
3369        <key>end</key>
3370         <array>
3371          <dict>
3372           <key>line</key><integer>139</integer>
3373           <key>col</key><integer>3</integer>
3374           <key>file</key><integer>0</integer>
3375          </dict>
3376          <dict>
3377           <key>line</key><integer>139</integer>
3378           <key>col</key><integer>3</integer>
3379           <key>file</key><integer>0</integer>
3380          </dict>
3381         </array>
3382       </dict>
3383      </array>
3384    </dict>
3385    <dict>
3386     <key>kind</key><string>control</string>
3387     <key>edges</key>
3388      <array>
3389       <dict>
3390        <key>start</key>
3391         <array>
3392          <dict>
3393           <key>line</key><integer>139</integer>
3394           <key>col</key><integer>3</integer>
3395           <key>file</key><integer>0</integer>
3396          </dict>
3397          <dict>
3398           <key>line</key><integer>139</integer>
3399           <key>col</key><integer>3</integer>
3400           <key>file</key><integer>0</integer>
3401          </dict>
3402         </array>
3403        <key>end</key>
3404         <array>
3405          <dict>
3406           <key>line</key><integer>139</integer>
3407           <key>col</key><integer>7</integer>
3408           <key>file</key><integer>0</integer>
3409          </dict>
3410          <dict>
3411           <key>line</key><integer>139</integer>
3412           <key>col</key><integer>7</integer>
3413           <key>file</key><integer>0</integer>
3414          </dict>
3415         </array>
3416       </dict>
3417      </array>
3418    </dict>
3419    <dict>
3420     <key>kind</key><string>event</string>
3421     <key>location</key>
3422     <dict>
3423      <key>line</key><integer>139</integer>
3424      <key>col</key><integer>7</integer>
3425      <key>file</key><integer>0</integer>
3426     </dict>
3427     <key>ranges</key>
3428     <array>
3429       <array>
3430        <dict>
3431         <key>line</key><integer>139</integer>
3432         <key>col</key><integer>3</integer>
3433         <key>file</key><integer>0</integer>
3434        </dict>
3435        <dict>
3436         <key>line</key><integer>139</integer>
3437         <key>col</key><integer>9</integer>
3438         <key>file</key><integer>0</integer>
3439        </dict>
3440       </array>
3441     </array>
3442     <key>depth</key><integer>0</integer>
3443     <key>extended_message</key>
3444     <string>Dereference of null pointer</string>
3445     <key>message</key>
3446     <string>Dereference of null pointer</string>
3447    </dict>
3448   </array>
3449   <key>description</key><string>Dereference of null pointer</string>
3450   <key>category</key><string>Logic error</string>
3451   <key>type</key><string>Dereference of null pointer</string>
3452   <key>check_name</key><string>core.NullDereference</string>
3453   <!-- This hash is experimental and going to change! -->
3454   <key>issue_hash_content_of_line_in_context</key><string>19292468c6c6f83fbbdb2ff072bb2ae8</string>
3455  <key>issue_context_kind</key><string>function</string>
3456  <key>issue_context</key><string>test4</string>
3457  <key>issue_hash_function_offset</key><string>3</string>
3458  <key>location</key>
3459  <dict>
3460   <key>line</key><integer>139</integer>
3461   <key>col</key><integer>7</integer>
3462   <key>file</key><integer>0</integer>
3463  </dict>
3464  <key>ExecutedLines</key>
3465  <dict>
3466   <key>0</key>
3467   <array>
3468    <integer>136</integer>
3469    <integer>137</integer>
3470    <integer>139</integer>
3471   </array>
3472  </dict>
3473  </dict>
3474  <dict>
3475   <key>path</key>
3476   <array>
3477    <dict>
3478     <key>kind</key><string>control</string>
3479     <key>edges</key>
3480      <array>
3481       <dict>
3482        <key>start</key>
3483         <array>
3484          <dict>
3485           <key>line</key><integer>152</integer>
3486           <key>col</key><integer>3</integer>
3487           <key>file</key><integer>0</integer>
3488          </dict>
3489          <dict>
3490           <key>line</key><integer>152</integer>
3491           <key>col</key><integer>5</integer>
3492           <key>file</key><integer>0</integer>
3493          </dict>
3494         </array>
3495        <key>end</key>
3496         <array>
3497          <dict>
3498           <key>line</key><integer>153</integer>
3499           <key>col</key><integer>3</integer>
3500           <key>file</key><integer>0</integer>
3501          </dict>
3502          <dict>
3503           <key>line</key><integer>153</integer>
3504           <key>col</key><integer>19</integer>
3505           <key>file</key><integer>0</integer>
3506          </dict>
3507         </array>
3508       </dict>
3509      </array>
3510    </dict>
3511    <dict>
3512     <key>kind</key><string>event</string>
3513     <key>location</key>
3514     <dict>
3515      <key>line</key><integer>153</integer>
3516      <key>col</key><integer>3</integer>
3517      <key>file</key><integer>0</integer>
3518     </dict>
3519     <key>ranges</key>
3520     <array>
3521       <array>
3522        <dict>
3523         <key>line</key><integer>153</integer>
3524         <key>col</key><integer>3</integer>
3525         <key>file</key><integer>0</integer>
3526        </dict>
3527        <dict>
3528         <key>line</key><integer>153</integer>
3529         <key>col</key><integer>23</integer>
3530         <key>file</key><integer>0</integer>
3531        </dict>
3532       </array>
3533     </array>
3534     <key>depth</key><integer>0</integer>
3535     <key>extended_message</key>
3536     <string>Calling &apos;interestingCallee&apos;</string>
3537     <key>message</key>
3538     <string>Calling &apos;interestingCallee&apos;</string>
3539    </dict>
3540    <dict>
3541     <key>kind</key><string>event</string>
3542     <key>location</key>
3543     <dict>
3544      <key>line</key><integer>146</integer>
3545      <key>col</key><integer>1</integer>
3546      <key>file</key><integer>0</integer>
3547     </dict>
3548     <key>depth</key><integer>1</integer>
3549     <key>extended_message</key>
3550     <string>Entered call from &apos;testBoringCalleeOfInterestingCallee&apos;</string>
3551     <key>message</key>
3552     <string>Entered call from &apos;testBoringCalleeOfInterestingCallee&apos;</string>
3553    </dict>
3554    <dict>
3555     <key>kind</key><string>control</string>
3556     <key>edges</key>
3557      <array>
3558       <dict>
3559        <key>start</key>
3560         <array>
3561          <dict>
3562           <key>line</key><integer>146</integer>
3563           <key>col</key><integer>1</integer>
3564           <key>file</key><integer>0</integer>
3565          </dict>
3566          <dict>
3567           <key>line</key><integer>146</integer>
3568           <key>col</key><integer>4</integer>
3569           <key>file</key><integer>0</integer>
3570          </dict>
3571         </array>
3572        <key>end</key>
3573         <array>
3574          <dict>
3575           <key>line</key><integer>147</integer>
3576           <key>col</key><integer>3</integer>
3577           <key>file</key><integer>0</integer>
3578          </dict>
3579          <dict>
3580           <key>line</key><integer>147</integer>
3581           <key>col</key><integer>3</integer>
3582           <key>file</key><integer>0</integer>
3583          </dict>
3584         </array>
3585       </dict>
3586      </array>
3587    </dict>
3588    <dict>
3589     <key>kind</key><string>event</string>
3590     <key>location</key>
3591     <dict>
3592      <key>line</key><integer>147</integer>
3593      <key>col</key><integer>3</integer>
3594      <key>file</key><integer>0</integer>
3595     </dict>
3596     <key>ranges</key>
3597     <array>
3598       <array>
3599        <dict>
3600         <key>line</key><integer>147</integer>
3601         <key>col</key><integer>3</integer>
3602         <key>file</key><integer>0</integer>
3603        </dict>
3604        <dict>
3605         <key>line</key><integer>147</integer>
3606         <key>col</key><integer>8</integer>
3607         <key>file</key><integer>0</integer>
3608        </dict>
3609       </array>
3610     </array>
3611     <key>depth</key><integer>1</integer>
3612     <key>extended_message</key>
3613     <string>The value 0 is assigned to &apos;x&apos;</string>
3614     <key>message</key>
3615     <string>The value 0 is assigned to &apos;x&apos;</string>
3616    </dict>
3617    <dict>
3618     <key>kind</key><string>control</string>
3619     <key>edges</key>
3620      <array>
3621       <dict>
3622        <key>start</key>
3623         <array>
3624          <dict>
3625           <key>line</key><integer>147</integer>
3626           <key>col</key><integer>3</integer>
3627           <key>file</key><integer>0</integer>
3628          </dict>
3629          <dict>
3630           <key>line</key><integer>147</integer>
3631           <key>col</key><integer>3</integer>
3632           <key>file</key><integer>0</integer>
3633          </dict>
3634         </array>
3635        <key>end</key>
3636         <array>
3637          <dict>
3638           <key>line</key><integer>148</integer>
3639           <key>col</key><integer>3</integer>
3640           <key>file</key><integer>0</integer>
3641          </dict>
3642          <dict>
3643           <key>line</key><integer>148</integer>
3644           <key>col</key><integer>14</integer>
3645           <key>file</key><integer>0</integer>
3646          </dict>
3647         </array>
3648       </dict>
3649      </array>
3650    </dict>
3651    <dict>
3652     <key>kind</key><string>event</string>
3653     <key>location</key>
3654     <dict>
3655      <key>line</key><integer>153</integer>
3656      <key>col</key><integer>3</integer>
3657      <key>file</key><integer>0</integer>
3658     </dict>
3659     <key>ranges</key>
3660     <array>
3661       <array>
3662        <dict>
3663         <key>line</key><integer>153</integer>
3664         <key>col</key><integer>3</integer>
3665         <key>file</key><integer>0</integer>
3666        </dict>
3667        <dict>
3668         <key>line</key><integer>153</integer>
3669         <key>col</key><integer>23</integer>
3670         <key>file</key><integer>0</integer>
3671        </dict>
3672       </array>
3673     </array>
3674     <key>depth</key><integer>0</integer>
3675     <key>extended_message</key>
3676     <string>Returning from &apos;interestingCallee&apos;</string>
3677     <key>message</key>
3678     <string>Returning from &apos;interestingCallee&apos;</string>
3679    </dict>
3680    <dict>
3681     <key>kind</key><string>control</string>
3682     <key>edges</key>
3683      <array>
3684       <dict>
3685        <key>start</key>
3686         <array>
3687          <dict>
3688           <key>line</key><integer>153</integer>
3689           <key>col</key><integer>3</integer>
3690           <key>file</key><integer>0</integer>
3691          </dict>
3692          <dict>
3693           <key>line</key><integer>153</integer>
3694           <key>col</key><integer>19</integer>
3695           <key>file</key><integer>0</integer>
3696          </dict>
3697         </array>
3698        <key>end</key>
3699         <array>
3700          <dict>
3701           <key>line</key><integer>155</integer>
3702           <key>col</key><integer>12</integer>
3703           <key>file</key><integer>0</integer>
3704          </dict>
3705          <dict>
3706           <key>line</key><integer>155</integer>
3707           <key>col</key><integer>12</integer>
3708           <key>file</key><integer>0</integer>
3709          </dict>
3710         </array>
3711       </dict>
3712      </array>
3713    </dict>
3714    <dict>
3715     <key>kind</key><string>event</string>
3716     <key>location</key>
3717     <dict>
3718      <key>line</key><integer>155</integer>
3719      <key>col</key><integer>12</integer>
3720      <key>file</key><integer>0</integer>
3721     </dict>
3722     <key>ranges</key>
3723     <array>
3724       <array>
3725        <dict>
3726         <key>line</key><integer>155</integer>
3727         <key>col</key><integer>10</integer>
3728         <key>file</key><integer>0</integer>
3729        </dict>
3730        <dict>
3731         <key>line</key><integer>155</integer>
3732         <key>col</key><integer>14</integer>
3733         <key>file</key><integer>0</integer>
3734        </dict>
3735       </array>
3736     </array>
3737     <key>depth</key><integer>0</integer>
3738     <key>extended_message</key>
3739     <string>Division by zero</string>
3740     <key>message</key>
3741     <string>Division by zero</string>
3742    </dict>
3743   </array>
3744   <key>description</key><string>Division by zero</string>
3745   <key>category</key><string>Logic error</string>
3746   <key>type</key><string>Division by zero</string>
3747   <key>check_name</key><string>core.DivideZero</string>
3748   <!-- This hash is experimental and going to change! -->
3749   <key>issue_hash_content_of_line_in_context</key><string>fcd480c0f73d071bac6f908387893e26</string>
3750  <key>issue_context_kind</key><string>function</string>
3751  <key>issue_context</key><string>testBoringCalleeOfInterestingCallee</string>
3752  <key>issue_hash_function_offset</key><string>4</string>
3753  <key>location</key>
3754  <dict>
3755   <key>line</key><integer>155</integer>
3756   <key>col</key><integer>12</integer>
3757   <key>file</key><integer>0</integer>
3758  </dict>
3759  <key>ExecutedLines</key>
3760  <dict>
3761   <key>0</key>
3762   <array>
3763    <integer>143</integer>
3764    <integer>146</integer>
3765    <integer>147</integer>
3766    <integer>148</integer>
3767    <integer>151</integer>
3768    <integer>152</integer>
3769    <integer>153</integer>
3770    <integer>155</integer>
3771   </array>
3772  </dict>
3773  </dict>
3774 </array>
3775 <key>files</key>
3776 <array>
3777   <string>/clang/test/Analysis/inlining/path-notes.c</string>
3778 </array>
3779</dict>
3780</plist>
3781