clang/test/Analysis/Inputs/expected-plists/conditional-path-notes.c.plist

   1 <?xml version="1.0" encoding="UTF-8"?>
   2 <!DOCTYPE plist PUBLIC "-//Apple Computer//DTD PLIST 1.0//EN" "http://www.apple.com/DTDs/PropertyList-1.0.dtd">
   3 <plist version="1.0">
   4 <dict>
   5  <key>clang_version</key>
   6  <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>6</integer>
  20            <key>col</key><integer>3</integer>
  21            <key>file</key><integer>0</integer>
  22           </dict>
  23           <dict>
  24            <key>line</key><integer>6</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>6</integer>
  33            <key>col</key><integer>12</integer>
  34            <key>file</key><integer>0</integer>
  35           </dict>
  36           <dict>
  37            <key>line</key><integer>6</integer>
  38            <key>col</key><integer>12</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>6</integer>
  50       <key>col</key><integer>12</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>6</integer>
  58          <key>col</key><integer>12</integer>
  59          <key>file</key><integer>0</integer>
  60         </dict>
  61         <dict>
  62          <key>line</key><integer>6</integer>
  63          <key>col</key><integer>12</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>Assuming &apos;p&apos; is null</string>
  71      <key>message</key>
  72      <string>Assuming &apos;p&apos; is null</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>6</integer>
  83            <key>col</key><integer>12</integer>
  84            <key>file</key><integer>0</integer>
  85           </dict>
  86           <dict>
  87            <key>line</key><integer>6</integer>
  88            <key>col</key><integer>12</integer>
  89            <key>file</key><integer>0</integer>
  90           </dict>
  91          </array>
  92         <key>end</key>
  93          <array>
  94           <dict>
  95            <key>line</key><integer>6</integer>
  96            <key>col</key><integer>20</integer>
  97            <key>file</key><integer>0</integer>
  98           </dict>
  99           <dict>
 100            <key>line</key><integer>6</integer>
 101            <key>col</key><integer>20</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>6</integer>
 117            <key>col</key><integer>20</integer>
 118            <key>file</key><integer>0</integer>
 119           </dict>
 120           <dict>
 121            <key>line</key><integer>6</integer>
 122            <key>col</key><integer>20</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>6</integer>
 130            <key>col</key><integer>3</integer>
 131            <key>file</key><integer>0</integer>
 132           </dict>
 133           <dict>
 134            <key>line</key><integer>6</integer>
 135            <key>col</key><integer>5</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>6</integer>
 147       <key>col</key><integer>3</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>6</integer>
 155          <key>col</key><integer>3</integer>
 156          <key>file</key><integer>0</integer>
 157         </dict>
 158         <dict>
 159          <key>line</key><integer>6</integer>
 160          <key>col</key><integer>8</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>&apos;x&apos; initialized to a null pointer value</string>
 168      <key>message</key>
 169      <string>&apos;x&apos; initialized to a null pointer value</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>6</integer>
 180            <key>col</key><integer>3</integer>
 181            <key>file</key><integer>0</integer>
 182           </dict>
 183           <dict>
 184            <key>line</key><integer>6</integer>
 185            <key>col</key><integer>5</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>10</integer>
 193            <key>col</key><integer>3</integer>
 194            <key>file</key><integer>0</integer>
 195           </dict>
 196           <dict>
 197            <key>line</key><integer>10</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>10</integer>
 214            <key>col</key><integer>3</integer>
 215            <key>file</key><integer>0</integer>
 216           </dict>
 217           <dict>
 218            <key>line</key><integer>10</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>10</integer>
 227            <key>col</key><integer>6</integer>
 228            <key>file</key><integer>0</integer>
 229           </dict>
 230           <dict>
 231            <key>line</key><integer>10</integer>
 232            <key>col</key><integer>6</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>10</integer>
 244       <key>col</key><integer>6</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>10</integer>
 252          <key>col</key><integer>4</integer>
 253          <key>file</key><integer>0</integer>
 254         </dict>
 255         <dict>
 256          <key>line</key><integer>10</integer>
 257          <key>col</key><integer>4</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 variable &apos;x&apos;)</string>
 265      <key>message</key>
 266      <string>Dereference of null pointer (loaded from variable &apos;x&apos;)</string>
 267     </dict>
 268    </array>
 269    <key>description</key><string>Dereference of null pointer (loaded from variable &apos;x&apos;)</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>8ea3f4e6a3100c73f078fac15acb0a9c</string>
 275   <key>issue_context_kind</key><string>function</string>
 276   <key>issue_context</key><string>testCondOp</string>
 277   <key>issue_hash_function_offset</key><string>5</string>
 278   <key>location</key>
 279   <dict>
 280    <key>line</key><integer>10</integer>
 281    <key>col</key><integer>6</integer>
 282    <key>file</key><integer>0</integer>
 283   </dict>
 284   <key>ExecutedLines</key>
 285   <dict>
 286    <key>0</key>
 287    <array>
 288     <integer>5</integer>
 289     <integer>6</integer>
 290     <integer>10</integer>
 291    </array>
 292   </dict>
 293   </dict>
 294   <dict>
 295    <key>path</key>
 296    <array>
 297     <dict>
 298      <key>kind</key><string>control</string>
 299      <key>edges</key>
 300       <array>
 301        <dict>
 302         <key>start</key>
 303          <array>
 304           <dict>
 305            <key>line</key><integer>15</integer>
 306            <key>col</key><integer>3</integer>
 307            <key>file</key><integer>0</integer>
 308           </dict>
 309           <dict>
 310            <key>line</key><integer>15</integer>
 311            <key>col</key><integer>4</integer>
 312            <key>file</key><integer>0</integer>
 313           </dict>
 314          </array>
 315         <key>end</key>
 316          <array>
 317           <dict>
 318            <key>line</key><integer>15</integer>
 319            <key>col</key><integer>7</integer>
 320            <key>file</key><integer>0</integer>
 321           </dict>
 322           <dict>
 323            <key>line</key><integer>15</integer>
 324            <key>col</key><integer>7</integer>
 325            <key>file</key><integer>0</integer>
 326           </dict>
 327          </array>
 328        </dict>
 329       </array>
 330     </dict>
 331     <dict>
 332      <key>kind</key><string>event</string>
 333      <key>location</key>
 334      <dict>
 335       <key>line</key><integer>15</integer>
 336       <key>col</key><integer>7</integer>
 337       <key>file</key><integer>0</integer>
 338      </dict>
 339      <key>ranges</key>
 340      <array>
 341        <array>
 342         <dict>
 343          <key>line</key><integer>15</integer>
 344          <key>col</key><integer>7</integer>
 345          <key>file</key><integer>0</integer>
 346         </dict>
 347         <dict>
 348          <key>line</key><integer>15</integer>
 349          <key>col</key><integer>7</integer>
 350          <key>file</key><integer>0</integer>
 351         </dict>
 352        </array>
 353      </array>
 354      <key>depth</key><integer>0</integer>
 355      <key>extended_message</key>
 356      <string>Assuming &apos;p&apos; is null</string>
 357      <key>message</key>
 358      <string>Assuming &apos;p&apos; is null</string>
 359     </dict>
 360     <dict>
 361      <key>kind</key><string>control</string>
 362      <key>edges</key>
 363       <array>
 364        <dict>
 365         <key>start</key>
 366          <array>
 367           <dict>
 368            <key>line</key><integer>15</integer>
 369            <key>col</key><integer>7</integer>
 370            <key>file</key><integer>0</integer>
 371           </dict>
 372           <dict>
 373            <key>line</key><integer>15</integer>
 374            <key>col</key><integer>7</integer>
 375            <key>file</key><integer>0</integer>
 376           </dict>
 377          </array>
 378         <key>end</key>
 379          <array>
 380           <dict>
 381            <key>line</key><integer>19</integer>
 382            <key>col</key><integer>3</integer>
 383            <key>file</key><integer>0</integer>
 384           </dict>
 385           <dict>
 386            <key>line</key><integer>19</integer>
 387            <key>col</key><integer>5</integer>
 388            <key>file</key><integer>0</integer>
 389           </dict>
 390          </array>
 391        </dict>
 392       </array>
 393     </dict>
 394     <dict>
 395      <key>kind</key><string>control</string>
 396      <key>edges</key>
 397       <array>
 398        <dict>
 399         <key>start</key>
 400          <array>
 401           <dict>
 402            <key>line</key><integer>19</integer>
 403            <key>col</key><integer>3</integer>
 404            <key>file</key><integer>0</integer>
 405           </dict>
 406           <dict>
 407            <key>line</key><integer>19</integer>
 408            <key>col</key><integer>5</integer>
 409            <key>file</key><integer>0</integer>
 410           </dict>
 411          </array>
 412         <key>end</key>
 413          <array>
 414           <dict>
 415            <key>line</key><integer>19</integer>
 416            <key>col</key><integer>11</integer>
 417            <key>file</key><integer>0</integer>
 418           </dict>
 419           <dict>
 420            <key>line</key><integer>19</integer>
 421            <key>col</key><integer>11</integer>
 422            <key>file</key><integer>0</integer>
 423           </dict>
 424          </array>
 425        </dict>
 426       </array>
 427     </dict>
 428     <dict>
 429      <key>kind</key><string>event</string>
 430      <key>location</key>
 431      <dict>
 432       <key>line</key><integer>19</integer>
 433       <key>col</key><integer>11</integer>
 434       <key>file</key><integer>0</integer>
 435      </dict>
 436      <key>ranges</key>
 437      <array>
 438        <array>
 439         <dict>
 440          <key>line</key><integer>19</integer>
 441          <key>col</key><integer>12</integer>
 442          <key>file</key><integer>0</integer>
 443         </dict>
 444         <dict>
 445          <key>line</key><integer>19</integer>
 446          <key>col</key><integer>12</integer>
 447          <key>file</key><integer>0</integer>
 448         </dict>
 449        </array>
 450      </array>
 451      <key>depth</key><integer>0</integer>
 452      <key>extended_message</key>
 453      <string>Dereference of null pointer (loaded from variable &apos;p&apos;)</string>
 454      <key>message</key>
 455      <string>Dereference of null pointer (loaded from variable &apos;p&apos;)</string>
 456     </dict>
 457    </array>
 458    <key>description</key><string>Dereference of null pointer (loaded from variable &apos;p&apos;)</string>
 459    <key>category</key><string>Logic error</string>
 460    <key>type</key><string>Dereference of null pointer</string>
 461    <key>check_name</key><string>core.NullDereference</string>
 462    <!-- This hash is experimental and going to change! -->
 463    <key>issue_hash_content_of_line_in_context</key><string>2c219a33e961fc1be7d54b700867259e</string>
 464   <key>issue_context_kind</key><string>function</string>
 465   <key>issue_context</key><string>testCondProblem</string>
 466   <key>issue_hash_function_offset</key><string>5</string>
 467   <key>location</key>
 468   <dict>
 469    <key>line</key><integer>19</integer>
 470    <key>col</key><integer>11</integer>
 471    <key>file</key><integer>0</integer>
 472   </dict>
 473   <key>ExecutedLines</key>
 474   <dict>
 475    <key>0</key>
 476    <array>
 477     <integer>14</integer>
 478     <integer>15</integer>
 479     <integer>19</integer>
 480    </array>
 481   </dict>
 482   </dict>
 483   <dict>
 484    <key>path</key>
 485    <array>
 486     <dict>
 487      <key>kind</key><string>control</string>
 488      <key>edges</key>
 489       <array>
 490        <dict>
 491         <key>start</key>
 492          <array>
 493           <dict>
 494            <key>line</key><integer>25</integer>
 495            <key>col</key><integer>3</integer>
 496            <key>file</key><integer>0</integer>
 497           </dict>
 498           <dict>
 499            <key>line</key><integer>25</integer>
 500            <key>col</key><integer>5</integer>
 501            <key>file</key><integer>0</integer>
 502           </dict>
 503          </array>
 504         <key>end</key>
 505          <array>
 506           <dict>
 507            <key>line</key><integer>25</integer>
 508            <key>col</key><integer>11</integer>
 509            <key>file</key><integer>0</integer>
 510           </dict>
 511           <dict>
 512            <key>line</key><integer>25</integer>
 513            <key>col</key><integer>11</integer>
 514            <key>file</key><integer>0</integer>
 515           </dict>
 516          </array>
 517        </dict>
 518       </array>
 519     </dict>
 520     <dict>
 521      <key>kind</key><string>event</string>
 522      <key>location</key>
 523      <dict>
 524       <key>line</key><integer>25</integer>
 525       <key>col</key><integer>11</integer>
 526       <key>file</key><integer>0</integer>
 527      </dict>
 528      <key>ranges</key>
 529      <array>
 530        <array>
 531         <dict>
 532          <key>line</key><integer>25</integer>
 533          <key>col</key><integer>11</integer>
 534          <key>file</key><integer>0</integer>
 535         </dict>
 536         <dict>
 537          <key>line</key><integer>25</integer>
 538          <key>col</key><integer>12</integer>
 539          <key>file</key><integer>0</integer>
 540         </dict>
 541        </array>
 542      </array>
 543      <key>depth</key><integer>0</integer>
 544      <key>extended_message</key>
 545      <string>Assuming &apos;p&apos; is null</string>
 546      <key>message</key>
 547      <string>Assuming &apos;p&apos; is null</string>
 548     </dict>
 549     <dict>
 550      <key>kind</key><string>control</string>
 551      <key>edges</key>
 552       <array>
 553        <dict>
 554         <key>start</key>
 555          <array>
 556           <dict>
 557            <key>line</key><integer>25</integer>
 558            <key>col</key><integer>11</integer>
 559            <key>file</key><integer>0</integer>
 560           </dict>
 561           <dict>
 562            <key>line</key><integer>25</integer>
 563            <key>col</key><integer>11</integer>
 564            <key>file</key><integer>0</integer>
 565           </dict>
 566          </array>
 567         <key>end</key>
 568          <array>
 569           <dict>
 570            <key>line</key><integer>25</integer>
 571            <key>col</key><integer>16</integer>
 572            <key>file</key><integer>0</integer>
 573           </dict>
 574           <dict>
 575            <key>line</key><integer>25</integer>
 576            <key>col</key><integer>16</integer>
 577            <key>file</key><integer>0</integer>
 578           </dict>
 579          </array>
 580        </dict>
 581       </array>
 582     </dict>
 583     <dict>
 584      <key>kind</key><string>event</string>
 585      <key>location</key>
 586      <dict>
 587       <key>line</key><integer>25</integer>
 588       <key>col</key><integer>16</integer>
 589       <key>file</key><integer>0</integer>
 590      </dict>
 591      <key>ranges</key>
 592      <array>
 593        <array>
 594         <dict>
 595          <key>line</key><integer>25</integer>
 596          <key>col</key><integer>17</integer>
 597          <key>file</key><integer>0</integer>
 598         </dict>
 599         <dict>
 600          <key>line</key><integer>25</integer>
 601          <key>col</key><integer>17</integer>
 602          <key>file</key><integer>0</integer>
 603         </dict>
 604        </array>
 605      </array>
 606      <key>depth</key><integer>0</integer>
 607      <key>extended_message</key>
 608      <string>Dereference of null pointer (loaded from variable &apos;p&apos;)</string>
 609      <key>message</key>
 610      <string>Dereference of null pointer (loaded from variable &apos;p&apos;)</string>
 611     </dict>
 612    </array>
 613    <key>description</key><string>Dereference of null pointer (loaded from variable &apos;p&apos;)</string>
 614    <key>category</key><string>Logic error</string>
 615    <key>type</key><string>Dereference of null pointer</string>
 616    <key>check_name</key><string>core.NullDereference</string>
 617    <!-- This hash is experimental and going to change! -->
 618    <key>issue_hash_content_of_line_in_context</key><string>8d43b511137326eab7d1242950e72984</string>
 619   <key>issue_context_kind</key><string>function</string>
 620   <key>issue_context</key><string>testLHSProblem</string>
 621   <key>issue_hash_function_offset</key><string>1</string>
 622   <key>location</key>
 623   <dict>
 624    <key>line</key><integer>25</integer>
 625    <key>col</key><integer>16</integer>
 626    <key>file</key><integer>0</integer>
 627   </dict>
 628   <key>ExecutedLines</key>
 629   <dict>
 630    <key>0</key>
 631    <array>
 632     <integer>24</integer>
 633     <integer>25</integer>
 634    </array>
 635   </dict>
 636   </dict>
 637   <dict>
 638    <key>path</key>
 639    <array>
 640     <dict>
 641      <key>kind</key><string>control</string>
 642      <key>edges</key>
 643       <array>
 644        <dict>
 645         <key>start</key>
 646          <array>
 647           <dict>
 648            <key>line</key><integer>33</integer>
 649            <key>col</key><integer>3</integer>
 650            <key>file</key><integer>0</integer>
 651           </dict>
 652           <dict>
 653            <key>line</key><integer>33</integer>
 654            <key>col</key><integer>5</integer>
 655            <key>file</key><integer>0</integer>
 656           </dict>
 657          </array>
 658         <key>end</key>
 659          <array>
 660           <dict>
 661            <key>line</key><integer>33</integer>
 662            <key>col</key><integer>11</integer>
 663            <key>file</key><integer>0</integer>
 664           </dict>
 665           <dict>
 666            <key>line</key><integer>33</integer>
 667            <key>col</key><integer>11</integer>
 668            <key>file</key><integer>0</integer>
 669           </dict>
 670          </array>
 671        </dict>
 672       </array>
 673     </dict>
 674     <dict>
 675      <key>kind</key><string>event</string>
 676      <key>location</key>
 677      <dict>
 678       <key>line</key><integer>33</integer>
 679       <key>col</key><integer>11</integer>
 680       <key>file</key><integer>0</integer>
 681      </dict>
 682      <key>ranges</key>
 683      <array>
 684        <array>
 685         <dict>
 686          <key>line</key><integer>33</integer>
 687          <key>col</key><integer>11</integer>
 688          <key>file</key><integer>0</integer>
 689         </dict>
 690         <dict>
 691          <key>line</key><integer>33</integer>
 692          <key>col</key><integer>11</integer>
 693          <key>file</key><integer>0</integer>
 694         </dict>
 695        </array>
 696      </array>
 697      <key>depth</key><integer>0</integer>
 698      <key>extended_message</key>
 699      <string>Assuming &apos;p&apos; is null</string>
 700      <key>message</key>
 701      <string>Assuming &apos;p&apos; is null</string>
 702     </dict>
 703     <dict>
 704      <key>kind</key><string>control</string>
 705      <key>edges</key>
 706       <array>
 707        <dict>
 708         <key>start</key>
 709          <array>
 710           <dict>
 711            <key>line</key><integer>33</integer>
 712            <key>col</key><integer>11</integer>
 713            <key>file</key><integer>0</integer>
 714           </dict>
 715           <dict>
 716            <key>line</key><integer>33</integer>
 717            <key>col</key><integer>11</integer>
 718            <key>file</key><integer>0</integer>
 719           </dict>
 720          </array>
 721         <key>end</key>
 722          <array>
 723           <dict>
 724            <key>line</key><integer>33</integer>
 725            <key>col</key><integer>19</integer>
 726            <key>file</key><integer>0</integer>
 727           </dict>
 728           <dict>
 729            <key>line</key><integer>33</integer>
 730            <key>col</key><integer>19</integer>
 731            <key>file</key><integer>0</integer>
 732           </dict>
 733          </array>
 734        </dict>
 735       </array>
 736     </dict>
 737     <dict>
 738      <key>kind</key><string>event</string>
 739      <key>location</key>
 740      <dict>
 741       <key>line</key><integer>33</integer>
 742       <key>col</key><integer>19</integer>
 743       <key>file</key><integer>0</integer>
 744      </dict>
 745      <key>ranges</key>
 746      <array>
 747        <array>
 748         <dict>
 749          <key>line</key><integer>33</integer>
 750          <key>col</key><integer>20</integer>
 751          <key>file</key><integer>0</integer>
 752         </dict>
 753         <dict>
 754          <key>line</key><integer>33</integer>
 755          <key>col</key><integer>20</integer>
 756          <key>file</key><integer>0</integer>
 757         </dict>
 758        </array>
 759      </array>
 760      <key>depth</key><integer>0</integer>
 761      <key>extended_message</key>
 762      <string>Dereference of null pointer (loaded from variable &apos;p&apos;)</string>
 763      <key>message</key>
 764      <string>Dereference of null pointer (loaded from variable &apos;p&apos;)</string>
 765     </dict>
 766    </array>
 767    <key>description</key><string>Dereference of null pointer (loaded from variable &apos;p&apos;)</string>
 768    <key>category</key><string>Logic error</string>
 769    <key>type</key><string>Dereference of null pointer</string>
 770    <key>check_name</key><string>core.NullDereference</string>
 771    <!-- This hash is experimental and going to change! -->
 772    <key>issue_hash_content_of_line_in_context</key><string>b8e93b7355a6779a960f9a942fafac15</string>
 773   <key>issue_context_kind</key><string>function</string>
 774   <key>issue_context</key><string>testRHSProblem</string>
 775   <key>issue_hash_function_offset</key><string>1</string>
 776   <key>location</key>
 777   <dict>
 778    <key>line</key><integer>33</integer>
 779    <key>col</key><integer>19</integer>
 780    <key>file</key><integer>0</integer>
 781   </dict>
 782   <key>ExecutedLines</key>
 783   <dict>
 784    <key>0</key>
 785    <array>
 786     <integer>32</integer>
 787     <integer>33</integer>
 788    </array>
 789   </dict>
 790   </dict>
 791   <dict>
 792    <key>path</key>
 793    <array>
 794     <dict>
 795      <key>kind</key><string>event</string>
 796      <key>location</key>
 797      <dict>
 798       <key>line</key><integer>41</integer>
 799       <key>col</key><integer>3</integer>
 800       <key>file</key><integer>0</integer>
 801      </dict>
 802      <key>ranges</key>
 803      <array>
 804        <array>
 805         <dict>
 806          <key>line</key><integer>41</integer>
 807          <key>col</key><integer>3</integer>
 808          <key>file</key><integer>0</integer>
 809         </dict>
 810         <dict>
 811          <key>line</key><integer>41</integer>
 812          <key>col</key><integer>8</integer>
 813          <key>file</key><integer>0</integer>
 814         </dict>
 815        </array>
 816      </array>
 817      <key>depth</key><integer>0</integer>
 818      <key>extended_message</key>
 819      <string>&apos;x&apos; initialized to a null pointer value</string>
 820      <key>message</key>
 821      <string>&apos;x&apos; initialized to a null pointer value</string>
 822     </dict>
 823     <dict>
 824      <key>kind</key><string>control</string>
 825      <key>edges</key>
 826       <array>
 827        <dict>
 828         <key>start</key>
 829          <array>
 830           <dict>
 831            <key>line</key><integer>41</integer>
 832            <key>col</key><integer>3</integer>
 833            <key>file</key><integer>0</integer>
 834           </dict>
 835           <dict>
 836            <key>line</key><integer>41</integer>
 837            <key>col</key><integer>5</integer>
 838            <key>file</key><integer>0</integer>
 839           </dict>
 840          </array>
 841         <key>end</key>
 842          <array>
 843           <dict>
 844            <key>line</key><integer>44</integer>
 845            <key>col</key><integer>3</integer>
 846            <key>file</key><integer>0</integer>
 847           </dict>
 848           <dict>
 849            <key>line</key><integer>44</integer>
 850            <key>col</key><integer>3</integer>
 851            <key>file</key><integer>0</integer>
 852           </dict>
 853          </array>
 854        </dict>
 855       </array>
 856     </dict>
 857     <dict>
 858      <key>kind</key><string>control</string>
 859      <key>edges</key>
 860       <array>
 861        <dict>
 862         <key>start</key>
 863          <array>
 864           <dict>
 865            <key>line</key><integer>44</integer>
 866            <key>col</key><integer>3</integer>
 867            <key>file</key><integer>0</integer>
 868           </dict>
 869           <dict>
 870            <key>line</key><integer>44</integer>
 871            <key>col</key><integer>3</integer>
 872            <key>file</key><integer>0</integer>
 873           </dict>
 874          </array>
 875         <key>end</key>
 876          <array>
 877           <dict>
 878            <key>line</key><integer>44</integer>
 879            <key>col</key><integer>6</integer>
 880            <key>file</key><integer>0</integer>
 881           </dict>
 882           <dict>
 883            <key>line</key><integer>44</integer>
 884            <key>col</key><integer>6</integer>
 885            <key>file</key><integer>0</integer>
 886           </dict>
 887          </array>
 888        </dict>
 889       </array>
 890     </dict>
 891     <dict>
 892      <key>kind</key><string>event</string>
 893      <key>location</key>
 894      <dict>
 895       <key>line</key><integer>44</integer>
 896       <key>col</key><integer>6</integer>
 897       <key>file</key><integer>0</integer>
 898      </dict>
 899      <key>ranges</key>
 900      <array>
 901        <array>
 902         <dict>
 903          <key>line</key><integer>44</integer>
 904          <key>col</key><integer>4</integer>
 905          <key>file</key><integer>0</integer>
 906         </dict>
 907         <dict>
 908          <key>line</key><integer>44</integer>
 909          <key>col</key><integer>4</integer>
 910          <key>file</key><integer>0</integer>
 911         </dict>
 912        </array>
 913      </array>
 914      <key>depth</key><integer>0</integer>
 915      <key>extended_message</key>
 916      <string>Dereference of null pointer (loaded from variable &apos;x&apos;)</string>
 917      <key>message</key>
 918      <string>Dereference of null pointer (loaded from variable &apos;x&apos;)</string>
 919     </dict>
 920    </array>
 921    <key>description</key><string>Dereference of null pointer (loaded from variable &apos;x&apos;)</string>
 922    <key>category</key><string>Logic error</string>
 923    <key>type</key><string>Dereference of null pointer</string>
 924    <key>check_name</key><string>core.NullDereference</string>
 925    <!-- This hash is experimental and going to change! -->
 926    <key>issue_hash_content_of_line_in_context</key><string>a944281d096940ca43ec995649b48b5f</string>
 927   <key>issue_context_kind</key><string>function</string>
 928   <key>issue_context</key><string>testBinaryCondOp</string>
 929   <key>issue_hash_function_offset</key><string>4</string>
 930   <key>location</key>
 931   <dict>
 932    <key>line</key><integer>44</integer>
 933    <key>col</key><integer>6</integer>
 934    <key>file</key><integer>0</integer>
 935   </dict>
 936   <key>ExecutedLines</key>
 937   <dict>
 938    <key>0</key>
 939    <array>
 940     <integer>40</integer>
 941     <integer>41</integer>
 942     <integer>44</integer>
 943    </array>
 944   </dict>
 945   </dict>
 946   <dict>
 947    <key>path</key>
 948    <array>
 949     <dict>
 950      <key>kind</key><string>control</string>
 951      <key>edges</key>
 952       <array>
 953        <dict>
 954         <key>start</key>
 955          <array>
 956           <dict>
 957            <key>line</key><integer>49</integer>
 958            <key>col</key><integer>3</integer>
 959            <key>file</key><integer>0</integer>
 960           </dict>
 961           <dict>
 962            <key>line</key><integer>49</integer>
 963            <key>col</key><integer>4</integer>
 964            <key>file</key><integer>0</integer>
 965           </dict>
 966          </array>
 967         <key>end</key>
 968          <array>
 969           <dict>
 970            <key>line</key><integer>49</integer>
 971            <key>col</key><integer>7</integer>
 972            <key>file</key><integer>0</integer>
 973           </dict>
 974           <dict>
 975            <key>line</key><integer>49</integer>
 976            <key>col</key><integer>7</integer>
 977            <key>file</key><integer>0</integer>
 978           </dict>
 979          </array>
 980        </dict>
 981       </array>
 982     </dict>
 983     <dict>
 984      <key>kind</key><string>event</string>
 985      <key>location</key>
 986      <dict>
 987       <key>line</key><integer>49</integer>
 988       <key>col</key><integer>7</integer>
 989       <key>file</key><integer>0</integer>
 990      </dict>
 991      <key>ranges</key>
 992      <array>
 993        <array>
 994         <dict>
 995          <key>line</key><integer>49</integer>
 996          <key>col</key><integer>7</integer>
 997          <key>file</key><integer>0</integer>
 998         </dict>
 999         <dict>
1000          <key>line</key><integer>49</integer>
1001          <key>col</key><integer>7</integer>
1002          <key>file</key><integer>0</integer>
1003         </dict>
1004        </array>
1005      </array>
1006      <key>depth</key><integer>0</integer>
1007      <key>extended_message</key>
1008      <string>Assuming &apos;p&apos; is null</string>
1009      <key>message</key>
1010      <string>Assuming &apos;p&apos; is null</string>
1011     </dict>
1012     <dict>
1013      <key>kind</key><string>control</string>
1014      <key>edges</key>
1015       <array>
1016        <dict>
1017         <key>start</key>
1018          <array>
1019           <dict>
1020            <key>line</key><integer>49</integer>
1021            <key>col</key><integer>7</integer>
1022            <key>file</key><integer>0</integer>
1023           </dict>
1024           <dict>
1025            <key>line</key><integer>49</integer>
1026            <key>col</key><integer>7</integer>
1027            <key>file</key><integer>0</integer>
1028           </dict>
1029          </array>
1030         <key>end</key>
1031          <array>
1032           <dict>
1033            <key>line</key><integer>53</integer>
1034            <key>col</key><integer>3</integer>
1035            <key>file</key><integer>0</integer>
1036           </dict>
1037           <dict>
1038            <key>line</key><integer>53</integer>
1039            <key>col</key><integer>5</integer>
1040            <key>file</key><integer>0</integer>
1041           </dict>
1042          </array>
1043        </dict>
1044       </array>
1045     </dict>
1046     <dict>
1047      <key>kind</key><string>control</string>
1048      <key>edges</key>
1049       <array>
1050        <dict>
1051         <key>start</key>
1052          <array>
1053           <dict>
1054            <key>line</key><integer>53</integer>
1055            <key>col</key><integer>3</integer>
1056            <key>file</key><integer>0</integer>
1057           </dict>
1058           <dict>
1059            <key>line</key><integer>53</integer>
1060            <key>col</key><integer>5</integer>
1061            <key>file</key><integer>0</integer>
1062           </dict>
1063          </array>
1064         <key>end</key>
1065          <array>
1066           <dict>
1067            <key>line</key><integer>53</integer>
1068            <key>col</key><integer>11</integer>
1069            <key>file</key><integer>0</integer>
1070           </dict>
1071           <dict>
1072            <key>line</key><integer>53</integer>
1073            <key>col</key><integer>11</integer>
1074            <key>file</key><integer>0</integer>
1075           </dict>
1076          </array>
1077        </dict>
1078       </array>
1079     </dict>
1080     <dict>
1081      <key>kind</key><string>event</string>
1082      <key>location</key>
1083      <dict>
1084       <key>line</key><integer>53</integer>
1085       <key>col</key><integer>11</integer>
1086       <key>file</key><integer>0</integer>
1087      </dict>
1088      <key>ranges</key>
1089      <array>
1090        <array>
1091         <dict>
1092          <key>line</key><integer>53</integer>
1093          <key>col</key><integer>12</integer>
1094          <key>file</key><integer>0</integer>
1095         </dict>
1096         <dict>
1097          <key>line</key><integer>53</integer>
1098          <key>col</key><integer>12</integer>
1099          <key>file</key><integer>0</integer>
1100         </dict>
1101        </array>
1102      </array>
1103      <key>depth</key><integer>0</integer>
1104      <key>extended_message</key>
1105      <string>Dereference of null pointer (loaded from variable &apos;p&apos;)</string>
1106      <key>message</key>
1107      <string>Dereference of null pointer (loaded from variable &apos;p&apos;)</string>
1108     </dict>
1109    </array>
1110    <key>description</key><string>Dereference of null pointer (loaded from variable &apos;p&apos;)</string>
1111    <key>category</key><string>Logic error</string>
1112    <key>type</key><string>Dereference of null pointer</string>
1113    <key>check_name</key><string>core.NullDereference</string>
1114    <!-- This hash is experimental and going to change! -->
1115    <key>issue_hash_content_of_line_in_context</key><string>4db164bbf5cea42d75c5e838be1eef6f</string>
1116   <key>issue_context_kind</key><string>function</string>
1117   <key>issue_context</key><string>testBinaryLHSProblem</string>
1118   <key>issue_hash_function_offset</key><string>5</string>
1119   <key>location</key>
1120   <dict>
1121    <key>line</key><integer>53</integer>
1122    <key>col</key><integer>11</integer>
1123    <key>file</key><integer>0</integer>
1124   </dict>
1125   <key>ExecutedLines</key>
1126   <dict>
1127    <key>0</key>
1128    <array>
1129     <integer>48</integer>
1130     <integer>49</integer>
1131     <integer>53</integer>
1132    </array>
1133   </dict>
1134   </dict>
1135   <dict>
1136    <key>path</key>
1137    <array>
1138     <dict>
1139      <key>kind</key><string>control</string>
1140      <key>edges</key>
1141       <array>
1142        <dict>
1143         <key>start</key>
1144          <array>
1145           <dict>
1146            <key>line</key><integer>59</integer>
1147            <key>col</key><integer>3</integer>
1148            <key>file</key><integer>0</integer>
1149           </dict>
1150           <dict>
1151            <key>line</key><integer>59</integer>
1152            <key>col</key><integer>4</integer>
1153            <key>file</key><integer>0</integer>
1154           </dict>
1155          </array>
1156         <key>end</key>
1157          <array>
1158           <dict>
1159            <key>line</key><integer>59</integer>
1160            <key>col</key><integer>7</integer>
1161            <key>file</key><integer>0</integer>
1162           </dict>
1163           <dict>
1164            <key>line</key><integer>59</integer>
1165            <key>col</key><integer>7</integer>
1166            <key>file</key><integer>0</integer>
1167           </dict>
1168          </array>
1169        </dict>
1170       </array>
1171     </dict>
1172     <dict>
1173      <key>kind</key><string>event</string>
1174      <key>location</key>
1175      <dict>
1176       <key>line</key><integer>59</integer>
1177       <key>col</key><integer>7</integer>
1178       <key>file</key><integer>0</integer>
1179      </dict>
1180      <key>ranges</key>
1181      <array>
1182        <array>
1183         <dict>
1184          <key>line</key><integer>59</integer>
1185          <key>col</key><integer>7</integer>
1186          <key>file</key><integer>0</integer>
1187         </dict>
1188         <dict>
1189          <key>line</key><integer>59</integer>
1190          <key>col</key><integer>7</integer>
1191          <key>file</key><integer>0</integer>
1192         </dict>
1193        </array>
1194      </array>
1195      <key>depth</key><integer>0</integer>
1196      <key>extended_message</key>
1197      <string>Assuming &apos;a&apos; is not equal to 0</string>
1198      <key>message</key>
1199      <string>Assuming &apos;a&apos; is not equal to 0</string>
1200     </dict>
1201     <dict>
1202      <key>kind</key><string>control</string>
1203      <key>edges</key>
1204       <array>
1205        <dict>
1206         <key>start</key>
1207          <array>
1208           <dict>
1209            <key>line</key><integer>59</integer>
1210            <key>col</key><integer>7</integer>
1211            <key>file</key><integer>0</integer>
1212           </dict>
1213           <dict>
1214            <key>line</key><integer>59</integer>
1215            <key>col</key><integer>7</integer>
1216            <key>file</key><integer>0</integer>
1217           </dict>
1218          </array>
1219         <key>end</key>
1220          <array>
1221           <dict>
1222            <key>line</key><integer>62</integer>
1223            <key>col</key><integer>5</integer>
1224            <key>file</key><integer>0</integer>
1225           </dict>
1226           <dict>
1227            <key>line</key><integer>62</integer>
1228            <key>col</key><integer>5</integer>
1229            <key>file</key><integer>0</integer>
1230           </dict>
1231          </array>
1232        </dict>
1233       </array>
1234     </dict>
1235     <dict>
1236      <key>kind</key><string>control</string>
1237      <key>edges</key>
1238       <array>
1239        <dict>
1240         <key>start</key>
1241          <array>
1242           <dict>
1243            <key>line</key><integer>62</integer>
1244            <key>col</key><integer>5</integer>
1245            <key>file</key><integer>0</integer>
1246           </dict>
1247           <dict>
1248            <key>line</key><integer>62</integer>
1249            <key>col</key><integer>5</integer>
1250            <key>file</key><integer>0</integer>
1251           </dict>
1252          </array>
1253         <key>end</key>
1254          <array>
1255           <dict>
1256            <key>line</key><integer>62</integer>
1257            <key>col</key><integer>24</integer>
1258            <key>file</key><integer>0</integer>
1259           </dict>
1260           <dict>
1261            <key>line</key><integer>62</integer>
1262            <key>col</key><integer>24</integer>
1263            <key>file</key><integer>0</integer>
1264           </dict>
1265          </array>
1266        </dict>
1267       </array>
1268     </dict>
1269     <dict>
1270      <key>kind</key><string>event</string>
1271      <key>location</key>
1272      <dict>
1273       <key>line</key><integer>62</integer>
1274       <key>col</key><integer>24</integer>
1275       <key>file</key><integer>0</integer>
1276      </dict>
1277      <key>ranges</key>
1278      <array>
1279        <array>
1280         <dict>
1281          <key>line</key><integer>62</integer>
1282          <key>col</key><integer>5</integer>
1283          <key>file</key><integer>0</integer>
1284         </dict>
1285         <dict>
1286          <key>line</key><integer>62</integer>
1287          <key>col</key><integer>26</integer>
1288          <key>file</key><integer>0</integer>
1289         </dict>
1290        </array>
1291      </array>
1292      <key>depth</key><integer>0</integer>
1293      <key>extended_message</key>
1294      <string>Dereference of null pointer</string>
1295      <key>message</key>
1296      <string>Dereference of null pointer</string>
1297     </dict>
1298    </array>
1299    <key>description</key><string>Dereference of null pointer</string>
1300    <key>category</key><string>Logic error</string>
1301    <key>type</key><string>Dereference of null pointer</string>
1302    <key>check_name</key><string>core.NullDereference</string>
1303    <!-- This hash is experimental and going to change! -->
1304    <key>issue_hash_content_of_line_in_context</key><string>778d56ad485369222613ac2c03b97700</string>
1305   <key>issue_context_kind</key><string>function</string>
1306   <key>issue_context</key><string>testDiagnosableBranch</string>
1307   <key>issue_hash_function_offset</key><string>4</string>
1308   <key>location</key>
1309   <dict>
1310    <key>line</key><integer>62</integer>
1311    <key>col</key><integer>24</integer>
1312    <key>file</key><integer>0</integer>
1313   </dict>
1314   <key>ExecutedLines</key>
1315   <dict>
1316    <key>0</key>
1317    <array>
1318     <integer>58</integer>
1319     <integer>59</integer>
1320     <integer>62</integer>
1321    </array>
1322   </dict>
1323   </dict>
1324   <dict>
1325    <key>path</key>
1326    <array>
1327     <dict>
1328      <key>kind</key><string>control</string>
1329      <key>edges</key>
1330       <array>
1331        <dict>
1332         <key>start</key>
1333          <array>
1334           <dict>
1335            <key>line</key><integer>68</integer>
1336            <key>col</key><integer>3</integer>
1337            <key>file</key><integer>0</integer>
1338           </dict>
1339           <dict>
1340            <key>line</key><integer>68</integer>
1341            <key>col</key><integer>4</integer>
1342            <key>file</key><integer>0</integer>
1343           </dict>
1344          </array>
1345         <key>end</key>
1346          <array>
1347           <dict>
1348            <key>line</key><integer>68</integer>
1349            <key>col</key><integer>7</integer>
1350            <key>file</key><integer>0</integer>
1351           </dict>
1352           <dict>
1353            <key>line</key><integer>68</integer>
1354            <key>col</key><integer>7</integer>
1355            <key>file</key><integer>0</integer>
1356           </dict>
1357          </array>
1358        </dict>
1359       </array>
1360     </dict>
1361     <dict>
1362      <key>kind</key><string>event</string>
1363      <key>location</key>
1364      <dict>
1365       <key>line</key><integer>68</integer>
1366       <key>col</key><integer>7</integer>
1367       <key>file</key><integer>0</integer>
1368      </dict>
1369      <key>ranges</key>
1370      <array>
1371        <array>
1372         <dict>
1373          <key>line</key><integer>68</integer>
1374          <key>col</key><integer>7</integer>
1375          <key>file</key><integer>0</integer>
1376         </dict>
1377         <dict>
1378          <key>line</key><integer>68</integer>
1379          <key>col</key><integer>7</integer>
1380          <key>file</key><integer>0</integer>
1381         </dict>
1382        </array>
1383      </array>
1384      <key>depth</key><integer>0</integer>
1385      <key>extended_message</key>
1386      <string>Assuming &apos;a&apos; is not equal to 0</string>
1387      <key>message</key>
1388      <string>Assuming &apos;a&apos; is not equal to 0</string>
1389     </dict>
1390     <dict>
1391      <key>kind</key><string>control</string>
1392      <key>edges</key>
1393       <array>
1394        <dict>
1395         <key>start</key>
1396          <array>
1397           <dict>
1398            <key>line</key><integer>68</integer>
1399            <key>col</key><integer>7</integer>
1400            <key>file</key><integer>0</integer>
1401           </dict>
1402           <dict>
1403            <key>line</key><integer>68</integer>
1404            <key>col</key><integer>7</integer>
1405            <key>file</key><integer>0</integer>
1406           </dict>
1407          </array>
1408         <key>end</key>
1409          <array>
1410           <dict>
1411            <key>line</key><integer>68</integer>
1412            <key>col</key><integer>12</integer>
1413            <key>file</key><integer>0</integer>
1414           </dict>
1415           <dict>
1416            <key>line</key><integer>68</integer>
1417            <key>col</key><integer>12</integer>
1418            <key>file</key><integer>0</integer>
1419           </dict>
1420          </array>
1421        </dict>
1422       </array>
1423     </dict>
1424     <dict>
1425      <key>kind</key><string>event</string>
1426      <key>location</key>
1427      <dict>
1428       <key>line</key><integer>68</integer>
1429       <key>col</key><integer>12</integer>
1430       <key>file</key><integer>0</integer>
1431      </dict>
1432      <key>ranges</key>
1433      <array>
1434        <array>
1435         <dict>
1436          <key>line</key><integer>68</integer>
1437          <key>col</key><integer>12</integer>
1438          <key>file</key><integer>0</integer>
1439         </dict>
1440         <dict>
1441          <key>line</key><integer>68</integer>
1442          <key>col</key><integer>12</integer>
1443          <key>file</key><integer>0</integer>
1444         </dict>
1445        </array>
1446      </array>
1447      <key>depth</key><integer>0</integer>
1448      <key>extended_message</key>
1449      <string>Assuming &apos;b&apos; is not equal to 0</string>
1450      <key>message</key>
1451      <string>Assuming &apos;b&apos; is not equal to 0</string>
1452     </dict>
1453     <dict>
1454      <key>kind</key><string>control</string>
1455      <key>edges</key>
1456       <array>
1457        <dict>
1458         <key>start</key>
1459          <array>
1460           <dict>
1461            <key>line</key><integer>68</integer>
1462            <key>col</key><integer>12</integer>
1463            <key>file</key><integer>0</integer>
1464           </dict>
1465           <dict>
1466            <key>line</key><integer>68</integer>
1467            <key>col</key><integer>12</integer>
1468            <key>file</key><integer>0</integer>
1469           </dict>
1470          </array>
1471         <key>end</key>
1472          <array>
1473           <dict>
1474            <key>line</key><integer>73</integer>
1475            <key>col</key><integer>5</integer>
1476            <key>file</key><integer>0</integer>
1477           </dict>
1478           <dict>
1479            <key>line</key><integer>73</integer>
1480            <key>col</key><integer>5</integer>
1481            <key>file</key><integer>0</integer>
1482           </dict>
1483          </array>
1484        </dict>
1485       </array>
1486     </dict>
1487     <dict>
1488      <key>kind</key><string>control</string>
1489      <key>edges</key>
1490       <array>
1491        <dict>
1492         <key>start</key>
1493          <array>
1494           <dict>
1495            <key>line</key><integer>73</integer>
1496            <key>col</key><integer>5</integer>
1497            <key>file</key><integer>0</integer>
1498           </dict>
1499           <dict>
1500            <key>line</key><integer>73</integer>
1501            <key>col</key><integer>5</integer>
1502            <key>file</key><integer>0</integer>
1503           </dict>
1504          </array>
1505         <key>end</key>
1506          <array>
1507           <dict>
1508            <key>line</key><integer>73</integer>
1509            <key>col</key><integer>24</integer>
1510            <key>file</key><integer>0</integer>
1511           </dict>
1512           <dict>
1513            <key>line</key><integer>73</integer>
1514            <key>col</key><integer>24</integer>
1515            <key>file</key><integer>0</integer>
1516           </dict>
1517          </array>
1518        </dict>
1519       </array>
1520     </dict>
1521     <dict>
1522      <key>kind</key><string>event</string>
1523      <key>location</key>
1524      <dict>
1525       <key>line</key><integer>73</integer>
1526       <key>col</key><integer>24</integer>
1527       <key>file</key><integer>0</integer>
1528      </dict>
1529      <key>ranges</key>
1530      <array>
1531        <array>
1532         <dict>
1533          <key>line</key><integer>73</integer>
1534          <key>col</key><integer>5</integer>
1535          <key>file</key><integer>0</integer>
1536         </dict>
1537         <dict>
1538          <key>line</key><integer>73</integer>
1539          <key>col</key><integer>26</integer>
1540          <key>file</key><integer>0</integer>
1541         </dict>
1542        </array>
1543      </array>
1544      <key>depth</key><integer>0</integer>
1545      <key>extended_message</key>
1546      <string>Dereference of null pointer</string>
1547      <key>message</key>
1548      <string>Dereference of null pointer</string>
1549     </dict>
1550    </array>
1551    <key>description</key><string>Dereference of null pointer</string>
1552    <key>category</key><string>Logic error</string>
1553    <key>type</key><string>Dereference of null pointer</string>
1554    <key>check_name</key><string>core.NullDereference</string>
1555    <!-- This hash is experimental and going to change! -->
1556    <key>issue_hash_content_of_line_in_context</key><string>a2b345c9681d9dd3aa15d12810759cb9</string>
1557   <key>issue_context_kind</key><string>function</string>
1558   <key>issue_context</key><string>testDiagnosableBranchLogical</string>
1559   <key>issue_hash_function_offset</key><string>6</string>
1560   <key>location</key>
1561   <dict>
1562    <key>line</key><integer>73</integer>
1563    <key>col</key><integer>24</integer>
1564    <key>file</key><integer>0</integer>
1565   </dict>
1566   <key>ExecutedLines</key>
1567   <dict>
1568    <key>0</key>
1569    <array>
1570     <integer>67</integer>
1571     <integer>68</integer>
1572     <integer>73</integer>
1573    </array>
1574   </dict>
1575   </dict>
1576   <dict>
1577    <key>path</key>
1578    <array>
1579     <dict>
1580      <key>kind</key><string>control</string>
1581      <key>edges</key>
1582       <array>
1583        <dict>
1584         <key>start</key>
1585          <array>
1586           <dict>
1587            <key>line</key><integer>79</integer>
1588            <key>col</key><integer>3</integer>
1589            <key>file</key><integer>0</integer>
1590           </dict>
1591           <dict>
1592            <key>line</key><integer>79</integer>
1593            <key>col</key><integer>4</integer>
1594            <key>file</key><integer>0</integer>
1595           </dict>
1596          </array>
1597         <key>end</key>
1598          <array>
1599           <dict>
1600            <key>line</key><integer>79</integer>
1601            <key>col</key><integer>7</integer>
1602            <key>file</key><integer>0</integer>
1603           </dict>
1604           <dict>
1605            <key>line</key><integer>79</integer>
1606            <key>col</key><integer>7</integer>
1607            <key>file</key><integer>0</integer>
1608           </dict>
1609          </array>
1610        </dict>
1611       </array>
1612     </dict>
1613     <dict>
1614      <key>kind</key><string>event</string>
1615      <key>location</key>
1616      <dict>
1617       <key>line</key><integer>79</integer>
1618       <key>col</key><integer>7</integer>
1619       <key>file</key><integer>0</integer>
1620      </dict>
1621      <key>ranges</key>
1622      <array>
1623        <array>
1624         <dict>
1625          <key>line</key><integer>79</integer>
1626          <key>col</key><integer>7</integer>
1627          <key>file</key><integer>0</integer>
1628         </dict>
1629         <dict>
1630          <key>line</key><integer>79</integer>
1631          <key>col</key><integer>11</integer>
1632          <key>file</key><integer>0</integer>
1633         </dict>
1634        </array>
1635      </array>
1636      <key>depth</key><integer>0</integer>
1637      <key>extended_message</key>
1638      <string>Assuming the condition is true</string>
1639      <key>message</key>
1640      <string>Assuming the condition is true</string>
1641     </dict>
1642     <dict>
1643      <key>kind</key><string>control</string>
1644      <key>edges</key>
1645       <array>
1646        <dict>
1647         <key>start</key>
1648          <array>
1649           <dict>
1650            <key>line</key><integer>79</integer>
1651            <key>col</key><integer>7</integer>
1652            <key>file</key><integer>0</integer>
1653           </dict>
1654           <dict>
1655            <key>line</key><integer>79</integer>
1656            <key>col</key><integer>7</integer>
1657            <key>file</key><integer>0</integer>
1658           </dict>
1659          </array>
1660         <key>end</key>
1661          <array>
1662           <dict>
1663            <key>line</key><integer>82</integer>
1664            <key>col</key><integer>5</integer>
1665            <key>file</key><integer>0</integer>
1666           </dict>
1667           <dict>
1668            <key>line</key><integer>82</integer>
1669            <key>col</key><integer>5</integer>
1670            <key>file</key><integer>0</integer>
1671           </dict>
1672          </array>
1673        </dict>
1674       </array>
1675     </dict>
1676     <dict>
1677      <key>kind</key><string>control</string>
1678      <key>edges</key>
1679       <array>
1680        <dict>
1681         <key>start</key>
1682          <array>
1683           <dict>
1684            <key>line</key><integer>82</integer>
1685            <key>col</key><integer>5</integer>
1686            <key>file</key><integer>0</integer>
1687           </dict>
1688           <dict>
1689            <key>line</key><integer>82</integer>
1690            <key>col</key><integer>5</integer>
1691            <key>file</key><integer>0</integer>
1692           </dict>
1693          </array>
1694         <key>end</key>
1695          <array>
1696           <dict>
1697            <key>line</key><integer>82</integer>
1698            <key>col</key><integer>24</integer>
1699            <key>file</key><integer>0</integer>
1700           </dict>
1701           <dict>
1702            <key>line</key><integer>82</integer>
1703            <key>col</key><integer>24</integer>
1704            <key>file</key><integer>0</integer>
1705           </dict>
1706          </array>
1707        </dict>
1708       </array>
1709     </dict>
1710     <dict>
1711      <key>kind</key><string>event</string>
1712      <key>location</key>
1713      <dict>
1714       <key>line</key><integer>82</integer>
1715       <key>col</key><integer>24</integer>
1716       <key>file</key><integer>0</integer>
1717      </dict>
1718      <key>ranges</key>
1719      <array>
1720        <array>
1721         <dict>
1722          <key>line</key><integer>82</integer>
1723          <key>col</key><integer>5</integer>
1724          <key>file</key><integer>0</integer>
1725         </dict>
1726         <dict>
1727          <key>line</key><integer>82</integer>
1728          <key>col</key><integer>26</integer>
1729          <key>file</key><integer>0</integer>
1730         </dict>
1731        </array>
1732      </array>
1733      <key>depth</key><integer>0</integer>
1734      <key>extended_message</key>
1735      <string>Dereference of null pointer</string>
1736      <key>message</key>
1737      <string>Dereference of null pointer</string>
1738     </dict>
1739    </array>
1740    <key>description</key><string>Dereference of null pointer</string>
1741    <key>category</key><string>Logic error</string>
1742    <key>type</key><string>Dereference of null pointer</string>
1743    <key>check_name</key><string>core.NullDereference</string>
1744    <!-- This hash is experimental and going to change! -->
1745    <key>issue_hash_content_of_line_in_context</key><string>f56671e5f67c73abef619b56f7c29fa4</string>
1746   <key>issue_context_kind</key><string>function</string>
1747   <key>issue_context</key><string>testNonDiagnosableBranchArithmetic</string>
1748   <key>issue_hash_function_offset</key><string>4</string>
1749   <key>location</key>
1750   <dict>
1751    <key>line</key><integer>82</integer>
1752    <key>col</key><integer>24</integer>
1753    <key>file</key><integer>0</integer>
1754   </dict>
1755   <key>ExecutedLines</key>
1756   <dict>
1757    <key>0</key>
1758    <array>
1759     <integer>78</integer>
1760     <integer>79</integer>
1761     <integer>82</integer>
1762    </array>
1763   </dict>
1764   </dict>
1765  </array>
1766  <key>files</key>
1767  <array>
1768  </array>
1769 </dict>
1770 </plist>