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 'zero'</string> |
38 | <key>message</key> |
39 | <string>Calling 'zero'</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 'testZero'</string> |
52 | <key>message</key> |
53 | <string>Entered call from 'testZero'</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 'a'</string> |
115 | <key>message</key> |
116 | <string>Null pointer value stored to 'a'</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 'zero'</string> |
144 | <key>message</key> |
145 | <string>Returning from 'zero'</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 'a')</string> |
241 | <key>message</key> |
242 | <string>Dereference of null pointer (loaded from variable 'a')</string> |
243 | </dict> |
244 | </array> |
245 | <key>description</key><string>Dereference of null pointer (loaded from variable 'a')</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 'a' is null</string> |
335 | <key>message</key> |
336 | <string>Assuming 'a' 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 'a')</string> |
432 | <key>message</key> |
433 | <string>Dereference of null pointer (loaded from variable 'a')</string> |
434 | </dict> |
435 | </array> |
436 | <key>description</key><string>Dereference of null pointer (loaded from variable 'a')</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>'a' initialized here</string> |
490 | <key>message</key> |
491 | <string>'a' 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 'a' is null</string> |
587 | <key>message</key> |
588 | <string>Assuming 'a' 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 'a')</string> |
684 | <key>message</key> |
685 | <string>Dereference of null pointer (loaded from variable 'a')</string> |
686 | </dict> |
687 | </array> |
688 | <key>description</key><string>Dereference of null pointer (loaded from variable 'a')</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 'a'</string> |
743 | <key>message</key> |
744 | <string>Value assigned to 'a'</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 'a' is null</string> |
840 | <key>message</key> |
841 | <string>Assuming 'a' 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 'a')</string> |
937 | <key>message</key> |
938 | <string>Dereference of null pointer (loaded from variable 'a')</string> |
939 | </dict> |
940 | </array> |
941 | <key>description</key><string>Dereference of null pointer (loaded from variable 'a')</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 'getZero'</string> |
996 | <key>message</key> |
997 | <string>Calling 'getZero'</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 'testReturnZero'</string> |
1010 | <key>message</key> |
1011 | <string>Entered call from 'testReturnZero'</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>'p' initialized to a null pointer value</string> |
1073 | <key>message</key> |
1074 | <string>'p' 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 'p')</string> |
1136 | <key>message</key> |
1137 | <string>Returning null pointer (loaded from 'p')</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 'getZero'</string> |
1165 | <key>message</key> |
1166 | <string>Returning from 'getZero'</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 'getZero'</string> |
1322 | <key>message</key> |
1323 | <string>Calling 'getZero'</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 'testReturnZero2'</string> |
1336 | <key>message</key> |
1337 | <string>Entered call from 'testReturnZero2'</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>'p' initialized to a null pointer value</string> |
1399 | <key>message</key> |
1400 | <string>'p' 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 'p')</string> |
1462 | <key>message</key> |
1463 | <string>Returning null pointer (loaded from 'p')</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 'getZero'</string> |
1491 | <key>message</key> |
1492 | <string>Returning from 'getZero'</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 'getZero'</string> |
1614 | <key>message</key> |
1615 | <string>Calling 'getZero'</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 'testInitZero'</string> |
1628 | <key>message</key> |
1629 | <string>Entered call from 'testInitZero'</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>'p' initialized to a null pointer value</string> |
1691 | <key>message</key> |
1692 | <string>'p' 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 'p')</string> |
1754 | <key>message</key> |
1755 | <string>Returning null pointer (loaded from 'p')</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 'getZero'</string> |
1783 | <key>message</key> |
1784 | <string>Returning from 'getZero'</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>'a' initialized to a null pointer value</string> |
1846 | <key>message</key> |
1847 | <string>'a' 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 'a')</string> |
1943 | <key>message</key> |
1944 | <string>Dereference of null pointer (loaded from variable 'a')</string> |
1945 | </dict> |
1946 | </array> |
1947 | <key>description</key><string>Dereference of null pointer (loaded from variable 'a')</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 'getZero'</string> |
2038 | <key>message</key> |
2039 | <string>Calling 'getZero'</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 'testStoreZero'</string> |
2052 | <key>message</key> |
2053 | <string>Entered call from 'testStoreZero'</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>'p' initialized to a null pointer value</string> |
2115 | <key>message</key> |
2116 | <string>'p' 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 'p')</string> |
2178 | <key>message</key> |
2179 | <string>Returning null pointer (loaded from 'p')</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 'getZero'</string> |
2207 | <key>message</key> |
2208 | <string>Returning from 'getZero'</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 'a'</string> |
2270 | <key>message</key> |
2271 | <string>Null pointer value stored to 'a'</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 'a')</string> |
2367 | <key>message</key> |
2368 | <string>Dereference of null pointer (loaded from variable 'a')</string> |
2369 | </dict> |
2370 | </array> |
2371 | <key>description</key><string>Dereference of null pointer (loaded from variable 'a')</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 'getZero'</string> |
2462 | <key>message</key> |
2463 | <string>Calling 'getZero'</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 'testUseOfNullPointer'</string> |
2476 | <key>message</key> |
2477 | <string>Entered call from 'testUseOfNullPointer'</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>'p' initialized to a null pointer value</string> |
2539 | <key>message</key> |
2540 | <string>'p' 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 'p')</string> |
2602 | <key>message</key> |
2603 | <string>Returning null pointer (loaded from 'p')</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 'getZero'</string> |
2631 | <key>message</key> |
2632 | <string>Returning from 'getZero'</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 'p'</string> |
2660 | <key>message</key> |
2661 | <string>Passing null pointer value via 1st parameter 'p'</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 'usePointer'</string> |
2723 | <key>message</key> |
2724 | <string>Calling 'usePointer'</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 'testUseOfNullPointer'</string> |
2737 | <key>message</key> |
2738 | <string>Entered call from 'testUseOfNullPointer'</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 'p')</string> |
2834 | <key>message</key> |
2835 | <string>Dereference of null pointer (loaded from variable 'p')</string> |
2836 | </dict> |
2837 | </array> |
2838 | <key>description</key><string>Dereference of null pointer (loaded from variable 'p')</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 'setFieldToNull'</string> |
2896 | <key>message</key> |
2897 | <string>Calling 'setFieldToNull'</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 'testSetFieldToNull'</string> |
2910 | <key>message</key> |
2911 | <string>Entered call from 'testSetFieldToNull'</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 'p'</string> |
2973 | <key>message</key> |
2974 | <string>Null pointer value stored to field 'p'</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 'setFieldToNull'</string> |
3002 | <key>message</key> |
3003 | <string>Returning from 'setFieldToNull'</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 'p')</string> |
3099 | <key>message</key> |
3100 | <string>Dereference of null pointer (loaded from field 'p')</string> |
3101 | </dict> |
3102 | </array> |
3103 | <key>description</key><string>Dereference of null pointer (loaded from field 'p')</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 'p'</string> |
3159 | <key>message</key> |
3160 | <string>Null pointer value stored to field 'p'</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 'p')</string> |
3256 | <key>message</key> |
3257 | <string>Dereference of null pointer (loaded from field 'p')</string> |
3258 | </dict> |
3259 | </array> |
3260 | <key>description</key><string>Dereference of null pointer (loaded from field 'p')</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 'interestingCallee'</string> |
3537 | <key>message</key> |
3538 | <string>Calling 'interestingCallee'</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 'testBoringCalleeOfInterestingCallee'</string> |
3551 | <key>message</key> |
3552 | <string>Entered call from 'testBoringCalleeOfInterestingCallee'</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 'x'</string> |
3614 | <key>message</key> |
3615 | <string>The value 0 is assigned to 'x'</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 'interestingCallee'</string> |
3677 | <key>message</key> |
3678 | <string>Returning from 'interestingCallee'</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 | |