| <?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>event</string> |
| <key>location</key> |
| <dict> |
| <key>line</key><integer>11</integer> |
| <key>col</key><integer>3</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <key>ranges</key> |
| <array> |
| <array> |
| <dict> |
| <key>line</key><integer>11</integer> |
| <key>col</key><integer>3</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <dict> |
| <key>line</key><integer>11</integer> |
| <key>col</key><integer>10</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| </array> |
| </array> |
| <key>depth</key><integer>0</integer> |
| <key>extended_message</key> |
| <string>Calling 'zero'</string> |
| <key>message</key> |
| <string>Calling 'zero'</string> |
| </dict> |
| <dict> |
| <key>kind</key><string>event</string> |
| <key>location</key> |
| <dict> |
| <key>line</key><integer>5</integer> |
| <key>col</key><integer>1</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <key>depth</key><integer>1</integer> |
| <key>extended_message</key> |
| <string>Entered call from 'testZero'</string> |
| <key>message</key> |
| <string>Entered call from 'testZero'</string> |
| </dict> |
| <dict> |
| <key>kind</key><string>control</string> |
| <key>edges</key> |
| <array> |
| <dict> |
| <key>start</key> |
| <array> |
| <dict> |
| <key>line</key><integer>5</integer> |
| <key>col</key><integer>1</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <dict> |
| <key>line</key><integer>5</integer> |
| <key>col</key><integer>4</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| </array> |
| <key>end</key> |
| <array> |
| <dict> |
| <key>line</key><integer>6</integer> |
| <key>col</key><integer>3</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <dict> |
| <key>line</key><integer>6</integer> |
| <key>col</key><integer>3</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>6</integer> |
| <key>col</key><integer>3</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <key>ranges</key> |
| <array> |
| <array> |
| <dict> |
| <key>line</key><integer>6</integer> |
| <key>col</key><integer>3</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <dict> |
| <key>line</key><integer>6</integer> |
| <key>col</key><integer>8</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| </array> |
| </array> |
| <key>depth</key><integer>1</integer> |
| <key>extended_message</key> |
| <string>Null pointer value stored to 'a'</string> |
| <key>message</key> |
| <string>Null pointer value stored to 'a'</string> |
| </dict> |
| <dict> |
| <key>kind</key><string>event</string> |
| <key>location</key> |
| <dict> |
| <key>line</key><integer>11</integer> |
| <key>col</key><integer>3</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <key>ranges</key> |
| <array> |
| <array> |
| <dict> |
| <key>line</key><integer>11</integer> |
| <key>col</key><integer>3</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <dict> |
| <key>line</key><integer>11</integer> |
| <key>col</key><integer>10</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| </array> |
| </array> |
| <key>depth</key><integer>0</integer> |
| <key>extended_message</key> |
| <string>Returning from 'zero'</string> |
| <key>message</key> |
| <string>Returning from 'zero'</string> |
| </dict> |
| <dict> |
| <key>kind</key><string>control</string> |
| <key>edges</key> |
| <array> |
| <dict> |
| <key>start</key> |
| <array> |
| <dict> |
| <key>line</key><integer>11</integer> |
| <key>col</key><integer>3</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <dict> |
| <key>line</key><integer>11</integer> |
| <key>col</key><integer>6</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>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>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>3</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| </array> |
| <key>end</key> |
| <array> |
| <dict> |
| <key>line</key><integer>14</integer> |
| <key>col</key><integer>6</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <dict> |
| <key>line</key><integer>14</integer> |
| <key>col</key><integer>6</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>6</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <key>ranges</key> |
| <array> |
| <array> |
| <dict> |
| <key>line</key><integer>14</integer> |
| <key>col</key><integer>4</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <dict> |
| <key>line</key><integer>14</integer> |
| <key>col</key><integer>4</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 'a')</string> |
| <key>message</key> |
| <string>Dereference of null pointer (loaded from variable 'a')</string> |
| </dict> |
| </array> |
| <key>description</key><string>Dereference of null pointer (loaded from variable 'a')</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>52499a849b132453be19ec9167d8c021</string> |
| <key>issue_context_kind</key><string>function</string> |
| <key>issue_context</key><string>testZero</string> |
| <key>issue_hash_function_offset</key><string>4</string> |
| <key>location</key> |
| <dict> |
| <key>line</key><integer>14</integer> |
| <key>col</key><integer>6</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <key>ExecutedLines</key> |
| <dict> |
| <key>0</key> |
| <array> |
| <integer>5</integer> |
| <integer>6</integer> |
| <integer>10</integer> |
| <integer>11</integer> |
| <integer>14</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>19</integer> |
| <key>col</key><integer>3</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <dict> |
| <key>line</key><integer>19</integer> |
| <key>col</key><integer>4</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| </array> |
| <key>end</key> |
| <array> |
| <dict> |
| <key>line</key><integer>19</integer> |
| <key>col</key><integer>7</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <dict> |
| <key>line</key><integer>19</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>19</integer> |
| <key>col</key><integer>7</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <key>ranges</key> |
| <array> |
| <array> |
| <dict> |
| <key>line</key><integer>19</integer> |
| <key>col</key><integer>7</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <dict> |
| <key>line</key><integer>19</integer> |
| <key>col</key><integer>7</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| </array> |
| </array> |
| <key>depth</key><integer>0</integer> |
| <key>extended_message</key> |
| <string>Assuming 'a' is null</string> |
| <key>message</key> |
| <string>Assuming 'a' 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>19</integer> |
| <key>col</key><integer>7</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <dict> |
| <key>line</key><integer>19</integer> |
| <key>col</key><integer>7</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| </array> |
| <key>end</key> |
| <array> |
| <dict> |
| <key>line</key><integer>24</integer> |
| <key>col</key><integer>3</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <dict> |
| <key>line</key><integer>24</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>24</integer> |
| <key>col</key><integer>3</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <dict> |
| <key>line</key><integer>24</integer> |
| <key>col</key><integer>3</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| </array> |
| <key>end</key> |
| <array> |
| <dict> |
| <key>line</key><integer>24</integer> |
| <key>col</key><integer>6</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <dict> |
| <key>line</key><integer>24</integer> |
| <key>col</key><integer>6</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>24</integer> |
| <key>col</key><integer>6</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <key>ranges</key> |
| <array> |
| <array> |
| <dict> |
| <key>line</key><integer>24</integer> |
| <key>col</key><integer>4</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <dict> |
| <key>line</key><integer>24</integer> |
| <key>col</key><integer>4</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 'a')</string> |
| <key>message</key> |
| <string>Dereference of null pointer (loaded from variable 'a')</string> |
| </dict> |
| </array> |
| <key>description</key><string>Dereference of null pointer (loaded from variable 'a')</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>cb893891b6a08ee4b7dc3d0c11df856e</string> |
| <key>issue_context_kind</key><string>function</string> |
| <key>issue_context</key><string>testCheck</string> |
| <key>issue_hash_function_offset</key><string>6</string> |
| <key>location</key> |
| <dict> |
| <key>line</key><integer>24</integer> |
| <key>col</key><integer>6</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <key>ExecutedLines</key> |
| <dict> |
| <key>0</key> |
| <array> |
| <integer>18</integer> |
| <integer>19</integer> |
| <integer>24</integer> |
| </array> |
| </dict> |
| </dict> |
| <dict> |
| <key>path</key> |
| <array> |
| <dict> |
| <key>kind</key><string>event</string> |
| <key>location</key> |
| <dict> |
| <key>line</key><integer>32</integer> |
| <key>col</key><integer>3</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <key>ranges</key> |
| <array> |
| <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>8</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| </array> |
| </array> |
| <key>depth</key><integer>0</integer> |
| <key>extended_message</key> |
| <string>'a' initialized here</string> |
| <key>message</key> |
| <string>'a' initialized here</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>3</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <dict> |
| <key>line</key><integer>32</integer> |
| <key>col</key><integer>5</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| </array> |
| <key>end</key> |
| <array> |
| <dict> |
| <key>line</key><integer>34</integer> |
| <key>col</key><integer>3</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <dict> |
| <key>line</key><integer>34</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>34</integer> |
| <key>col</key><integer>3</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <dict> |
| <key>line</key><integer>34</integer> |
| <key>col</key><integer>4</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| </array> |
| <key>end</key> |
| <array> |
| <dict> |
| <key>line</key><integer>34</integer> |
| <key>col</key><integer>7</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <dict> |
| <key>line</key><integer>34</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>34</integer> |
| <key>col</key><integer>7</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <key>ranges</key> |
| <array> |
| <array> |
| <dict> |
| <key>line</key><integer>34</integer> |
| <key>col</key><integer>7</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <dict> |
| <key>line</key><integer>34</integer> |
| <key>col</key><integer>7</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| </array> |
| </array> |
| <key>depth</key><integer>0</integer> |
| <key>extended_message</key> |
| <string>Assuming 'a' is null</string> |
| <key>message</key> |
| <string>Assuming 'a' 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>34</integer> |
| <key>col</key><integer>7</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <dict> |
| <key>line</key><integer>34</integer> |
| <key>col</key><integer>7</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| </array> |
| <key>end</key> |
| <array> |
| <dict> |
| <key>line</key><integer>39</integer> |
| <key>col</key><integer>3</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <dict> |
| <key>line</key><integer>39</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>39</integer> |
| <key>col</key><integer>3</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <dict> |
| <key>line</key><integer>39</integer> |
| <key>col</key><integer>3</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| </array> |
| <key>end</key> |
| <array> |
| <dict> |
| <key>line</key><integer>39</integer> |
| <key>col</key><integer>6</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <dict> |
| <key>line</key><integer>39</integer> |
| <key>col</key><integer>6</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>39</integer> |
| <key>col</key><integer>6</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <key>ranges</key> |
| <array> |
| <array> |
| <dict> |
| <key>line</key><integer>39</integer> |
| <key>col</key><integer>4</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <dict> |
| <key>line</key><integer>39</integer> |
| <key>col</key><integer>4</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 'a')</string> |
| <key>message</key> |
| <string>Dereference of null pointer (loaded from variable 'a')</string> |
| </dict> |
| </array> |
| <key>description</key><string>Dereference of null pointer (loaded from variable 'a')</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>ec20b5e53a72c82d442b3ca04c81e138</string> |
| <key>issue_context_kind</key><string>function</string> |
| <key>issue_context</key><string>testInitCheck</string> |
| <key>issue_hash_function_offset</key><string>8</string> |
| <key>location</key> |
| <dict> |
| <key>line</key><integer>39</integer> |
| <key>col</key><integer>6</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <key>ExecutedLines</key> |
| <dict> |
| <key>0</key> |
| <array> |
| <integer>31</integer> |
| <integer>32</integer> |
| <integer>34</integer> |
| <integer>39</integer> |
| </array> |
| </dict> |
| </dict> |
| <dict> |
| <key>path</key> |
| <array> |
| <dict> |
| <key>kind</key><string>event</string> |
| <key>location</key> |
| <dict> |
| <key>line</key><integer>44</integer> |
| <key>col</key><integer>3</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <key>ranges</key> |
| <array> |
| <array> |
| <dict> |
| <key>line</key><integer>44</integer> |
| <key>col</key><integer>3</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <dict> |
| <key>line</key><integer>44</integer> |
| <key>col</key><integer>18</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| </array> |
| </array> |
| <key>depth</key><integer>0</integer> |
| <key>extended_message</key> |
| <string>Value assigned to 'a'</string> |
| <key>message</key> |
| <string>Value assigned to 'a'</string> |
| </dict> |
| <dict> |
| <key>kind</key><string>control</string> |
| <key>edges</key> |
| <array> |
| <dict> |
| <key>start</key> |
| <array> |
| <dict> |
| <key>line</key><integer>44</integer> |
| <key>col</key><integer>3</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <dict> |
| <key>line</key><integer>44</integer> |
| <key>col</key><integer>3</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| </array> |
| <key>end</key> |
| <array> |
| <dict> |
| <key>line</key><integer>46</integer> |
| <key>col</key><integer>3</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <dict> |
| <key>line</key><integer>46</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>46</integer> |
| <key>col</key><integer>3</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <dict> |
| <key>line</key><integer>46</integer> |
| <key>col</key><integer>4</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| </array> |
| <key>end</key> |
| <array> |
| <dict> |
| <key>line</key><integer>46</integer> |
| <key>col</key><integer>7</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <dict> |
| <key>line</key><integer>46</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>46</integer> |
| <key>col</key><integer>7</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <key>ranges</key> |
| <array> |
| <array> |
| <dict> |
| <key>line</key><integer>46</integer> |
| <key>col</key><integer>7</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <dict> |
| <key>line</key><integer>46</integer> |
| <key>col</key><integer>7</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| </array> |
| </array> |
| <key>depth</key><integer>0</integer> |
| <key>extended_message</key> |
| <string>Assuming 'a' is null</string> |
| <key>message</key> |
| <string>Assuming 'a' 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>46</integer> |
| <key>col</key><integer>7</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <dict> |
| <key>line</key><integer>46</integer> |
| <key>col</key><integer>7</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| </array> |
| <key>end</key> |
| <array> |
| <dict> |
| <key>line</key><integer>51</integer> |
| <key>col</key><integer>3</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <dict> |
| <key>line</key><integer>51</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>51</integer> |
| <key>col</key><integer>3</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <dict> |
| <key>line</key><integer>51</integer> |
| <key>col</key><integer>3</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| </array> |
| <key>end</key> |
| <array> |
| <dict> |
| <key>line</key><integer>51</integer> |
| <key>col</key><integer>6</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <dict> |
| <key>line</key><integer>51</integer> |
| <key>col</key><integer>6</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>51</integer> |
| <key>col</key><integer>6</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <key>ranges</key> |
| <array> |
| <array> |
| <dict> |
| <key>line</key><integer>51</integer> |
| <key>col</key><integer>4</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <dict> |
| <key>line</key><integer>51</integer> |
| <key>col</key><integer>4</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 'a')</string> |
| <key>message</key> |
| <string>Dereference of null pointer (loaded from variable 'a')</string> |
| </dict> |
| </array> |
| <key>description</key><string>Dereference of null pointer (loaded from variable 'a')</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>1ae8e7c84d15f307abc1df9f5612078b</string> |
| <key>issue_context_kind</key><string>function</string> |
| <key>issue_context</key><string>testStoreCheck</string> |
| <key>issue_hash_function_offset</key><string>8</string> |
| <key>location</key> |
| <dict> |
| <key>line</key><integer>51</integer> |
| <key>col</key><integer>6</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <key>ExecutedLines</key> |
| <dict> |
| <key>0</key> |
| <array> |
| <integer>43</integer> |
| <integer>44</integer> |
| <integer>46</integer> |
| <integer>51</integer> |
| </array> |
| </dict> |
| </dict> |
| <dict> |
| <key>path</key> |
| <array> |
| <dict> |
| <key>kind</key><string>event</string> |
| <key>location</key> |
| <dict> |
| <key>line</key><integer>65</integer> |
| <key>col</key><integer>4</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <key>ranges</key> |
| <array> |
| <array> |
| <dict> |
| <key>line</key><integer>65</integer> |
| <key>col</key><integer>4</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <dict> |
| <key>line</key><integer>65</integer> |
| <key>col</key><integer>12</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| </array> |
| </array> |
| <key>depth</key><integer>0</integer> |
| <key>extended_message</key> |
| <string>Calling 'getZero'</string> |
| <key>message</key> |
| <string>Calling 'getZero'</string> |
| </dict> |
| <dict> |
| <key>kind</key><string>event</string> |
| <key>location</key> |
| <dict> |
| <key>line</key><integer>56</integer> |
| <key>col</key><integer>1</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <key>depth</key><integer>1</integer> |
| <key>extended_message</key> |
| <string>Entered call from 'testReturnZero'</string> |
| <key>message</key> |
| <string>Entered call from 'testReturnZero'</string> |
| </dict> |
| <dict> |
| <key>kind</key><string>control</string> |
| <key>edges</key> |
| <array> |
| <dict> |
| <key>start</key> |
| <array> |
| <dict> |
| <key>line</key><integer>56</integer> |
| <key>col</key><integer>1</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <dict> |
| <key>line</key><integer>56</integer> |
| <key>col</key><integer>3</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| </array> |
| <key>end</key> |
| <array> |
| <dict> |
| <key>line</key><integer>57</integer> |
| <key>col</key><integer>3</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <dict> |
| <key>line</key><integer>57</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>57</integer> |
| <key>col</key><integer>3</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <key>ranges</key> |
| <array> |
| <array> |
| <dict> |
| <key>line</key><integer>57</integer> |
| <key>col</key><integer>3</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <dict> |
| <key>line</key><integer>57</integer> |
| <key>col</key><integer>8</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| </array> |
| </array> |
| <key>depth</key><integer>1</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>57</integer> |
| <key>col</key><integer>3</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <dict> |
| <key>line</key><integer>57</integer> |
| <key>col</key><integer>5</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| </array> |
| <key>end</key> |
| <array> |
| <dict> |
| <key>line</key><integer>60</integer> |
| <key>col</key><integer>3</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <dict> |
| <key>line</key><integer>60</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>60</integer> |
| <key>col</key><integer>3</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <key>ranges</key> |
| <array> |
| <array> |
| <dict> |
| <key>line</key><integer>60</integer> |
| <key>col</key><integer>3</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <dict> |
| <key>line</key><integer>60</integer> |
| <key>col</key><integer>10</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| </array> |
| </array> |
| <key>depth</key><integer>1</integer> |
| <key>extended_message</key> |
| <string>Returning null pointer (loaded from 'p')</string> |
| <key>message</key> |
| <string>Returning null pointer (loaded from 'p')</string> |
| </dict> |
| <dict> |
| <key>kind</key><string>event</string> |
| <key>location</key> |
| <dict> |
| <key>line</key><integer>65</integer> |
| <key>col</key><integer>4</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <key>ranges</key> |
| <array> |
| <array> |
| <dict> |
| <key>line</key><integer>65</integer> |
| <key>col</key><integer>4</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <dict> |
| <key>line</key><integer>65</integer> |
| <key>col</key><integer>12</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| </array> |
| </array> |
| <key>depth</key><integer>0</integer> |
| <key>extended_message</key> |
| <string>Returning from 'getZero'</string> |
| <key>message</key> |
| <string>Returning from 'getZero'</string> |
| </dict> |
| <dict> |
| <key>kind</key><string>control</string> |
| <key>edges</key> |
| <array> |
| <dict> |
| <key>start</key> |
| <array> |
| <dict> |
| <key>line</key><integer>65</integer> |
| <key>col</key><integer>3</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <dict> |
| <key>line</key><integer>65</integer> |
| <key>col</key><integer>3</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| </array> |
| <key>end</key> |
| <array> |
| <dict> |
| <key>line</key><integer>65</integer> |
| <key>col</key><integer>14</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <dict> |
| <key>line</key><integer>65</integer> |
| <key>col</key><integer>14</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>65</integer> |
| <key>col</key><integer>14</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <key>ranges</key> |
| <array> |
| <array> |
| <dict> |
| <key>line</key><integer>65</integer> |
| <key>col</key><integer>3</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <dict> |
| <key>line</key><integer>65</integer> |
| <key>col</key><integer>16</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</string> |
| <key>message</key> |
| <string>Dereference of null pointer</string> |
| </dict> |
| </array> |
| <key>description</key><string>Dereference of null pointer</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>d03346854b8f45b55cbd5efe29bf2c8e</string> |
| <key>issue_context_kind</key><string>function</string> |
| <key>issue_context</key><string>testReturnZero</string> |
| <key>issue_hash_function_offset</key><string>1</string> |
| <key>location</key> |
| <dict> |
| <key>line</key><integer>65</integer> |
| <key>col</key><integer>14</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <key>ExecutedLines</key> |
| <dict> |
| <key>0</key> |
| <array> |
| <integer>56</integer> |
| <integer>57</integer> |
| <integer>60</integer> |
| <integer>64</integer> |
| <integer>65</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>72</integer> |
| <key>col</key><integer>3</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <dict> |
| <key>line</key><integer>72</integer> |
| <key>col</key><integer>8</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| </array> |
| <key>end</key> |
| <array> |
| <dict> |
| <key>line</key><integer>72</integer> |
| <key>col</key><integer>11</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <dict> |
| <key>line</key><integer>72</integer> |
| <key>col</key><integer>17</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>72</integer> |
| <key>col</key><integer>11</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <key>ranges</key> |
| <array> |
| <array> |
| <dict> |
| <key>line</key><integer>72</integer> |
| <key>col</key><integer>11</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <dict> |
| <key>line</key><integer>72</integer> |
| <key>col</key><integer>19</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| </array> |
| </array> |
| <key>depth</key><integer>0</integer> |
| <key>extended_message</key> |
| <string>Calling 'getZero'</string> |
| <key>message</key> |
| <string>Calling 'getZero'</string> |
| </dict> |
| <dict> |
| <key>kind</key><string>event</string> |
| <key>location</key> |
| <dict> |
| <key>line</key><integer>56</integer> |
| <key>col</key><integer>1</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <key>depth</key><integer>1</integer> |
| <key>extended_message</key> |
| <string>Entered call from 'testReturnZero2'</string> |
| <key>message</key> |
| <string>Entered call from 'testReturnZero2'</string> |
| </dict> |
| <dict> |
| <key>kind</key><string>control</string> |
| <key>edges</key> |
| <array> |
| <dict> |
| <key>start</key> |
| <array> |
| <dict> |
| <key>line</key><integer>56</integer> |
| <key>col</key><integer>1</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <dict> |
| <key>line</key><integer>56</integer> |
| <key>col</key><integer>3</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| </array> |
| <key>end</key> |
| <array> |
| <dict> |
| <key>line</key><integer>57</integer> |
| <key>col</key><integer>3</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <dict> |
| <key>line</key><integer>57</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>57</integer> |
| <key>col</key><integer>3</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <key>ranges</key> |
| <array> |
| <array> |
| <dict> |
| <key>line</key><integer>57</integer> |
| <key>col</key><integer>3</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <dict> |
| <key>line</key><integer>57</integer> |
| <key>col</key><integer>8</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| </array> |
| </array> |
| <key>depth</key><integer>1</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>57</integer> |
| <key>col</key><integer>3</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <dict> |
| <key>line</key><integer>57</integer> |
| <key>col</key><integer>5</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| </array> |
| <key>end</key> |
| <array> |
| <dict> |
| <key>line</key><integer>60</integer> |
| <key>col</key><integer>3</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <dict> |
| <key>line</key><integer>60</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>60</integer> |
| <key>col</key><integer>3</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <key>ranges</key> |
| <array> |
| <array> |
| <dict> |
| <key>line</key><integer>60</integer> |
| <key>col</key><integer>3</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <dict> |
| <key>line</key><integer>60</integer> |
| <key>col</key><integer>10</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| </array> |
| </array> |
| <key>depth</key><integer>1</integer> |
| <key>extended_message</key> |
| <string>Returning null pointer (loaded from 'p')</string> |
| <key>message</key> |
| <string>Returning null pointer (loaded from 'p')</string> |
| </dict> |
| <dict> |
| <key>kind</key><string>event</string> |
| <key>location</key> |
| <dict> |
| <key>line</key><integer>72</integer> |
| <key>col</key><integer>11</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <key>ranges</key> |
| <array> |
| <array> |
| <dict> |
| <key>line</key><integer>72</integer> |
| <key>col</key><integer>11</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <dict> |
| <key>line</key><integer>72</integer> |
| <key>col</key><integer>19</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| </array> |
| </array> |
| <key>depth</key><integer>0</integer> |
| <key>extended_message</key> |
| <string>Returning from 'getZero'</string> |
| <key>message</key> |
| <string>Returning from 'getZero'</string> |
| </dict> |
| <dict> |
| <key>kind</key><string>event</string> |
| <key>location</key> |
| <dict> |
| <key>line</key><integer>72</integer> |
| <key>col</key><integer>10</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <key>ranges</key> |
| <array> |
| <array> |
| <dict> |
| <key>line</key><integer>72</integer> |
| <key>col</key><integer>10</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <dict> |
| <key>line</key><integer>72</integer> |
| <key>col</key><integer>19</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</string> |
| <key>message</key> |
| <string>Dereference of null pointer</string> |
| </dict> |
| </array> |
| <key>description</key><string>Dereference of null pointer</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>5a72f98932a4061a833287a12b28ba8b</string> |
| <key>issue_context_kind</key><string>function</string> |
| <key>issue_context</key><string>testReturnZero2</string> |
| <key>issue_hash_function_offset</key><string>1</string> |
| <key>location</key> |
| <dict> |
| <key>line</key><integer>72</integer> |
| <key>col</key><integer>10</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <key>ExecutedLines</key> |
| <dict> |
| <key>0</key> |
| <array> |
| <integer>56</integer> |
| <integer>57</integer> |
| <integer>60</integer> |
| <integer>71</integer> |
| <integer>72</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>79</integer> |
| <key>col</key><integer>3</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <dict> |
| <key>line</key><integer>79</integer> |
| <key>col</key><integer>5</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| </array> |
| <key>end</key> |
| <array> |
| <dict> |
| <key>line</key><integer>79</integer> |
| <key>col</key><integer>12</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <dict> |
| <key>line</key><integer>79</integer> |
| <key>col</key><integer>18</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>79</integer> |
| <key>col</key><integer>12</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <key>ranges</key> |
| <array> |
| <array> |
| <dict> |
| <key>line</key><integer>79</integer> |
| <key>col</key><integer>12</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <dict> |
| <key>line</key><integer>79</integer> |
| <key>col</key><integer>20</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| </array> |
| </array> |
| <key>depth</key><integer>0</integer> |
| <key>extended_message</key> |
| <string>Calling 'getZero'</string> |
| <key>message</key> |
| <string>Calling 'getZero'</string> |
| </dict> |
| <dict> |
| <key>kind</key><string>event</string> |
| <key>location</key> |
| <dict> |
| <key>line</key><integer>56</integer> |
| <key>col</key><integer>1</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <key>depth</key><integer>1</integer> |
| <key>extended_message</key> |
| <string>Entered call from 'testInitZero'</string> |
| <key>message</key> |
| <string>Entered call from 'testInitZero'</string> |
| </dict> |
| <dict> |
| <key>kind</key><string>control</string> |
| <key>edges</key> |
| <array> |
| <dict> |
| <key>start</key> |
| <array> |
| <dict> |
| <key>line</key><integer>56</integer> |
| <key>col</key><integer>1</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <dict> |
| <key>line</key><integer>56</integer> |
| <key>col</key><integer>3</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| </array> |
| <key>end</key> |
| <array> |
| <dict> |
| <key>line</key><integer>57</integer> |
| <key>col</key><integer>3</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <dict> |
| <key>line</key><integer>57</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>57</integer> |
| <key>col</key><integer>3</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <key>ranges</key> |
| <array> |
| <array> |
| <dict> |
| <key>line</key><integer>57</integer> |
| <key>col</key><integer>3</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <dict> |
| <key>line</key><integer>57</integer> |
| <key>col</key><integer>8</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| </array> |
| </array> |
| <key>depth</key><integer>1</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>57</integer> |
| <key>col</key><integer>3</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <dict> |
| <key>line</key><integer>57</integer> |
| <key>col</key><integer>5</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| </array> |
| <key>end</key> |
| <array> |
| <dict> |
| <key>line</key><integer>60</integer> |
| <key>col</key><integer>3</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <dict> |
| <key>line</key><integer>60</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>60</integer> |
| <key>col</key><integer>3</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <key>ranges</key> |
| <array> |
| <array> |
| <dict> |
| <key>line</key><integer>60</integer> |
| <key>col</key><integer>3</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <dict> |
| <key>line</key><integer>60</integer> |
| <key>col</key><integer>10</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| </array> |
| </array> |
| <key>depth</key><integer>1</integer> |
| <key>extended_message</key> |
| <string>Returning null pointer (loaded from 'p')</string> |
| <key>message</key> |
| <string>Returning null pointer (loaded from 'p')</string> |
| </dict> |
| <dict> |
| <key>kind</key><string>event</string> |
| <key>location</key> |
| <dict> |
| <key>line</key><integer>79</integer> |
| <key>col</key><integer>12</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <key>ranges</key> |
| <array> |
| <array> |
| <dict> |
| <key>line</key><integer>79</integer> |
| <key>col</key><integer>12</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <dict> |
| <key>line</key><integer>79</integer> |
| <key>col</key><integer>20</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| </array> |
| </array> |
| <key>depth</key><integer>0</integer> |
| <key>extended_message</key> |
| <string>Returning from 'getZero'</string> |
| <key>message</key> |
| <string>Returning from 'getZero'</string> |
| </dict> |
| <dict> |
| <key>kind</key><string>control</string> |
| <key>edges</key> |
| <array> |
| <dict> |
| <key>start</key> |
| <array> |
| <dict> |
| <key>line</key><integer>79</integer> |
| <key>col</key><integer>12</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <dict> |
| <key>line</key><integer>79</integer> |
| <key>col</key><integer>18</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| </array> |
| <key>end</key> |
| <array> |
| <dict> |
| <key>line</key><integer>79</integer> |
| <key>col</key><integer>3</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <dict> |
| <key>line</key><integer>79</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>79</integer> |
| <key>col</key><integer>3</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <key>ranges</key> |
| <array> |
| <array> |
| <dict> |
| <key>line</key><integer>79</integer> |
| <key>col</key><integer>3</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <dict> |
| <key>line</key><integer>79</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>'a' initialized to a null pointer value</string> |
| <key>message</key> |
| <string>'a' 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>79</integer> |
| <key>col</key><integer>3</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <dict> |
| <key>line</key><integer>79</integer> |
| <key>col</key><integer>5</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| </array> |
| <key>end</key> |
| <array> |
| <dict> |
| <key>line</key><integer>83</integer> |
| <key>col</key><integer>3</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <dict> |
| <key>line</key><integer>83</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>83</integer> |
| <key>col</key><integer>3</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <dict> |
| <key>line</key><integer>83</integer> |
| <key>col</key><integer>3</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| </array> |
| <key>end</key> |
| <array> |
| <dict> |
| <key>line</key><integer>83</integer> |
| <key>col</key><integer>6</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <dict> |
| <key>line</key><integer>83</integer> |
| <key>col</key><integer>6</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>83</integer> |
| <key>col</key><integer>6</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <key>ranges</key> |
| <array> |
| <array> |
| <dict> |
| <key>line</key><integer>83</integer> |
| <key>col</key><integer>4</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <dict> |
| <key>line</key><integer>83</integer> |
| <key>col</key><integer>4</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 'a')</string> |
| <key>message</key> |
| <string>Dereference of null pointer (loaded from variable 'a')</string> |
| </dict> |
| </array> |
| <key>description</key><string>Dereference of null pointer (loaded from variable 'a')</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>6d3745ba4b32e1858de16c61fecf8ed4</string> |
| <key>issue_context_kind</key><string>function</string> |
| <key>issue_context</key><string>testInitZero</string> |
| <key>issue_hash_function_offset</key><string>5</string> |
| <key>location</key> |
| <dict> |
| <key>line</key><integer>83</integer> |
| <key>col</key><integer>6</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <key>ExecutedLines</key> |
| <dict> |
| <key>0</key> |
| <array> |
| <integer>56</integer> |
| <integer>57</integer> |
| <integer>60</integer> |
| <integer>78</integer> |
| <integer>79</integer> |
| <integer>83</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>88</integer> |
| <key>col</key><integer>3</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <dict> |
| <key>line</key><integer>88</integer> |
| <key>col</key><integer>3</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| </array> |
| <key>end</key> |
| <array> |
| <dict> |
| <key>line</key><integer>88</integer> |
| <key>col</key><integer>7</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <dict> |
| <key>line</key><integer>88</integer> |
| <key>col</key><integer>13</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>88</integer> |
| <key>col</key><integer>7</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <key>ranges</key> |
| <array> |
| <array> |
| <dict> |
| <key>line</key><integer>88</integer> |
| <key>col</key><integer>7</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <dict> |
| <key>line</key><integer>88</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>Calling 'getZero'</string> |
| <key>message</key> |
| <string>Calling 'getZero'</string> |
| </dict> |
| <dict> |
| <key>kind</key><string>event</string> |
| <key>location</key> |
| <dict> |
| <key>line</key><integer>56</integer> |
| <key>col</key><integer>1</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <key>depth</key><integer>1</integer> |
| <key>extended_message</key> |
| <string>Entered call from 'testStoreZero'</string> |
| <key>message</key> |
| <string>Entered call from 'testStoreZero'</string> |
| </dict> |
| <dict> |
| <key>kind</key><string>control</string> |
| <key>edges</key> |
| <array> |
| <dict> |
| <key>start</key> |
| <array> |
| <dict> |
| <key>line</key><integer>56</integer> |
| <key>col</key><integer>1</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <dict> |
| <key>line</key><integer>56</integer> |
| <key>col</key><integer>3</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| </array> |
| <key>end</key> |
| <array> |
| <dict> |
| <key>line</key><integer>57</integer> |
| <key>col</key><integer>3</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <dict> |
| <key>line</key><integer>57</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>57</integer> |
| <key>col</key><integer>3</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <key>ranges</key> |
| <array> |
| <array> |
| <dict> |
| <key>line</key><integer>57</integer> |
| <key>col</key><integer>3</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <dict> |
| <key>line</key><integer>57</integer> |
| <key>col</key><integer>8</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| </array> |
| </array> |
| <key>depth</key><integer>1</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>57</integer> |
| <key>col</key><integer>3</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <dict> |
| <key>line</key><integer>57</integer> |
| <key>col</key><integer>5</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| </array> |
| <key>end</key> |
| <array> |
| <dict> |
| <key>line</key><integer>60</integer> |
| <key>col</key><integer>3</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <dict> |
| <key>line</key><integer>60</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>60</integer> |
| <key>col</key><integer>3</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <key>ranges</key> |
| <array> |
| <array> |
| <dict> |
| <key>line</key><integer>60</integer> |
| <key>col</key><integer>3</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <dict> |
| <key>line</key><integer>60</integer> |
| <key>col</key><integer>10</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| </array> |
| </array> |
| <key>depth</key><integer>1</integer> |
| <key>extended_message</key> |
| <string>Returning null pointer (loaded from 'p')</string> |
| <key>message</key> |
| <string>Returning null pointer (loaded from 'p')</string> |
| </dict> |
| <dict> |
| <key>kind</key><string>event</string> |
| <key>location</key> |
| <dict> |
| <key>line</key><integer>88</integer> |
| <key>col</key><integer>7</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <key>ranges</key> |
| <array> |
| <array> |
| <dict> |
| <key>line</key><integer>88</integer> |
| <key>col</key><integer>7</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <dict> |
| <key>line</key><integer>88</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>Returning from 'getZero'</string> |
| <key>message</key> |
| <string>Returning from 'getZero'</string> |
| </dict> |
| <dict> |
| <key>kind</key><string>control</string> |
| <key>edges</key> |
| <array> |
| <dict> |
| <key>start</key> |
| <array> |
| <dict> |
| <key>line</key><integer>88</integer> |
| <key>col</key><integer>7</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <dict> |
| <key>line</key><integer>88</integer> |
| <key>col</key><integer>13</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| </array> |
| <key>end</key> |
| <array> |
| <dict> |
| <key>line</key><integer>88</integer> |
| <key>col</key><integer>3</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <dict> |
| <key>line</key><integer>88</integer> |
| <key>col</key><integer>3</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>88</integer> |
| <key>col</key><integer>3</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <key>ranges</key> |
| <array> |
| <array> |
| <dict> |
| <key>line</key><integer>88</integer> |
| <key>col</key><integer>3</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <dict> |
| <key>line</key><integer>88</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>Null pointer value stored to 'a'</string> |
| <key>message</key> |
| <string>Null pointer value stored to 'a'</string> |
| </dict> |
| <dict> |
| <key>kind</key><string>control</string> |
| <key>edges</key> |
| <array> |
| <dict> |
| <key>start</key> |
| <array> |
| <dict> |
| <key>line</key><integer>88</integer> |
| <key>col</key><integer>3</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <dict> |
| <key>line</key><integer>88</integer> |
| <key>col</key><integer>3</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| </array> |
| <key>end</key> |
| <array> |
| <dict> |
| <key>line</key><integer>92</integer> |
| <key>col</key><integer>3</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <dict> |
| <key>line</key><integer>92</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>92</integer> |
| <key>col</key><integer>3</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <dict> |
| <key>line</key><integer>92</integer> |
| <key>col</key><integer>3</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| </array> |
| <key>end</key> |
| <array> |
| <dict> |
| <key>line</key><integer>92</integer> |
| <key>col</key><integer>6</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <dict> |
| <key>line</key><integer>92</integer> |
| <key>col</key><integer>6</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>92</integer> |
| <key>col</key><integer>6</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <key>ranges</key> |
| <array> |
| <array> |
| <dict> |
| <key>line</key><integer>92</integer> |
| <key>col</key><integer>4</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <dict> |
| <key>line</key><integer>92</integer> |
| <key>col</key><integer>4</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 'a')</string> |
| <key>message</key> |
| <string>Dereference of null pointer (loaded from variable 'a')</string> |
| </dict> |
| </array> |
| <key>description</key><string>Dereference of null pointer (loaded from variable 'a')</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>2d25b170621486480ca76aaba4c7a0c0</string> |
| <key>issue_context_kind</key><string>function</string> |
| <key>issue_context</key><string>testStoreZero</string> |
| <key>issue_hash_function_offset</key><string>5</string> |
| <key>location</key> |
| <dict> |
| <key>line</key><integer>92</integer> |
| <key>col</key><integer>6</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <key>ExecutedLines</key> |
| <dict> |
| <key>0</key> |
| <array> |
| <integer>56</integer> |
| <integer>57</integer> |
| <integer>60</integer> |
| <integer>87</integer> |
| <integer>88</integer> |
| <integer>92</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>103</integer> |
| <key>col</key><integer>3</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <dict> |
| <key>line</key><integer>103</integer> |
| <key>col</key><integer>12</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| </array> |
| <key>end</key> |
| <array> |
| <dict> |
| <key>line</key><integer>103</integer> |
| <key>col</key><integer>14</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <dict> |
| <key>line</key><integer>103</integer> |
| <key>col</key><integer>20</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>103</integer> |
| <key>col</key><integer>14</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <key>ranges</key> |
| <array> |
| <array> |
| <dict> |
| <key>line</key><integer>103</integer> |
| <key>col</key><integer>14</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <dict> |
| <key>line</key><integer>103</integer> |
| <key>col</key><integer>22</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| </array> |
| </array> |
| <key>depth</key><integer>0</integer> |
| <key>extended_message</key> |
| <string>Calling 'getZero'</string> |
| <key>message</key> |
| <string>Calling 'getZero'</string> |
| </dict> |
| <dict> |
| <key>kind</key><string>event</string> |
| <key>location</key> |
| <dict> |
| <key>line</key><integer>56</integer> |
| <key>col</key><integer>1</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <key>depth</key><integer>1</integer> |
| <key>extended_message</key> |
| <string>Entered call from 'testUseOfNullPointer'</string> |
| <key>message</key> |
| <string>Entered call from 'testUseOfNullPointer'</string> |
| </dict> |
| <dict> |
| <key>kind</key><string>control</string> |
| <key>edges</key> |
| <array> |
| <dict> |
| <key>start</key> |
| <array> |
| <dict> |
| <key>line</key><integer>56</integer> |
| <key>col</key><integer>1</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <dict> |
| <key>line</key><integer>56</integer> |
| <key>col</key><integer>3</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| </array> |
| <key>end</key> |
| <array> |
| <dict> |
| <key>line</key><integer>57</integer> |
| <key>col</key><integer>3</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <dict> |
| <key>line</key><integer>57</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>57</integer> |
| <key>col</key><integer>3</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <key>ranges</key> |
| <array> |
| <array> |
| <dict> |
| <key>line</key><integer>57</integer> |
| <key>col</key><integer>3</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <dict> |
| <key>line</key><integer>57</integer> |
| <key>col</key><integer>8</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| </array> |
| </array> |
| <key>depth</key><integer>1</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>57</integer> |
| <key>col</key><integer>3</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <dict> |
| <key>line</key><integer>57</integer> |
| <key>col</key><integer>5</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| </array> |
| <key>end</key> |
| <array> |
| <dict> |
| <key>line</key><integer>60</integer> |
| <key>col</key><integer>3</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <dict> |
| <key>line</key><integer>60</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>60</integer> |
| <key>col</key><integer>3</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <key>ranges</key> |
| <array> |
| <array> |
| <dict> |
| <key>line</key><integer>60</integer> |
| <key>col</key><integer>3</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <dict> |
| <key>line</key><integer>60</integer> |
| <key>col</key><integer>10</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| </array> |
| </array> |
| <key>depth</key><integer>1</integer> |
| <key>extended_message</key> |
| <string>Returning null pointer (loaded from 'p')</string> |
| <key>message</key> |
| <string>Returning null pointer (loaded from 'p')</string> |
| </dict> |
| <dict> |
| <key>kind</key><string>event</string> |
| <key>location</key> |
| <dict> |
| <key>line</key><integer>103</integer> |
| <key>col</key><integer>14</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <key>ranges</key> |
| <array> |
| <array> |
| <dict> |
| <key>line</key><integer>103</integer> |
| <key>col</key><integer>14</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <dict> |
| <key>line</key><integer>103</integer> |
| <key>col</key><integer>22</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| </array> |
| </array> |
| <key>depth</key><integer>0</integer> |
| <key>extended_message</key> |
| <string>Returning from 'getZero'</string> |
| <key>message</key> |
| <string>Returning from 'getZero'</string> |
| </dict> |
| <dict> |
| <key>kind</key><string>event</string> |
| <key>location</key> |
| <dict> |
| <key>line</key><integer>103</integer> |
| <key>col</key><integer>14</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <key>ranges</key> |
| <array> |
| <array> |
| <dict> |
| <key>line</key><integer>103</integer> |
| <key>col</key><integer>14</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <dict> |
| <key>line</key><integer>103</integer> |
| <key>col</key><integer>22</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| </array> |
| </array> |
| <key>depth</key><integer>0</integer> |
| <key>extended_message</key> |
| <string>Passing null pointer value via 1st parameter 'p'</string> |
| <key>message</key> |
| <string>Passing null pointer value via 1st parameter 'p'</string> |
| </dict> |
| <dict> |
| <key>kind</key><string>control</string> |
| <key>edges</key> |
| <array> |
| <dict> |
| <key>start</key> |
| <array> |
| <dict> |
| <key>line</key><integer>103</integer> |
| <key>col</key><integer>14</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <dict> |
| <key>line</key><integer>103</integer> |
| <key>col</key><integer>20</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| </array> |
| <key>end</key> |
| <array> |
| <dict> |
| <key>line</key><integer>103</integer> |
| <key>col</key><integer>3</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <dict> |
| <key>line</key><integer>103</integer> |
| <key>col</key><integer>12</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>103</integer> |
| <key>col</key><integer>3</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <key>ranges</key> |
| <array> |
| <array> |
| <dict> |
| <key>line</key><integer>103</integer> |
| <key>col</key><integer>3</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <dict> |
| <key>line</key><integer>103</integer> |
| <key>col</key><integer>23</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| </array> |
| </array> |
| <key>depth</key><integer>0</integer> |
| <key>extended_message</key> |
| <string>Calling 'usePointer'</string> |
| <key>message</key> |
| <string>Calling 'usePointer'</string> |
| </dict> |
| <dict> |
| <key>kind</key><string>event</string> |
| <key>location</key> |
| <dict> |
| <key>line</key><integer>96</integer> |
| <key>col</key><integer>1</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <key>depth</key><integer>1</integer> |
| <key>extended_message</key> |
| <string>Entered call from 'testUseOfNullPointer'</string> |
| <key>message</key> |
| <string>Entered call from 'testUseOfNullPointer'</string> |
| </dict> |
| <dict> |
| <key>kind</key><string>control</string> |
| <key>edges</key> |
| <array> |
| <dict> |
| <key>start</key> |
| <array> |
| <dict> |
| <key>line</key><integer>96</integer> |
| <key>col</key><integer>1</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <dict> |
| <key>line</key><integer>96</integer> |
| <key>col</key><integer>4</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| </array> |
| <key>end</key> |
| <array> |
| <dict> |
| <key>line</key><integer>97</integer> |
| <key>col</key><integer>3</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <dict> |
| <key>line</key><integer>97</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>97</integer> |
| <key>col</key><integer>3</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <dict> |
| <key>line</key><integer>97</integer> |
| <key>col</key><integer>3</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| </array> |
| <key>end</key> |
| <array> |
| <dict> |
| <key>line</key><integer>97</integer> |
| <key>col</key><integer>6</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <dict> |
| <key>line</key><integer>97</integer> |
| <key>col</key><integer>6</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>97</integer> |
| <key>col</key><integer>6</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <key>ranges</key> |
| <array> |
| <array> |
| <dict> |
| <key>line</key><integer>97</integer> |
| <key>col</key><integer>4</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <dict> |
| <key>line</key><integer>97</integer> |
| <key>col</key><integer>4</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| </array> |
| </array> |
| <key>depth</key><integer>1</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>567151df0ae29b0f0e1a412114d544dc</string> |
| <key>issue_context_kind</key><string>function</string> |
| <key>issue_context</key><string>usePointer</string> |
| <key>issue_hash_function_offset</key><string>1</string> |
| <key>location</key> |
| <dict> |
| <key>line</key><integer>97</integer> |
| <key>col</key><integer>6</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <key>ExecutedLines</key> |
| <dict> |
| <key>0</key> |
| <array> |
| <integer>56</integer> |
| <integer>57</integer> |
| <integer>60</integer> |
| <integer>96</integer> |
| <integer>97</integer> |
| <integer>101</integer> |
| <integer>103</integer> |
| </array> |
| </dict> |
| </dict> |
| <dict> |
| <key>path</key> |
| <array> |
| <dict> |
| <key>kind</key><string>event</string> |
| <key>location</key> |
| <dict> |
| <key>line</key><integer>117</integer> |
| <key>col</key><integer>3</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <key>ranges</key> |
| <array> |
| <array> |
| <dict> |
| <key>line</key><integer>117</integer> |
| <key>col</key><integer>3</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <dict> |
| <key>line</key><integer>117</integer> |
| <key>col</key><integer>19</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| </array> |
| </array> |
| <key>depth</key><integer>0</integer> |
| <key>extended_message</key> |
| <string>Calling 'setFieldToNull'</string> |
| <key>message</key> |
| <string>Calling 'setFieldToNull'</string> |
| </dict> |
| <dict> |
| <key>kind</key><string>event</string> |
| <key>location</key> |
| <dict> |
| <key>line</key><integer>112</integer> |
| <key>col</key><integer>1</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <key>depth</key><integer>1</integer> |
| <key>extended_message</key> |
| <string>Entered call from 'testSetFieldToNull'</string> |
| <key>message</key> |
| <string>Entered call from 'testSetFieldToNull'</string> |
| </dict> |
| <dict> |
| <key>kind</key><string>control</string> |
| <key>edges</key> |
| <array> |
| <dict> |
| <key>start</key> |
| <array> |
| <dict> |
| <key>line</key><integer>112</integer> |
| <key>col</key><integer>1</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <dict> |
| <key>line</key><integer>112</integer> |
| <key>col</key><integer>4</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| </array> |
| <key>end</key> |
| <array> |
| <dict> |
| <key>line</key><integer>113</integer> |
| <key>col</key><integer>2</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <dict> |
| <key>line</key><integer>113</integer> |
| <key>col</key><integer>2</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>113</integer> |
| <key>col</key><integer>2</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <key>ranges</key> |
| <array> |
| <array> |
| <dict> |
| <key>line</key><integer>113</integer> |
| <key>col</key><integer>2</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <dict> |
| <key>line</key><integer>113</integer> |
| <key>col</key><integer>9</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| </array> |
| </array> |
| <key>depth</key><integer>1</integer> |
| <key>extended_message</key> |
| <string>Null pointer value stored to field 'p'</string> |
| <key>message</key> |
| <string>Null pointer value stored to field 'p'</string> |
| </dict> |
| <dict> |
| <key>kind</key><string>event</string> |
| <key>location</key> |
| <dict> |
| <key>line</key><integer>117</integer> |
| <key>col</key><integer>3</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <key>ranges</key> |
| <array> |
| <array> |
| <dict> |
| <key>line</key><integer>117</integer> |
| <key>col</key><integer>3</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <dict> |
| <key>line</key><integer>117</integer> |
| <key>col</key><integer>19</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| </array> |
| </array> |
| <key>depth</key><integer>0</integer> |
| <key>extended_message</key> |
| <string>Returning from 'setFieldToNull'</string> |
| <key>message</key> |
| <string>Returning from 'setFieldToNull'</string> |
| </dict> |
| <dict> |
| <key>kind</key><string>control</string> |
| <key>edges</key> |
| <array> |
| <dict> |
| <key>start</key> |
| <array> |
| <dict> |
| <key>line</key><integer>117</integer> |
| <key>col</key><integer>3</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <dict> |
| <key>line</key><integer>117</integer> |
| <key>col</key><integer>16</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| </array> |
| <key>end</key> |
| <array> |
| <dict> |
| <key>line</key><integer>119</integer> |
| <key>col</key><integer>3</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <dict> |
| <key>line</key><integer>119</integer> |
| <key>col</key><integer>8</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>119</integer> |
| <key>col</key><integer>3</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <dict> |
| <key>line</key><integer>119</integer> |
| <key>col</key><integer>8</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| </array> |
| <key>end</key> |
| <array> |
| <dict> |
| <key>line</key><integer>119</integer> |
| <key>col</key><integer>10</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <dict> |
| <key>line</key><integer>119</integer> |
| <key>col</key><integer>10</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>119</integer> |
| <key>col</key><integer>10</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <key>ranges</key> |
| <array> |
| <array> |
| <dict> |
| <key>line</key><integer>119</integer> |
| <key>col</key><integer>14</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <dict> |
| <key>line</key><integer>119</integer> |
| <key>col</key><integer>14</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 'p')</string> |
| <key>message</key> |
| <string>Dereference of null pointer (loaded from field 'p')</string> |
| </dict> |
| </array> |
| <key>description</key><string>Dereference of null pointer (loaded from field '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>7849ab11af99aee1e3603a24ae95cdfd</string> |
| <key>issue_context_kind</key><string>function</string> |
| <key>issue_context</key><string>testSetFieldToNull</string> |
| <key>issue_hash_function_offset</key><string>3</string> |
| <key>location</key> |
| <dict> |
| <key>line</key><integer>119</integer> |
| <key>col</key><integer>10</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <key>ExecutedLines</key> |
| <dict> |
| <key>0</key> |
| <array> |
| <integer>112</integer> |
| <integer>113</integer> |
| <integer>116</integer> |
| <integer>117</integer> |
| <integer>119</integer> |
| </array> |
| </dict> |
| </dict> |
| <dict> |
| <key>path</key> |
| <array> |
| <dict> |
| <key>kind</key><string>event</string> |
| <key>location</key> |
| <dict> |
| <key>line</key><integer>131</integer> |
| <key>col</key><integer>3</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <key>ranges</key> |
| <array> |
| <array> |
| <dict> |
| <key>line</key><integer>131</integer> |
| <key>col</key><integer>3</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <dict> |
| <key>line</key><integer>131</integer> |
| <key>col</key><integer>25</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| </array> |
| </array> |
| <key>depth</key><integer>0</integer> |
| <key>extended_message</key> |
| <string>Null pointer value stored to field 'p'</string> |
| <key>message</key> |
| <string>Null pointer value stored to field 'p'</string> |
| </dict> |
| <dict> |
| <key>kind</key><string>control</string> |
| <key>edges</key> |
| <array> |
| <dict> |
| <key>start</key> |
| <array> |
| <dict> |
| <key>line</key><integer>131</integer> |
| <key>col</key><integer>3</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <dict> |
| <key>line</key><integer>131</integer> |
| <key>col</key><integer>12</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| </array> |
| <key>end</key> |
| <array> |
| <dict> |
| <key>line</key><integer>132</integer> |
| <key>col</key><integer>3</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <dict> |
| <key>line</key><integer>132</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>132</integer> |
| <key>col</key><integer>3</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <dict> |
| <key>line</key><integer>132</integer> |
| <key>col</key><integer>3</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| </array> |
| <key>end</key> |
| <array> |
| <dict> |
| <key>line</key><integer>132</integer> |
| <key>col</key><integer>24</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <dict> |
| <key>line</key><integer>132</integer> |
| <key>col</key><integer>24</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>132</integer> |
| <key>col</key><integer>24</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <key>ranges</key> |
| <array> |
| <array> |
| <dict> |
| <key>line</key><integer>132</integer> |
| <key>col</key><integer>22</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <dict> |
| <key>line</key><integer>132</integer> |
| <key>col</key><integer>22</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 'p')</string> |
| <key>message</key> |
| <string>Dereference of null pointer (loaded from field 'p')</string> |
| </dict> |
| </array> |
| <key>description</key><string>Dereference of null pointer (loaded from field '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>3ccb5e7e2cc82aba5c28a1cc873c83a1</string> |
| <key>issue_context_kind</key><string>function</string> |
| <key>issue_context</key><string>test</string> |
| <key>issue_hash_function_offset</key><string>2</string> |
| <key>location</key> |
| <dict> |
| <key>line</key><integer>132</integer> |
| <key>col</key><integer>24</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <key>ExecutedLines</key> |
| <dict> |
| <key>0</key> |
| <array> |
| <integer>130</integer> |
| <integer>131</integer> |
| <integer>132</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>137</integer> |
| <key>col</key><integer>3</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <dict> |
| <key>line</key><integer>137</integer> |
| <key>col</key><integer>4</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| </array> |
| <key>end</key> |
| <array> |
| <dict> |
| <key>line</key><integer>137</integer> |
| <key>col</key><integer>7</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <dict> |
| <key>line</key><integer>137</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>137</integer> |
| <key>col</key><integer>7</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <key>ranges</key> |
| <array> |
| <array> |
| <dict> |
| <key>line</key><integer>137</integer> |
| <key>col</key><integer>7</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <dict> |
| <key>line</key><integer>137</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>Assuming pointer value is null</string> |
| <key>message</key> |
| <string>Assuming pointer value 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>137</integer> |
| <key>col</key><integer>7</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <dict> |
| <key>line</key><integer>137</integer> |
| <key>col</key><integer>7</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| </array> |
| <key>end</key> |
| <array> |
| <dict> |
| <key>line</key><integer>139</integer> |
| <key>col</key><integer>3</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <dict> |
| <key>line</key><integer>139</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>139</integer> |
| <key>col</key><integer>3</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <dict> |
| <key>line</key><integer>139</integer> |
| <key>col</key><integer>3</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| </array> |
| <key>end</key> |
| <array> |
| <dict> |
| <key>line</key><integer>139</integer> |
| <key>col</key><integer>7</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <dict> |
| <key>line</key><integer>139</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>139</integer> |
| <key>col</key><integer>7</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <key>ranges</key> |
| <array> |
| <array> |
| <dict> |
| <key>line</key><integer>139</integer> |
| <key>col</key><integer>3</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <dict> |
| <key>line</key><integer>139</integer> |
| <key>col</key><integer>9</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</string> |
| <key>message</key> |
| <string>Dereference of null pointer</string> |
| </dict> |
| </array> |
| <key>description</key><string>Dereference of null pointer</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>19292468c6c6f83fbbdb2ff072bb2ae8</string> |
| <key>issue_context_kind</key><string>function</string> |
| <key>issue_context</key><string>test4</string> |
| <key>issue_hash_function_offset</key><string>3</string> |
| <key>location</key> |
| <dict> |
| <key>line</key><integer>139</integer> |
| <key>col</key><integer>7</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <key>ExecutedLines</key> |
| <dict> |
| <key>0</key> |
| <array> |
| <integer>136</integer> |
| <integer>137</integer> |
| <integer>139</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>152</integer> |
| <key>col</key><integer>3</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <dict> |
| <key>line</key><integer>152</integer> |
| <key>col</key><integer>5</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| </array> |
| <key>end</key> |
| <array> |
| <dict> |
| <key>line</key><integer>153</integer> |
| <key>col</key><integer>3</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <dict> |
| <key>line</key><integer>153</integer> |
| <key>col</key><integer>19</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>153</integer> |
| <key>col</key><integer>3</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <key>ranges</key> |
| <array> |
| <array> |
| <dict> |
| <key>line</key><integer>153</integer> |
| <key>col</key><integer>3</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <dict> |
| <key>line</key><integer>153</integer> |
| <key>col</key><integer>23</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| </array> |
| </array> |
| <key>depth</key><integer>0</integer> |
| <key>extended_message</key> |
| <string>Calling 'interestingCallee'</string> |
| <key>message</key> |
| <string>Calling 'interestingCallee'</string> |
| </dict> |
| <dict> |
| <key>kind</key><string>event</string> |
| <key>location</key> |
| <dict> |
| <key>line</key><integer>146</integer> |
| <key>col</key><integer>1</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <key>depth</key><integer>1</integer> |
| <key>extended_message</key> |
| <string>Entered call from 'testBoringCalleeOfInterestingCallee'</string> |
| <key>message</key> |
| <string>Entered call from 'testBoringCalleeOfInterestingCallee'</string> |
| </dict> |
| <dict> |
| <key>kind</key><string>control</string> |
| <key>edges</key> |
| <array> |
| <dict> |
| <key>start</key> |
| <array> |
| <dict> |
| <key>line</key><integer>146</integer> |
| <key>col</key><integer>1</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <dict> |
| <key>line</key><integer>146</integer> |
| <key>col</key><integer>4</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| </array> |
| <key>end</key> |
| <array> |
| <dict> |
| <key>line</key><integer>147</integer> |
| <key>col</key><integer>3</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <dict> |
| <key>line</key><integer>147</integer> |
| <key>col</key><integer>3</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>147</integer> |
| <key>col</key><integer>3</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <key>ranges</key> |
| <array> |
| <array> |
| <dict> |
| <key>line</key><integer>147</integer> |
| <key>col</key><integer>3</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <dict> |
| <key>line</key><integer>147</integer> |
| <key>col</key><integer>8</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| </array> |
| </array> |
| <key>depth</key><integer>1</integer> |
| <key>extended_message</key> |
| <string>The value 0 is assigned to 'x'</string> |
| <key>message</key> |
| <string>The value 0 is assigned to 'x'</string> |
| </dict> |
| <dict> |
| <key>kind</key><string>control</string> |
| <key>edges</key> |
| <array> |
| <dict> |
| <key>start</key> |
| <array> |
| <dict> |
| <key>line</key><integer>147</integer> |
| <key>col</key><integer>3</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <dict> |
| <key>line</key><integer>147</integer> |
| <key>col</key><integer>3</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| </array> |
| <key>end</key> |
| <array> |
| <dict> |
| <key>line</key><integer>148</integer> |
| <key>col</key><integer>3</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <dict> |
| <key>line</key><integer>148</integer> |
| <key>col</key><integer>14</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>153</integer> |
| <key>col</key><integer>3</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <key>ranges</key> |
| <array> |
| <array> |
| <dict> |
| <key>line</key><integer>153</integer> |
| <key>col</key><integer>3</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <dict> |
| <key>line</key><integer>153</integer> |
| <key>col</key><integer>23</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| </array> |
| </array> |
| <key>depth</key><integer>0</integer> |
| <key>extended_message</key> |
| <string>Returning from 'interestingCallee'</string> |
| <key>message</key> |
| <string>Returning from 'interestingCallee'</string> |
| </dict> |
| <dict> |
| <key>kind</key><string>control</string> |
| <key>edges</key> |
| <array> |
| <dict> |
| <key>start</key> |
| <array> |
| <dict> |
| <key>line</key><integer>153</integer> |
| <key>col</key><integer>3</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <dict> |
| <key>line</key><integer>153</integer> |
| <key>col</key><integer>19</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| </array> |
| <key>end</key> |
| <array> |
| <dict> |
| <key>line</key><integer>155</integer> |
| <key>col</key><integer>12</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <dict> |
| <key>line</key><integer>155</integer> |
| <key>col</key><integer>12</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>155</integer> |
| <key>col</key><integer>12</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <key>ranges</key> |
| <array> |
| <array> |
| <dict> |
| <key>line</key><integer>155</integer> |
| <key>col</key><integer>10</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <dict> |
| <key>line</key><integer>155</integer> |
| <key>col</key><integer>14</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| </array> |
| </array> |
| <key>depth</key><integer>0</integer> |
| <key>extended_message</key> |
| <string>Division by zero</string> |
| <key>message</key> |
| <string>Division by zero</string> |
| </dict> |
| </array> |
| <key>description</key><string>Division by zero</string> |
| <key>category</key><string>Logic error</string> |
| <key>type</key><string>Division by zero</string> |
| <key>check_name</key><string>core.DivideZero</string> |
| <!-- This hash is experimental and going to change! --> |
| <key>issue_hash_content_of_line_in_context</key><string>fcd480c0f73d071bac6f908387893e26</string> |
| <key>issue_context_kind</key><string>function</string> |
| <key>issue_context</key><string>testBoringCalleeOfInterestingCallee</string> |
| <key>issue_hash_function_offset</key><string>4</string> |
| <key>location</key> |
| <dict> |
| <key>line</key><integer>155</integer> |
| <key>col</key><integer>12</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <key>ExecutedLines</key> |
| <dict> |
| <key>0</key> |
| <array> |
| <integer>143</integer> |
| <integer>146</integer> |
| <integer>147</integer> |
| <integer>148</integer> |
| <integer>151</integer> |
| <integer>152</integer> |
| <integer>153</integer> |
| <integer>155</integer> |
| </array> |
| </dict> |
| </dict> |
| </array> |
| <key>files</key> |
| <array> |
| </array> |
| </dict> |
| </plist> |