| <?xml version="1.0" encoding="UTF-8"?> |
| <!DOCTYPE plist PUBLIC "-//Apple Computer//DTD PLIST 1.0//EN" "http://www.apple.com/DTDs/PropertyList-1.0.dtd"> |
| <plist version="1.0"> |
| <dict> |
| <key>clang_version</key> |
| <key>diagnostics</key> |
| <array> |
| <dict> |
| <key>path</key> |
| <array> |
| <dict> |
| <key>kind</key><string>control</string> |
| <key>edges</key> |
| <array> |
| <dict> |
| <key>start</key> |
| <array> |
| <dict> |
| <key>line</key><integer>13</integer> |
| <key>col</key><integer>3</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <dict> |
| <key>line</key><integer>13</integer> |
| <key>col</key><integer>5</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| </array> |
| <key>end</key> |
| <array> |
| <dict> |
| <key>line</key><integer>14</integer> |
| <key>col</key><integer>3</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <dict> |
| <key>line</key><integer>14</integer> |
| <key>col</key><integer>5</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| </array> |
| </dict> |
| </array> |
| </dict> |
| <dict> |
| <key>kind</key><string>event</string> |
| <key>location</key> |
| <dict> |
| <key>line</key><integer>14</integer> |
| <key>col</key><integer>3</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <key>ranges</key> |
| <array> |
| <array> |
| <dict> |
| <key>line</key><integer>14</integer> |
| <key>col</key><integer>3</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <dict> |
| <key>line</key><integer>14</integer> |
| <key>col</key><integer>15</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| </array> |
| </array> |
| <key>depth</key><integer>0</integer> |
| <key>extended_message</key> |
| <string>Value assigned to 'syz.x'</string> |
| <key>message</key> |
| <string>Value assigned to 'syz.x'</string> |
| </dict> |
| <dict> |
| <key>kind</key><string>control</string> |
| <key>edges</key> |
| <array> |
| <dict> |
| <key>start</key> |
| <array> |
| <dict> |
| <key>line</key><integer>14</integer> |
| <key>col</key><integer>3</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <dict> |
| <key>line</key><integer>14</integer> |
| <key>col</key><integer>5</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| </array> |
| <key>end</key> |
| <array> |
| <dict> |
| <key>line</key><integer>17</integer> |
| <key>col</key><integer>3</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <dict> |
| <key>line</key><integer>17</integer> |
| <key>col</key><integer>4</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| </array> |
| </dict> |
| </array> |
| </dict> |
| <dict> |
| <key>kind</key><string>control</string> |
| <key>edges</key> |
| <array> |
| <dict> |
| <key>start</key> |
| <array> |
| <dict> |
| <key>line</key><integer>17</integer> |
| <key>col</key><integer>3</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <dict> |
| <key>line</key><integer>17</integer> |
| <key>col</key><integer>4</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| </array> |
| <key>end</key> |
| <array> |
| <dict> |
| <key>line</key><integer>17</integer> |
| <key>col</key><integer>7</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <dict> |
| <key>line</key><integer>17</integer> |
| <key>col</key><integer>8</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| </array> |
| </dict> |
| </array> |
| </dict> |
| <dict> |
| <key>kind</key><string>event</string> |
| <key>location</key> |
| <dict> |
| <key>line</key><integer>17</integer> |
| <key>col</key><integer>7</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <key>ranges</key> |
| <array> |
| <array> |
| <dict> |
| <key>line</key><integer>17</integer> |
| <key>col</key><integer>7</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <dict> |
| <key>line</key><integer>17</integer> |
| <key>col</key><integer>11</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| </array> |
| </array> |
| <key>depth</key><integer>0</integer> |
| <key>extended_message</key> |
| <string>Assuming field 'x' is null</string> |
| <key>message</key> |
| <string>Assuming field 'x' is null</string> |
| </dict> |
| <dict> |
| <key>kind</key><string>control</string> |
| <key>edges</key> |
| <array> |
| <dict> |
| <key>start</key> |
| <array> |
| <dict> |
| <key>line</key><integer>17</integer> |
| <key>col</key><integer>7</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <dict> |
| <key>line</key><integer>17</integer> |
| <key>col</key><integer>8</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| </array> |
| <key>end</key> |
| <array> |
| <dict> |
| <key>line</key><integer>23</integer> |
| <key>col</key><integer>3</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <dict> |
| <key>line</key><integer>23</integer> |
| <key>col</key><integer>3</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| </array> |
| </dict> |
| </array> |
| </dict> |
| <dict> |
| <key>kind</key><string>control</string> |
| <key>edges</key> |
| <array> |
| <dict> |
| <key>start</key> |
| <array> |
| <dict> |
| <key>line</key><integer>23</integer> |
| <key>col</key><integer>3</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <dict> |
| <key>line</key><integer>23</integer> |
| <key>col</key><integer>3</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| </array> |
| <key>end</key> |
| <array> |
| <dict> |
| <key>line</key><integer>23</integer> |
| <key>col</key><integer>8</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <dict> |
| <key>line</key><integer>23</integer> |
| <key>col</key><integer>8</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| </array> |
| </dict> |
| </array> |
| </dict> |
| <dict> |
| <key>kind</key><string>event</string> |
| <key>location</key> |
| <dict> |
| <key>line</key><integer>23</integer> |
| <key>col</key><integer>8</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <key>ranges</key> |
| <array> |
| <array> |
| <dict> |
| <key>line</key><integer>23</integer> |
| <key>col</key><integer>13</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <dict> |
| <key>line</key><integer>23</integer> |
| <key>col</key><integer>13</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| </array> |
| </array> |
| <key>depth</key><integer>0</integer> |
| <key>extended_message</key> |
| <string>Dereference of null pointer (loaded from field 'x')</string> |
| <key>message</key> |
| <string>Dereference of null pointer (loaded from field 'x')</string> |
| </dict> |
| </array> |
| <key>description</key><string>Dereference of null pointer (loaded from field 'x')</string> |
| <key>category</key><string>Logic error</string> |
| <key>type</key><string>Dereference of null pointer</string> |
| <key>check_name</key><string>core.NullDereference</string> |
| <!-- This hash is experimental and going to change! --> |
| <key>issue_hash_content_of_line_in_context</key><string>5cafa075eb4d5b0bf1f228608a3ec87e</string> |
| <key>issue_context_kind</key><string>function</string> |
| <key>issue_context</key><string>test</string> |
| <key>issue_hash_function_offset</key><string>11</string> |
| <key>location</key> |
| <dict> |
| <key>line</key><integer>23</integer> |
| <key>col</key><integer>8</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <key>ExecutedLines</key> |
| <dict> |
| <key>0</key> |
| <array> |
| <integer>12</integer> |
| <integer>13</integer> |
| <integer>14</integer> |
| <integer>16</integer> |
| <integer>17</integer> |
| <integer>23</integer> |
| </array> |
| </dict> |
| </dict> |
| <dict> |
| <key>path</key> |
| <array> |
| <dict> |
| <key>kind</key><string>control</string> |
| <key>edges</key> |
| <array> |
| <dict> |
| <key>start</key> |
| <array> |
| <dict> |
| <key>line</key><integer>28</integer> |
| <key>col</key><integer>3</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <dict> |
| <key>line</key><integer>28</integer> |
| <key>col</key><integer>5</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| </array> |
| <key>end</key> |
| <array> |
| <dict> |
| <key>line</key><integer>29</integer> |
| <key>col</key><integer>3</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <dict> |
| <key>line</key><integer>29</integer> |
| <key>col</key><integer>5</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| </array> |
| </dict> |
| </array> |
| </dict> |
| <dict> |
| <key>kind</key><string>event</string> |
| <key>location</key> |
| <dict> |
| <key>line</key><integer>29</integer> |
| <key>col</key><integer>3</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <key>ranges</key> |
| <array> |
| <array> |
| <dict> |
| <key>line</key><integer>29</integer> |
| <key>col</key><integer>3</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <dict> |
| <key>line</key><integer>29</integer> |
| <key>col</key><integer>15</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| </array> |
| </array> |
| <key>depth</key><integer>0</integer> |
| <key>extended_message</key> |
| <string>Value assigned to 'syz.x'</string> |
| <key>message</key> |
| <string>Value assigned to 'syz.x'</string> |
| </dict> |
| <dict> |
| <key>kind</key><string>control</string> |
| <key>edges</key> |
| <array> |
| <dict> |
| <key>start</key> |
| <array> |
| <dict> |
| <key>line</key><integer>29</integer> |
| <key>col</key><integer>3</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <dict> |
| <key>line</key><integer>29</integer> |
| <key>col</key><integer>5</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| </array> |
| <key>end</key> |
| <array> |
| <dict> |
| <key>line</key><integer>32</integer> |
| <key>col</key><integer>3</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <dict> |
| <key>line</key><integer>32</integer> |
| <key>col</key><integer>4</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| </array> |
| </dict> |
| </array> |
| </dict> |
| <dict> |
| <key>kind</key><string>control</string> |
| <key>edges</key> |
| <array> |
| <dict> |
| <key>start</key> |
| <array> |
| <dict> |
| <key>line</key><integer>32</integer> |
| <key>col</key><integer>3</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <dict> |
| <key>line</key><integer>32</integer> |
| <key>col</key><integer>4</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| </array> |
| <key>end</key> |
| <array> |
| <dict> |
| <key>line</key><integer>32</integer> |
| <key>col</key><integer>7</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <dict> |
| <key>line</key><integer>32</integer> |
| <key>col</key><integer>8</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| </array> |
| </dict> |
| </array> |
| </dict> |
| <dict> |
| <key>kind</key><string>event</string> |
| <key>location</key> |
| <dict> |
| <key>line</key><integer>32</integer> |
| <key>col</key><integer>7</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <key>ranges</key> |
| <array> |
| <array> |
| <dict> |
| <key>line</key><integer>32</integer> |
| <key>col</key><integer>7</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <dict> |
| <key>line</key><integer>32</integer> |
| <key>col</key><integer>11</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| </array> |
| </array> |
| <key>depth</key><integer>0</integer> |
| <key>extended_message</key> |
| <string>Assuming field 'x' is null</string> |
| <key>message</key> |
| <string>Assuming field 'x' is null</string> |
| </dict> |
| <dict> |
| <key>kind</key><string>control</string> |
| <key>edges</key> |
| <array> |
| <dict> |
| <key>start</key> |
| <array> |
| <dict> |
| <key>line</key><integer>32</integer> |
| <key>col</key><integer>7</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <dict> |
| <key>line</key><integer>32</integer> |
| <key>col</key><integer>8</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| </array> |
| <key>end</key> |
| <array> |
| <dict> |
| <key>line</key><integer>37</integer> |
| <key>col</key><integer>3</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <dict> |
| <key>line</key><integer>37</integer> |
| <key>col</key><integer>5</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| </array> |
| </dict> |
| </array> |
| </dict> |
| <dict> |
| <key>kind</key><string>event</string> |
| <key>location</key> |
| <dict> |
| <key>line</key><integer>37</integer> |
| <key>col</key><integer>3</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <key>ranges</key> |
| <array> |
| <array> |
| <dict> |
| <key>line</key><integer>37</integer> |
| <key>col</key><integer>3</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <dict> |
| <key>line</key><integer>37</integer> |
| <key>col</key><integer>8</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| </array> |
| </array> |
| <key>depth</key><integer>0</integer> |
| <key>extended_message</key> |
| <string>'p' initialized to a null pointer value</string> |
| <key>message</key> |
| <string>'p' initialized to a null pointer value</string> |
| </dict> |
| <dict> |
| <key>kind</key><string>control</string> |
| <key>edges</key> |
| <array> |
| <dict> |
| <key>start</key> |
| <array> |
| <dict> |
| <key>line</key><integer>37</integer> |
| <key>col</key><integer>3</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <dict> |
| <key>line</key><integer>37</integer> |
| <key>col</key><integer>5</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| </array> |
| <key>end</key> |
| <array> |
| <dict> |
| <key>line</key><integer>38</integer> |
| <key>col</key><integer>3</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <dict> |
| <key>line</key><integer>38</integer> |
| <key>col</key><integer>3</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| </array> |
| </dict> |
| </array> |
| </dict> |
| <dict> |
| <key>kind</key><string>control</string> |
| <key>edges</key> |
| <array> |
| <dict> |
| <key>start</key> |
| <array> |
| <dict> |
| <key>line</key><integer>38</integer> |
| <key>col</key><integer>3</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <dict> |
| <key>line</key><integer>38</integer> |
| <key>col</key><integer>3</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| </array> |
| <key>end</key> |
| <array> |
| <dict> |
| <key>line</key><integer>38</integer> |
| <key>col</key><integer>7</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <dict> |
| <key>line</key><integer>38</integer> |
| <key>col</key><integer>7</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| </array> |
| </dict> |
| </array> |
| </dict> |
| <dict> |
| <key>kind</key><string>event</string> |
| <key>location</key> |
| <dict> |
| <key>line</key><integer>38</integer> |
| <key>col</key><integer>7</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <key>ranges</key> |
| <array> |
| <array> |
| <dict> |
| <key>line</key><integer>38</integer> |
| <key>col</key><integer>8</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <dict> |
| <key>line</key><integer>38</integer> |
| <key>col</key><integer>8</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| </array> |
| </array> |
| <key>depth</key><integer>0</integer> |
| <key>extended_message</key> |
| <string>Dereference of null pointer (loaded from variable 'p')</string> |
| <key>message</key> |
| <string>Dereference of null pointer (loaded from variable 'p')</string> |
| </dict> |
| </array> |
| <key>description</key><string>Dereference of null pointer (loaded from variable 'p')</string> |
| <key>category</key><string>Logic error</string> |
| <key>type</key><string>Dereference of null pointer</string> |
| <key>check_name</key><string>core.NullDereference</string> |
| <!-- This hash is experimental and going to change! --> |
| <key>issue_hash_content_of_line_in_context</key><string>a213f858dacf7993492e6b32080aaa64</string> |
| <key>issue_context_kind</key><string>function</string> |
| <key>issue_context</key><string>testTrackConstraintBRVisitorIsTrackingTurnedOn</string> |
| <key>issue_hash_function_offset</key><string>11</string> |
| <key>location</key> |
| <dict> |
| <key>line</key><integer>38</integer> |
| <key>col</key><integer>7</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <key>ExecutedLines</key> |
| <dict> |
| <key>0</key> |
| <array> |
| <integer>27</integer> |
| <integer>28</integer> |
| <integer>29</integer> |
| <integer>31</integer> |
| <integer>32</integer> |
| <integer>37</integer> |
| <integer>38</integer> |
| </array> |
| </dict> |
| </dict> |
| </array> |
| <key>files</key> |
| <array> |
| </array> |
| </dict> |
| </plist> |