1<?xml version="1.0" encoding="UTF-8"?> 2<!DOCTYPE plist PUBLIC "-//Apple Computer//DTD PLIST 1.0//EN" "http://www.apple.com/DTDs/PropertyList-1.0.dtd"> 3<plist version="1.0"> 4<dict> 5 <key>clang_version</key> 6 <key>diagnostics</key> 7 <array> 8 <dict> 9 <key>path</key> 10 <array> 11 <dict> 12 <key>kind</key><string>control</string> 13 <key>edges</key> 14 <array> 15 <dict> 16 <key>start</key> 17 <array> 18 <dict> 19 <key>line</key><integer>13</integer> 20 <key>col</key><integer>3</integer> 21 <key>file</key><integer>0</integer> 22 </dict> 23 <dict> 24 <key>line</key><integer>13</integer> 25 <key>col</key><integer>5</integer> 26 <key>file</key><integer>0</integer> 27 </dict> 28 </array> 29 <key>end</key> 30 <array> 31 <dict> 32 <key>line</key><integer>14</integer> 33 <key>col</key><integer>3</integer> 34 <key>file</key><integer>0</integer> 35 </dict> 36 <dict> 37 <key>line</key><integer>14</integer> 38 <key>col</key><integer>5</integer> 39 <key>file</key><integer>0</integer> 40 </dict> 41 </array> 42 </dict> 43 </array> 44 </dict> 45 <dict> 46 <key>kind</key><string>event</string> 47 <key>location</key> 48 <dict> 49 <key>line</key><integer>14</integer> 50 <key>col</key><integer>3</integer> 51 <key>file</key><integer>0</integer> 52 </dict> 53 <key>ranges</key> 54 <array> 55 <array> 56 <dict> 57 <key>line</key><integer>14</integer> 58 <key>col</key><integer>3</integer> 59 <key>file</key><integer>0</integer> 60 </dict> 61 <dict> 62 <key>line</key><integer>14</integer> 63 <key>col</key><integer>15</integer> 64 <key>file</key><integer>0</integer> 65 </dict> 66 </array> 67 </array> 68 <key>depth</key><integer>0</integer> 69 <key>extended_message</key> 70 <string>Value assigned to 'syz.x'</string> 71 <key>message</key> 72 <string>Value assigned to 'syz.x'</string> 73 </dict> 74 <dict> 75 <key>kind</key><string>control</string> 76 <key>edges</key> 77 <array> 78 <dict> 79 <key>start</key> 80 <array> 81 <dict> 82 <key>line</key><integer>14</integer> 83 <key>col</key><integer>3</integer> 84 <key>file</key><integer>0</integer> 85 </dict> 86 <dict> 87 <key>line</key><integer>14</integer> 88 <key>col</key><integer>5</integer> 89 <key>file</key><integer>0</integer> 90 </dict> 91 </array> 92 <key>end</key> 93 <array> 94 <dict> 95 <key>line</key><integer>17</integer> 96 <key>col</key><integer>3</integer> 97 <key>file</key><integer>0</integer> 98 </dict> 99 <dict> 100 <key>line</key><integer>17</integer> 101 <key>col</key><integer>4</integer> 102 <key>file</key><integer>0</integer> 103 </dict> 104 </array> 105 </dict> 106 </array> 107 </dict> 108 <dict> 109 <key>kind</key><string>control</string> 110 <key>edges</key> 111 <array> 112 <dict> 113 <key>start</key> 114 <array> 115 <dict> 116 <key>line</key><integer>17</integer> 117 <key>col</key><integer>3</integer> 118 <key>file</key><integer>0</integer> 119 </dict> 120 <dict> 121 <key>line</key><integer>17</integer> 122 <key>col</key><integer>4</integer> 123 <key>file</key><integer>0</integer> 124 </dict> 125 </array> 126 <key>end</key> 127 <array> 128 <dict> 129 <key>line</key><integer>17</integer> 130 <key>col</key><integer>7</integer> 131 <key>file</key><integer>0</integer> 132 </dict> 133 <dict> 134 <key>line</key><integer>17</integer> 135 <key>col</key><integer>8</integer> 136 <key>file</key><integer>0</integer> 137 </dict> 138 </array> 139 </dict> 140 </array> 141 </dict> 142 <dict> 143 <key>kind</key><string>event</string> 144 <key>location</key> 145 <dict> 146 <key>line</key><integer>17</integer> 147 <key>col</key><integer>7</integer> 148 <key>file</key><integer>0</integer> 149 </dict> 150 <key>ranges</key> 151 <array> 152 <array> 153 <dict> 154 <key>line</key><integer>17</integer> 155 <key>col</key><integer>7</integer> 156 <key>file</key><integer>0</integer> 157 </dict> 158 <dict> 159 <key>line</key><integer>17</integer> 160 <key>col</key><integer>11</integer> 161 <key>file</key><integer>0</integer> 162 </dict> 163 </array> 164 </array> 165 <key>depth</key><integer>0</integer> 166 <key>extended_message</key> 167 <string>Assuming field 'x' is null</string> 168 <key>message</key> 169 <string>Assuming field 'x' is null</string> 170 </dict> 171 <dict> 172 <key>kind</key><string>control</string> 173 <key>edges</key> 174 <array> 175 <dict> 176 <key>start</key> 177 <array> 178 <dict> 179 <key>line</key><integer>17</integer> 180 <key>col</key><integer>7</integer> 181 <key>file</key><integer>0</integer> 182 </dict> 183 <dict> 184 <key>line</key><integer>17</integer> 185 <key>col</key><integer>8</integer> 186 <key>file</key><integer>0</integer> 187 </dict> 188 </array> 189 <key>end</key> 190 <array> 191 <dict> 192 <key>line</key><integer>23</integer> 193 <key>col</key><integer>3</integer> 194 <key>file</key><integer>0</integer> 195 </dict> 196 <dict> 197 <key>line</key><integer>23</integer> 198 <key>col</key><integer>3</integer> 199 <key>file</key><integer>0</integer> 200 </dict> 201 </array> 202 </dict> 203 </array> 204 </dict> 205 <dict> 206 <key>kind</key><string>control</string> 207 <key>edges</key> 208 <array> 209 <dict> 210 <key>start</key> 211 <array> 212 <dict> 213 <key>line</key><integer>23</integer> 214 <key>col</key><integer>3</integer> 215 <key>file</key><integer>0</integer> 216 </dict> 217 <dict> 218 <key>line</key><integer>23</integer> 219 <key>col</key><integer>3</integer> 220 <key>file</key><integer>0</integer> 221 </dict> 222 </array> 223 <key>end</key> 224 <array> 225 <dict> 226 <key>line</key><integer>23</integer> 227 <key>col</key><integer>8</integer> 228 <key>file</key><integer>0</integer> 229 </dict> 230 <dict> 231 <key>line</key><integer>23</integer> 232 <key>col</key><integer>8</integer> 233 <key>file</key><integer>0</integer> 234 </dict> 235 </array> 236 </dict> 237 </array> 238 </dict> 239 <dict> 240 <key>kind</key><string>event</string> 241 <key>location</key> 242 <dict> 243 <key>line</key><integer>23</integer> 244 <key>col</key><integer>8</integer> 245 <key>file</key><integer>0</integer> 246 </dict> 247 <key>ranges</key> 248 <array> 249 <array> 250 <dict> 251 <key>line</key><integer>23</integer> 252 <key>col</key><integer>13</integer> 253 <key>file</key><integer>0</integer> 254 </dict> 255 <dict> 256 <key>line</key><integer>23</integer> 257 <key>col</key><integer>13</integer> 258 <key>file</key><integer>0</integer> 259 </dict> 260 </array> 261 </array> 262 <key>depth</key><integer>0</integer> 263 <key>extended_message</key> 264 <string>Dereference of null pointer (loaded from field 'x')</string> 265 <key>message</key> 266 <string>Dereference of null pointer (loaded from field 'x')</string> 267 </dict> 268 </array> 269 <key>description</key><string>Dereference of null pointer (loaded from field 'x')</string> 270 <key>category</key><string>Logic error</string> 271 <key>type</key><string>Dereference of null pointer</string> 272 <key>check_name</key><string>core.NullDereference</string> 273 <!-- This hash is experimental and going to change! --> 274 <key>issue_hash_content_of_line_in_context</key><string>5cafa075eb4d5b0bf1f228608a3ec87e</string> 275 <key>issue_context_kind</key><string>function</string> 276 <key>issue_context</key><string>test</string> 277 <key>issue_hash_function_offset</key><string>11</string> 278 <key>location</key> 279 <dict> 280 <key>line</key><integer>23</integer> 281 <key>col</key><integer>8</integer> 282 <key>file</key><integer>0</integer> 283 </dict> 284 <key>ExecutedLines</key> 285 <dict> 286 <key>0</key> 287 <array> 288 <integer>12</integer> 289 <integer>13</integer> 290 <integer>14</integer> 291 <integer>16</integer> 292 <integer>17</integer> 293 <integer>23</integer> 294 </array> 295 </dict> 296 </dict> 297 <dict> 298 <key>path</key> 299 <array> 300 <dict> 301 <key>kind</key><string>control</string> 302 <key>edges</key> 303 <array> 304 <dict> 305 <key>start</key> 306 <array> 307 <dict> 308 <key>line</key><integer>28</integer> 309 <key>col</key><integer>3</integer> 310 <key>file</key><integer>0</integer> 311 </dict> 312 <dict> 313 <key>line</key><integer>28</integer> 314 <key>col</key><integer>5</integer> 315 <key>file</key><integer>0</integer> 316 </dict> 317 </array> 318 <key>end</key> 319 <array> 320 <dict> 321 <key>line</key><integer>29</integer> 322 <key>col</key><integer>3</integer> 323 <key>file</key><integer>0</integer> 324 </dict> 325 <dict> 326 <key>line</key><integer>29</integer> 327 <key>col</key><integer>5</integer> 328 <key>file</key><integer>0</integer> 329 </dict> 330 </array> 331 </dict> 332 </array> 333 </dict> 334 <dict> 335 <key>kind</key><string>event</string> 336 <key>location</key> 337 <dict> 338 <key>line</key><integer>29</integer> 339 <key>col</key><integer>3</integer> 340 <key>file</key><integer>0</integer> 341 </dict> 342 <key>ranges</key> 343 <array> 344 <array> 345 <dict> 346 <key>line</key><integer>29</integer> 347 <key>col</key><integer>3</integer> 348 <key>file</key><integer>0</integer> 349 </dict> 350 <dict> 351 <key>line</key><integer>29</integer> 352 <key>col</key><integer>15</integer> 353 <key>file</key><integer>0</integer> 354 </dict> 355 </array> 356 </array> 357 <key>depth</key><integer>0</integer> 358 <key>extended_message</key> 359 <string>Value assigned to 'syz.x'</string> 360 <key>message</key> 361 <string>Value assigned to 'syz.x'</string> 362 </dict> 363 <dict> 364 <key>kind</key><string>control</string> 365 <key>edges</key> 366 <array> 367 <dict> 368 <key>start</key> 369 <array> 370 <dict> 371 <key>line</key><integer>29</integer> 372 <key>col</key><integer>3</integer> 373 <key>file</key><integer>0</integer> 374 </dict> 375 <dict> 376 <key>line</key><integer>29</integer> 377 <key>col</key><integer>5</integer> 378 <key>file</key><integer>0</integer> 379 </dict> 380 </array> 381 <key>end</key> 382 <array> 383 <dict> 384 <key>line</key><integer>32</integer> 385 <key>col</key><integer>3</integer> 386 <key>file</key><integer>0</integer> 387 </dict> 388 <dict> 389 <key>line</key><integer>32</integer> 390 <key>col</key><integer>4</integer> 391 <key>file</key><integer>0</integer> 392 </dict> 393 </array> 394 </dict> 395 </array> 396 </dict> 397 <dict> 398 <key>kind</key><string>control</string> 399 <key>edges</key> 400 <array> 401 <dict> 402 <key>start</key> 403 <array> 404 <dict> 405 <key>line</key><integer>32</integer> 406 <key>col</key><integer>3</integer> 407 <key>file</key><integer>0</integer> 408 </dict> 409 <dict> 410 <key>line</key><integer>32</integer> 411 <key>col</key><integer>4</integer> 412 <key>file</key><integer>0</integer> 413 </dict> 414 </array> 415 <key>end</key> 416 <array> 417 <dict> 418 <key>line</key><integer>32</integer> 419 <key>col</key><integer>7</integer> 420 <key>file</key><integer>0</integer> 421 </dict> 422 <dict> 423 <key>line</key><integer>32</integer> 424 <key>col</key><integer>8</integer> 425 <key>file</key><integer>0</integer> 426 </dict> 427 </array> 428 </dict> 429 </array> 430 </dict> 431 <dict> 432 <key>kind</key><string>event</string> 433 <key>location</key> 434 <dict> 435 <key>line</key><integer>32</integer> 436 <key>col</key><integer>7</integer> 437 <key>file</key><integer>0</integer> 438 </dict> 439 <key>ranges</key> 440 <array> 441 <array> 442 <dict> 443 <key>line</key><integer>32</integer> 444 <key>col</key><integer>7</integer> 445 <key>file</key><integer>0</integer> 446 </dict> 447 <dict> 448 <key>line</key><integer>32</integer> 449 <key>col</key><integer>11</integer> 450 <key>file</key><integer>0</integer> 451 </dict> 452 </array> 453 </array> 454 <key>depth</key><integer>0</integer> 455 <key>extended_message</key> 456 <string>Assuming field 'x' is null</string> 457 <key>message</key> 458 <string>Assuming field 'x' is null</string> 459 </dict> 460 <dict> 461 <key>kind</key><string>control</string> 462 <key>edges</key> 463 <array> 464 <dict> 465 <key>start</key> 466 <array> 467 <dict> 468 <key>line</key><integer>32</integer> 469 <key>col</key><integer>7</integer> 470 <key>file</key><integer>0</integer> 471 </dict> 472 <dict> 473 <key>line</key><integer>32</integer> 474 <key>col</key><integer>8</integer> 475 <key>file</key><integer>0</integer> 476 </dict> 477 </array> 478 <key>end</key> 479 <array> 480 <dict> 481 <key>line</key><integer>37</integer> 482 <key>col</key><integer>3</integer> 483 <key>file</key><integer>0</integer> 484 </dict> 485 <dict> 486 <key>line</key><integer>37</integer> 487 <key>col</key><integer>5</integer> 488 <key>file</key><integer>0</integer> 489 </dict> 490 </array> 491 </dict> 492 </array> 493 </dict> 494 <dict> 495 <key>kind</key><string>event</string> 496 <key>location</key> 497 <dict> 498 <key>line</key><integer>37</integer> 499 <key>col</key><integer>3</integer> 500 <key>file</key><integer>0</integer> 501 </dict> 502 <key>ranges</key> 503 <array> 504 <array> 505 <dict> 506 <key>line</key><integer>37</integer> 507 <key>col</key><integer>3</integer> 508 <key>file</key><integer>0</integer> 509 </dict> 510 <dict> 511 <key>line</key><integer>37</integer> 512 <key>col</key><integer>8</integer> 513 <key>file</key><integer>0</integer> 514 </dict> 515 </array> 516 </array> 517 <key>depth</key><integer>0</integer> 518 <key>extended_message</key> 519 <string>'p' initialized to a null pointer value</string> 520 <key>message</key> 521 <string>'p' initialized to a null pointer value</string> 522 </dict> 523 <dict> 524 <key>kind</key><string>control</string> 525 <key>edges</key> 526 <array> 527 <dict> 528 <key>start</key> 529 <array> 530 <dict> 531 <key>line</key><integer>37</integer> 532 <key>col</key><integer>3</integer> 533 <key>file</key><integer>0</integer> 534 </dict> 535 <dict> 536 <key>line</key><integer>37</integer> 537 <key>col</key><integer>5</integer> 538 <key>file</key><integer>0</integer> 539 </dict> 540 </array> 541 <key>end</key> 542 <array> 543 <dict> 544 <key>line</key><integer>38</integer> 545 <key>col</key><integer>3</integer> 546 <key>file</key><integer>0</integer> 547 </dict> 548 <dict> 549 <key>line</key><integer>38</integer> 550 <key>col</key><integer>3</integer> 551 <key>file</key><integer>0</integer> 552 </dict> 553 </array> 554 </dict> 555 </array> 556 </dict> 557 <dict> 558 <key>kind</key><string>control</string> 559 <key>edges</key> 560 <array> 561 <dict> 562 <key>start</key> 563 <array> 564 <dict> 565 <key>line</key><integer>38</integer> 566 <key>col</key><integer>3</integer> 567 <key>file</key><integer>0</integer> 568 </dict> 569 <dict> 570 <key>line</key><integer>38</integer> 571 <key>col</key><integer>3</integer> 572 <key>file</key><integer>0</integer> 573 </dict> 574 </array> 575 <key>end</key> 576 <array> 577 <dict> 578 <key>line</key><integer>38</integer> 579 <key>col</key><integer>7</integer> 580 <key>file</key><integer>0</integer> 581 </dict> 582 <dict> 583 <key>line</key><integer>38</integer> 584 <key>col</key><integer>7</integer> 585 <key>file</key><integer>0</integer> 586 </dict> 587 </array> 588 </dict> 589 </array> 590 </dict> 591 <dict> 592 <key>kind</key><string>event</string> 593 <key>location</key> 594 <dict> 595 <key>line</key><integer>38</integer> 596 <key>col</key><integer>7</integer> 597 <key>file</key><integer>0</integer> 598 </dict> 599 <key>ranges</key> 600 <array> 601 <array> 602 <dict> 603 <key>line</key><integer>38</integer> 604 <key>col</key><integer>8</integer> 605 <key>file</key><integer>0</integer> 606 </dict> 607 <dict> 608 <key>line</key><integer>38</integer> 609 <key>col</key><integer>8</integer> 610 <key>file</key><integer>0</integer> 611 </dict> 612 </array> 613 </array> 614 <key>depth</key><integer>0</integer> 615 <key>extended_message</key> 616 <string>Dereference of null pointer (loaded from variable 'p')</string> 617 <key>message</key> 618 <string>Dereference of null pointer (loaded from variable 'p')</string> 619 </dict> 620 </array> 621 <key>description</key><string>Dereference of null pointer (loaded from variable 'p')</string> 622 <key>category</key><string>Logic error</string> 623 <key>type</key><string>Dereference of null pointer</string> 624 <key>check_name</key><string>core.NullDereference</string> 625 <!-- This hash is experimental and going to change! --> 626 <key>issue_hash_content_of_line_in_context</key><string>a213f858dacf7993492e6b32080aaa64</string> 627 <key>issue_context_kind</key><string>function</string> 628 <key>issue_context</key><string>testTrackConstraintBRVisitorIsTrackingTurnedOn</string> 629 <key>issue_hash_function_offset</key><string>11</string> 630 <key>location</key> 631 <dict> 632 <key>line</key><integer>38</integer> 633 <key>col</key><integer>7</integer> 634 <key>file</key><integer>0</integer> 635 </dict> 636 <key>ExecutedLines</key> 637 <dict> 638 <key>0</key> 639 <array> 640 <integer>27</integer> 641 <integer>28</integer> 642 <integer>29</integer> 643 <integer>31</integer> 644 <integer>32</integer> 645 <integer>37</integer> 646 <integer>38</integer> 647 </array> 648 </dict> 649 </dict> 650 </array> 651 <key>files</key> 652 <array> 653 </array> 654</dict> 655</plist> 656