| <?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> |
| <string>clang version 8.0.0 </string> |
| <key>diagnostics</key> |
| <array> |
| <dict> |
| <key>path</key> |
| <array> |
| <dict> |
| <key>kind</key><string>event</string> |
| <key>location</key> |
| <dict> |
| <key>line</key><integer>5</integer> |
| <key>col</key><integer>3</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <key>ranges</key> |
| <array> |
| <array> |
| <dict> |
| <key>line</key><integer>5</integer> |
| <key>col</key><integer>3</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <dict> |
| <key>line</key><integer>5</integer> |
| <key>col</key><integer>8</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| </array> |
| </array> |
| <key>depth</key><integer>0</integer> |
| <key>extended_message</key> |
| <string>'p' initialized to a null pointer value</string> |
| <key>message</key> |
| <string>'p' initialized to a null pointer value</string> |
| </dict> |
| <dict> |
| <key>kind</key><string>control</string> |
| <key>edges</key> |
| <array> |
| <dict> |
| <key>start</key> |
| <array> |
| <dict> |
| <key>line</key><integer>5</integer> |
| <key>col</key><integer>3</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <dict> |
| <key>line</key><integer>5</integer> |
| <key>col</key><integer>5</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>control</string> |
| <key>edges</key> |
| <array> |
| <dict> |
| <key>start</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> |
| <key>end</key> |
| <array> |
| <dict> |
| <key>line</key><integer>6</integer> |
| <key>col</key><integer>6</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <dict> |
| <key>line</key><integer>6</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>6</integer> |
| <key>col</key><integer>6</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <key>ranges</key> |
| <array> |
| <array> |
| <dict> |
| <key>line</key><integer>6</integer> |
| <key>col</key><integer>4</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <dict> |
| <key>line</key><integer>6</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 '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>dc9c2a657ca759f9744cde2e093cfd59</string> |
| <key>issue_context_kind</key><string>function</string> |
| <key>issue_context</key><string>test_null_init</string> |
| <key>issue_hash_function_offset</key><string>2</string> |
| <key>location</key> |
| <dict> |
| <key>line</key><integer>6</integer> |
| <key>col</key><integer>6</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <key>ExecutedLines</key> |
| <dict> |
| <key>0</key> |
| <array> |
| <integer>4</integer> |
| <integer>5</integer> |
| <integer>6</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>10</integer> |
| <key>col</key><integer>3</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <dict> |
| <key>line</key><integer>10</integer> |
| <key>col</key><integer>5</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| </array> |
| <key>end</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>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>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>7</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 'p'</string> |
| <key>message</key> |
| <string>Null pointer value stored to 'p'</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>3</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| </array> |
| <key>end</key> |
| <array> |
| <dict> |
| <key>line</key><integer>12</integer> |
| <key>col</key><integer>3</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <dict> |
| <key>line</key><integer>12</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>12</integer> |
| <key>col</key><integer>3</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <dict> |
| <key>line</key><integer>12</integer> |
| <key>col</key><integer>3</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| </array> |
| <key>end</key> |
| <array> |
| <dict> |
| <key>line</key><integer>12</integer> |
| <key>col</key><integer>6</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <dict> |
| <key>line</key><integer>12</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>12</integer> |
| <key>col</key><integer>6</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <key>ranges</key> |
| <array> |
| <array> |
| <dict> |
| <key>line</key><integer>12</integer> |
| <key>col</key><integer>4</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <dict> |
| <key>line</key><integer>12</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 '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>8f95d9681490a4e52c167969d0957b39</string> |
| <key>issue_context_kind</key><string>function</string> |
| <key>issue_context</key><string>test_null_assign</string> |
| <key>issue_hash_function_offset</key><string>3</string> |
| <key>location</key> |
| <dict> |
| <key>line</key><integer>12</integer> |
| <key>col</key><integer>6</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <key>ExecutedLines</key> |
| <dict> |
| <key>0</key> |
| <array> |
| <integer>9</integer> |
| <integer>10</integer> |
| <integer>11</integer> |
| <integer>12</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>16</integer> |
| <key>col</key><integer>3</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <dict> |
| <key>line</key><integer>16</integer> |
| <key>col</key><integer>5</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| </array> |
| <key>end</key> |
| <array> |
| <dict> |
| <key>line</key><integer>17</integer> |
| <key>col</key><integer>3</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <dict> |
| <key>line</key><integer>17</integer> |
| <key>col</key><integer>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>17</integer> |
| <key>col</key><integer>3</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <key>ranges</key> |
| <array> |
| <array> |
| <dict> |
| <key>line</key><integer>17</integer> |
| <key>col</key><integer>3</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <dict> |
| <key>line</key><integer>17</integer> |
| <key>col</key><integer>7</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 'p'</string> |
| <key>message</key> |
| <string>Null pointer value stored to 'p'</string> |
| </dict> |
| <dict> |
| <key>kind</key><string>control</string> |
| <key>edges</key> |
| <array> |
| <dict> |
| <key>start</key> |
| <array> |
| <dict> |
| <key>line</key><integer>17</integer> |
| <key>col</key><integer>3</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <dict> |
| <key>line</key><integer>17</integer> |
| <key>col</key><integer>3</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| </array> |
| <key>end</key> |
| <array> |
| <dict> |
| <key>line</key><integer>18</integer> |
| <key>col</key><integer>3</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <dict> |
| <key>line</key><integer>18</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>18</integer> |
| <key>col</key><integer>3</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <key>ranges</key> |
| <array> |
| <array> |
| <dict> |
| <key>line</key><integer>18</integer> |
| <key>col</key><integer>3</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <dict> |
| <key>line</key><integer>18</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>'q' initialized to a null pointer value</string> |
| <key>message</key> |
| <string>'q' 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>18</integer> |
| <key>col</key><integer>3</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <dict> |
| <key>line</key><integer>18</integer> |
| <key>col</key><integer>5</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| </array> |
| <key>end</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>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>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>3</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| </array> |
| <key>end</key> |
| <array> |
| <dict> |
| <key>line</key><integer>19</integer> |
| <key>col</key><integer>6</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <dict> |
| <key>line</key><integer>19</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>19</integer> |
| <key>col</key><integer>6</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <key>ranges</key> |
| <array> |
| <array> |
| <dict> |
| <key>line</key><integer>19</integer> |
| <key>col</key><integer>4</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> |
| </array> |
| <key>depth</key><integer>0</integer> |
| <key>extended_message</key> |
| <string>Dereference of null pointer (loaded from variable 'q')</string> |
| <key>message</key> |
| <string>Dereference of null pointer (loaded from variable 'q')</string> |
| </dict> |
| </array> |
| <key>description</key><string>Dereference of null pointer (loaded from variable 'q')</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>94c43fbcad6aaff4ee7433f2d2db0bbe</string> |
| <key>issue_context_kind</key><string>function</string> |
| <key>issue_context</key><string>test_null_assign_transitive</string> |
| <key>issue_hash_function_offset</key><string>4</string> |
| <key>location</key> |
| <dict> |
| <key>line</key><integer>19</integer> |
| <key>col</key><integer>6</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <key>ExecutedLines</key> |
| <dict> |
| <key>0</key> |
| <array> |
| <integer>15</integer> |
| <integer>16</integer> |
| <integer>17</integer> |
| <integer>18</integer> |
| <integer>19</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>23</integer> |
| <key>col</key><integer>3</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <dict> |
| <key>line</key><integer>23</integer> |
| <key>col</key><integer>4</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| </array> |
| <key>end</key> |
| <array> |
| <dict> |
| <key>line</key><integer>23</integer> |
| <key>col</key><integer>7</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <dict> |
| <key>line</key><integer>23</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>23</integer> |
| <key>col</key><integer>7</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <key>ranges</key> |
| <array> |
| <array> |
| <dict> |
| <key>line</key><integer>23</integer> |
| <key>col</key><integer>7</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <dict> |
| <key>line</key><integer>23</integer> |
| <key>col</key><integer>8</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| </array> |
| </array> |
| <key>depth</key><integer>0</integer> |
| <key>extended_message</key> |
| <string>Assuming 'p' is null</string> |
| <key>message</key> |
| <string>Assuming 'p' 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>23</integer> |
| <key>col</key><integer>7</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <dict> |
| <key>line</key><integer>23</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>5</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <dict> |
| <key>line</key><integer>24</integer> |
| <key>col</key><integer>5</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>5</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <dict> |
| <key>line</key><integer>24</integer> |
| <key>col</key><integer>5</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| </array> |
| <key>end</key> |
| <array> |
| <dict> |
| <key>line</key><integer>24</integer> |
| <key>col</key><integer>8</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <dict> |
| <key>line</key><integer>24</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>24</integer> |
| <key>col</key><integer>8</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <key>ranges</key> |
| <array> |
| <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> |
| </array> |
| <key>depth</key><integer>0</integer> |
| <key>extended_message</key> |
| <string>Dereference of null pointer (loaded from variable 'p')</string> |
| <key>message</key> |
| <string>Dereference of null pointer (loaded from variable 'p')</string> |
| </dict> |
| </array> |
| <key>description</key><string>Dereference of null pointer (loaded from variable 'p')</string> |
| <key>category</key><string>Logic error</string> |
| <key>type</key><string>Dereference of null pointer</string> |
| <key>check_name</key><string>core.NullDereference</string> |
| <!-- This hash is experimental and going to change! --> |
| <key>issue_hash_content_of_line_in_context</key><string>659f01507ffd7efd3ca3eab7179fd7d2</string> |
| <key>issue_context_kind</key><string>function</string> |
| <key>issue_context</key><string>test_null_cond</string> |
| <key>issue_hash_function_offset</key><string>2</string> |
| <key>location</key> |
| <dict> |
| <key>line</key><integer>24</integer> |
| <key>col</key><integer>8</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <key>ExecutedLines</key> |
| <dict> |
| <key>0</key> |
| <array> |
| <integer>22</integer> |
| <integer>23</integer> |
| <integer>24</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>29</integer> |
| <key>col</key><integer>3</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <dict> |
| <key>line</key><integer>29</integer> |
| <key>col</key><integer>4</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| </array> |
| <key>end</key> |
| <array> |
| <dict> |
| <key>line</key><integer>29</integer> |
| <key>col</key><integer>7</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <dict> |
| <key>line</key><integer>29</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>29</integer> |
| <key>col</key><integer>7</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <key>ranges</key> |
| <array> |
| <array> |
| <dict> |
| <key>line</key><integer>29</integer> |
| <key>col</key><integer>7</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <dict> |
| <key>line</key><integer>29</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 'q' is null</string> |
| <key>message</key> |
| <string>Assuming 'q' 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>29</integer> |
| <key>col</key><integer>7</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <dict> |
| <key>line</key><integer>29</integer> |
| <key>col</key><integer>7</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| </array> |
| <key>end</key> |
| <array> |
| <dict> |
| <key>line</key><integer>30</integer> |
| <key>col</key><integer>5</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <dict> |
| <key>line</key><integer>30</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>30</integer> |
| <key>col</key><integer>5</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <key>ranges</key> |
| <array> |
| <array> |
| <dict> |
| <key>line</key><integer>30</integer> |
| <key>col</key><integer>5</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <dict> |
| <key>line</key><integer>30</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>'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>30</integer> |
| <key>col</key><integer>5</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <dict> |
| <key>line</key><integer>30</integer> |
| <key>col</key><integer>7</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| </array> |
| <key>end</key> |
| <array> |
| <dict> |
| <key>line</key><integer>31</integer> |
| <key>col</key><integer>5</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <dict> |
| <key>line</key><integer>31</integer> |
| <key>col</key><integer>5</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>31</integer> |
| <key>col</key><integer>5</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <dict> |
| <key>line</key><integer>31</integer> |
| <key>col</key><integer>5</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| </array> |
| <key>end</key> |
| <array> |
| <dict> |
| <key>line</key><integer>31</integer> |
| <key>col</key><integer>8</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <dict> |
| <key>line</key><integer>31</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>31</integer> |
| <key>col</key><integer>8</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <key>ranges</key> |
| <array> |
| <array> |
| <dict> |
| <key>line</key><integer>31</integer> |
| <key>col</key><integer>6</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <dict> |
| <key>line</key><integer>31</integer> |
| <key>col</key><integer>6</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| </array> |
| </array> |
| <key>depth</key><integer>0</integer> |
| <key>extended_message</key> |
| <string>Dereference of null pointer (loaded from variable 'p')</string> |
| <key>message</key> |
| <string>Dereference of null pointer (loaded from variable 'p')</string> |
| </dict> |
| </array> |
| <key>description</key><string>Dereference of null pointer (loaded from variable 'p')</string> |
| <key>category</key><string>Logic error</string> |
| <key>type</key><string>Dereference of null pointer</string> |
| <key>check_name</key><string>core.NullDereference</string> |
| <!-- This hash is experimental and going to change! --> |
| <key>issue_hash_content_of_line_in_context</key><string>c90d51e62139e614b57aff7021240a82</string> |
| <key>issue_context_kind</key><string>function</string> |
| <key>issue_context</key><string>test_null_cond_transitive</string> |
| <key>issue_hash_function_offset</key><string>3</string> |
| <key>location</key> |
| <dict> |
| <key>line</key><integer>31</integer> |
| <key>col</key><integer>8</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <key>ExecutedLines</key> |
| <dict> |
| <key>0</key> |
| <array> |
| <integer>28</integer> |
| <integer>29</integer> |
| <integer>30</integer> |
| <integer>31</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>36</integer> |
| <key>col</key><integer>24</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <dict> |
| <key>line</key><integer>36</integer> |
| <key>col</key><integer>24</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| </array> |
| <key>end</key> |
| <array> |
| <dict> |
| <key>line</key><integer>37</integer> |
| <key>col</key><integer>3</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <dict> |
| <key>line</key><integer>37</integer> |
| <key>col</key><integer>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>37</integer> |
| <key>col</key><integer>3</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <key>ranges</key> |
| <array> |
| <array> |
| <dict> |
| <key>line</key><integer>37</integer> |
| <key>col</key><integer>3</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <dict> |
| <key>line</key><integer>37</integer> |
| <key>col</key><integer>9</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 'x.p'</string> |
| <key>message</key> |
| <string>Null pointer value stored to 'x.p'</string> |
| </dict> |
| <dict> |
| <key>kind</key><string>control</string> |
| <key>edges</key> |
| <array> |
| <dict> |
| <key>start</key> |
| <array> |
| <dict> |
| <key>line</key><integer>37</integer> |
| <key>col</key><integer>3</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <dict> |
| <key>line</key><integer>37</integer> |
| <key>col</key><integer>3</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| </array> |
| <key>end</key> |
| <array> |
| <dict> |
| <key>line</key><integer>38</integer> |
| <key>col</key><integer>3</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <dict> |
| <key>line</key><integer>38</integer> |
| <key>col</key><integer>3</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| </array> |
| </dict> |
| </array> |
| </dict> |
| <dict> |
| <key>kind</key><string>control</string> |
| <key>edges</key> |
| <array> |
| <dict> |
| <key>start</key> |
| <array> |
| <dict> |
| <key>line</key><integer>38</integer> |
| <key>col</key><integer>3</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <dict> |
| <key>line</key><integer>38</integer> |
| <key>col</key><integer>3</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| </array> |
| <key>end</key> |
| <array> |
| <dict> |
| <key>line</key><integer>38</integer> |
| <key>col</key><integer>10</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <dict> |
| <key>line</key><integer>38</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>38</integer> |
| <key>col</key><integer>10</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <key>ranges</key> |
| <array> |
| <array> |
| <dict> |
| <key>line</key><integer>38</integer> |
| <key>col</key><integer>7</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <dict> |
| <key>line</key><integer>38</integer> |
| <key>col</key><integer>7</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| </array> |
| </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>245408d2bc416e324064d990e6dd82a8</string> |
| <key>issue_context_kind</key><string>function</string> |
| <key>issue_context</key><string>test_null_field</string> |
| <key>issue_hash_function_offset</key><string>3</string> |
| <key>location</key> |
| <dict> |
| <key>line</key><integer>38</integer> |
| <key>col</key><integer>10</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <key>ExecutedLines</key> |
| <dict> |
| <key>0</key> |
| <array> |
| <integer>35</integer> |
| <integer>36</integer> |
| <integer>37</integer> |
| <integer>38</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>43</integer> |
| <key>col</key><integer>3</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <dict> |
| <key>line</key><integer>43</integer> |
| <key>col</key><integer>4</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| </array> |
| <key>end</key> |
| <array> |
| <dict> |
| <key>line</key><integer>43</integer> |
| <key>col</key><integer>7</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <dict> |
| <key>line</key><integer>43</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>43</integer> |
| <key>col</key><integer>7</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <key>ranges</key> |
| <array> |
| <array> |
| <dict> |
| <key>line</key><integer>43</integer> |
| <key>col</key><integer>7</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <dict> |
| <key>line</key><integer>43</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>Assuming 'a' is not equal to 0</string> |
| <key>message</key> |
| <string>Assuming 'a' is not equal to 0</string> |
| </dict> |
| <dict> |
| <key>kind</key><string>control</string> |
| <key>edges</key> |
| <array> |
| <dict> |
| <key>start</key> |
| <array> |
| <dict> |
| <key>line</key><integer>43</integer> |
| <key>col</key><integer>7</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <dict> |
| <key>line</key><integer>43</integer> |
| <key>col</key><integer>7</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>12</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| </array> |
| </array> |
| <key>depth</key><integer>0</integer> |
| <key>extended_message</key> |
| <string>Assuming 'b' is equal to 0</string> |
| <key>message</key> |
| <string>Assuming 'b' is equal to 0</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>49</integer> |
| <key>col</key><integer>3</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <dict> |
| <key>line</key><integer>49</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>49</integer> |
| <key>col</key><integer>3</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <key>ranges</key> |
| <array> |
| <array> |
| <dict> |
| <key>line</key><integer>49</integer> |
| <key>col</key><integer>3</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <dict> |
| <key>line</key><integer>49</integer> |
| <key>col</key><integer>8</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| </array> |
| </array> |
| <key>depth</key><integer>0</integer> |
| <key>extended_message</key> |
| <string>'p' initialized to a null pointer value</string> |
| <key>message</key> |
| <string>'p' initialized to a null pointer value</string> |
| </dict> |
| <dict> |
| <key>kind</key><string>control</string> |
| <key>edges</key> |
| <array> |
| <dict> |
| <key>start</key> |
| <array> |
| <dict> |
| <key>line</key><integer>49</integer> |
| <key>col</key><integer>3</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <dict> |
| <key>line</key><integer>49</integer> |
| <key>col</key><integer>5</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| </array> |
| <key>end</key> |
| <array> |
| <dict> |
| <key>line</key><integer>50</integer> |
| <key>col</key><integer>3</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <dict> |
| <key>line</key><integer>50</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>50</integer> |
| <key>col</key><integer>3</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <dict> |
| <key>line</key><integer>50</integer> |
| <key>col</key><integer>3</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| </array> |
| <key>end</key> |
| <array> |
| <dict> |
| <key>line</key><integer>50</integer> |
| <key>col</key><integer>6</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <dict> |
| <key>line</key><integer>50</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>50</integer> |
| <key>col</key><integer>6</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <key>ranges</key> |
| <array> |
| <array> |
| <dict> |
| <key>line</key><integer>50</integer> |
| <key>col</key><integer>4</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <dict> |
| <key>line</key><integer>50</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 '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>b12acffa40177b55b695aa2292533410</string> |
| <key>issue_context_kind</key><string>function</string> |
| <key>issue_context</key><string>test_assumptions</string> |
| <key>issue_hash_function_offset</key><string>8</string> |
| <key>location</key> |
| <dict> |
| <key>line</key><integer>50</integer> |
| <key>col</key><integer>6</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <key>ExecutedLines</key> |
| <dict> |
| <key>0</key> |
| <array> |
| <integer>41</integer> |
| <integer>42</integer> |
| <integer>43</integer> |
| <integer>46</integer> |
| <integer>49</integer> |
| <integer>50</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>55</integer> |
| <key>col</key><integer>3</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <dict> |
| <key>line</key><integer>55</integer> |
| <key>col</key><integer>5</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| </array> |
| <key>end</key> |
| <array> |
| <dict> |
| <key>line</key><integer>56</integer> |
| <key>col</key><integer>3</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <dict> |
| <key>line</key><integer>56</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>56</integer> |
| <key>col</key><integer>3</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <dict> |
| <key>line</key><integer>56</integer> |
| <key>col</key><integer>4</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| </array> |
| <key>end</key> |
| <array> |
| <dict> |
| <key>line</key><integer>56</integer> |
| <key>col</key><integer>7</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <dict> |
| <key>line</key><integer>56</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>56</integer> |
| <key>col</key><integer>7</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <key>ranges</key> |
| <array> |
| <array> |
| <dict> |
| <key>line</key><integer>56</integer> |
| <key>col</key><integer>7</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <dict> |
| <key>line</key><integer>56</integer> |
| <key>col</key><integer>27</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| </array> |
| </array> |
| <key>depth</key><integer>0</integer> |
| <key>extended_message</key> |
| <string>Value assigned to 'p'</string> |
| <key>message</key> |
| <string>Value assigned to 'p'</string> |
| </dict> |
| <dict> |
| <key>kind</key><string>event</string> |
| <key>location</key> |
| <dict> |
| <key>line</key><integer>56</integer> |
| <key>col</key><integer>7</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <key>ranges</key> |
| <array> |
| <array> |
| <dict> |
| <key>line</key><integer>56</integer> |
| <key>col</key><integer>7</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <dict> |
| <key>line</key><integer>56</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 'p' is null</string> |
| <key>message</key> |
| <string>Assuming 'p' is null</string> |
| </dict> |
| <dict> |
| <key>kind</key><string>event</string> |
| <key>location</key> |
| <dict> |
| <key>line</key><integer>56</integer> |
| <key>col</key><integer>7</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <key>ranges</key> |
| <array> |
| <array> |
| <dict> |
| <key>line</key><integer>56</integer> |
| <key>col</key><integer>7</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <dict> |
| <key>line</key><integer>56</integer> |
| <key>col</key><integer>27</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>56</integer> |
| <key>col</key><integer>7</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <dict> |
| <key>line</key><integer>56</integer> |
| <key>col</key><integer>7</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| </array> |
| <key>end</key> |
| <array> |
| <dict> |
| <key>line</key><integer>58</integer> |
| <key>col</key><integer>3</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <dict> |
| <key>line</key><integer>58</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>58</integer> |
| <key>col</key><integer>3</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <dict> |
| <key>line</key><integer>58</integer> |
| <key>col</key><integer>8</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| </array> |
| <key>end</key> |
| <array> |
| <dict> |
| <key>line</key><integer>58</integer> |
| <key>col</key><integer>10</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <dict> |
| <key>line</key><integer>58</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>58</integer> |
| <key>col</key><integer>10</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <key>ranges</key> |
| <array> |
| <array> |
| <dict> |
| <key>line</key><integer>58</integer> |
| <key>col</key><integer>11</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <dict> |
| <key>line</key><integer>58</integer> |
| <key>col</key><integer>11</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| </array> |
| </array> |
| <key>depth</key><integer>0</integer> |
| <key>extended_message</key> |
| <string>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>c0a32b8291b0fc7230f847f05f415625</string> |
| <key>issue_context_kind</key><string>function</string> |
| <key>issue_context</key><string>test_cond_assign</string> |
| <key>issue_hash_function_offset</key><string>4</string> |
| <key>location</key> |
| <dict> |
| <key>line</key><integer>58</integer> |
| <key>col</key><integer>10</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <key>ExecutedLines</key> |
| <dict> |
| <key>0</key> |
| <array> |
| <integer>54</integer> |
| <integer>55</integer> |
| <integer>56</integer> |
| <integer>58</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>75</integer> |
| <key>col</key><integer>3</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <dict> |
| <key>line</key><integer>75</integer> |
| <key>col</key><integer>4</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| </array> |
| <key>end</key> |
| <array> |
| <dict> |
| <key>line</key><integer>75</integer> |
| <key>col</key><integer>7</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <dict> |
| <key>line</key><integer>75</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>75</integer> |
| <key>col</key><integer>7</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <key>ranges</key> |
| <array> |
| <array> |
| <dict> |
| <key>line</key><integer>75</integer> |
| <key>col</key><integer>7</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <dict> |
| <key>line</key><integer>75</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>Assuming the condition is true</string> |
| <key>message</key> |
| <string>Assuming the condition is true</string> |
| </dict> |
| <dict> |
| <key>kind</key><string>control</string> |
| <key>edges</key> |
| <array> |
| <dict> |
| <key>start</key> |
| <array> |
| <dict> |
| <key>line</key><integer>75</integer> |
| <key>col</key><integer>7</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <dict> |
| <key>line</key><integer>75</integer> |
| <key>col</key><integer>7</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| </array> |
| <key>end</key> |
| <array> |
| <dict> |
| <key>line</key><integer>76</integer> |
| <key>col</key><integer>5</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <dict> |
| <key>line</key><integer>76</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>76</integer> |
| <key>col</key><integer>5</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <key>ranges</key> |
| <array> |
| <array> |
| <dict> |
| <key>line</key><integer>76</integer> |
| <key>col</key><integer>5</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <dict> |
| <key>line</key><integer>76</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>'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>76</integer> |
| <key>col</key><integer>5</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <dict> |
| <key>line</key><integer>76</integer> |
| <key>col</key><integer>7</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| </array> |
| <key>end</key> |
| <array> |
| <dict> |
| <key>line</key><integer>77</integer> |
| <key>col</key><integer>5</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <dict> |
| <key>line</key><integer>77</integer> |
| <key>col</key><integer>5</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>77</integer> |
| <key>col</key><integer>5</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <dict> |
| <key>line</key><integer>77</integer> |
| <key>col</key><integer>5</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| </array> |
| <key>end</key> |
| <array> |
| <dict> |
| <key>line</key><integer>77</integer> |
| <key>col</key><integer>8</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <dict> |
| <key>line</key><integer>77</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>77</integer> |
| <key>col</key><integer>8</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <key>ranges</key> |
| <array> |
| <array> |
| <dict> |
| <key>line</key><integer>77</integer> |
| <key>col</key><integer>6</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <dict> |
| <key>line</key><integer>77</integer> |
| <key>col</key><integer>6</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| </array> |
| </array> |
| <key>depth</key><integer>0</integer> |
| <key>extended_message</key> |
| <string>Dereference of null pointer (loaded from variable 'p')</string> |
| <key>message</key> |
| <string>Dereference of null pointer (loaded from variable 'p')</string> |
| </dict> |
| </array> |
| <key>description</key><string>Dereference of null pointer (loaded from variable 'p')</string> |
| <key>category</key><string>Logic error</string> |
| <key>type</key><string>Dereference of null pointer</string> |
| <key>check_name</key><string>core.NullDereference</string> |
| <!-- This hash is experimental and going to change! --> |
| <key>issue_hash_content_of_line_in_context</key><string>ea1d5db6b4c380a432c88139fdd18f42</string> |
| <key>issue_context_kind</key><string>Objective-C method</string> |
| <key>issue_context</key><string>test</string> |
| <key>issue_hash_function_offset</key><string>3</string> |
| <key>location</key> |
| <dict> |
| <key>line</key><integer>77</integer> |
| <key>col</key><integer>8</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <key>ExecutedLines</key> |
| <dict> |
| <key>0</key> |
| <array> |
| <integer>74</integer> |
| <integer>75</integer> |
| <integer>76</integer> |
| <integer>77</integer> |
| </array> |
| </dict> |
| </dict> |
| <dict> |
| <key>path</key> |
| <array> |
| <dict> |
| <key>kind</key><string>event</string> |
| <key>location</key> |
| <dict> |
| <key>line</key><integer>86</integer> |
| <key>col</key><integer>8</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <key>ranges</key> |
| <array> |
| <array> |
| <dict> |
| <key>line</key><integer>86</integer> |
| <key>col</key><integer>8</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <dict> |
| <key>line</key><integer>86</integer> |
| <key>col</key><integer>10</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| </array> |
| <array> |
| <dict> |
| <key>line</key><integer>86</integer> |
| <key>col</key><integer>14</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <dict> |
| <key>line</key><integer>86</integer> |
| <key>col</key><integer>40</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| </array> |
| </array> |
| <key>depth</key><integer>0</integer> |
| <key>extended_message</key> |
| <string>Value stored to 'foo' during its initialization is never read</string> |
| <key>message</key> |
| <string>Value stored to 'foo' during its initialization is never read</string> |
| </dict> |
| </array> |
| <key>description</key><string>Value stored to 'foo' during its initialization is never read</string> |
| <key>category</key><string>Dead store</string> |
| <key>type</key><string>Dead initialization</string> |
| <key>check_name</key><string>deadcode.DeadStores</string> |
| <!-- This hash is experimental and going to change! --> |
| <key>issue_hash_content_of_line_in_context</key><string>3dd1ebf91fa4e92eeec82faaeb48beda</string> |
| <key>issue_context_kind</key><string>Objective-C method</string> |
| <key>issue_context</key><string>test2</string> |
| <key>issue_hash_function_offset</key><string>2</string> |
| <key>location</key> |
| <dict> |
| <key>line</key><integer>86</integer> |
| <key>col</key><integer>8</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <key>ExecutedLines</key> |
| <dict> |
| <key>0</key> |
| <array> |
| <integer>86</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>85</integer> |
| <key>col</key><integer>3</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <dict> |
| <key>line</key><integer>85</integer> |
| <key>col</key><integer>4</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| </array> |
| <key>end</key> |
| <array> |
| <dict> |
| <key>line</key><integer>85</integer> |
| <key>col</key><integer>7</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <dict> |
| <key>line</key><integer>85</integer> |
| <key>col</key><integer>21</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>85</integer> |
| <key>col</key><integer>7</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <key>ranges</key> |
| <array> |
| <array> |
| <dict> |
| <key>line</key><integer>85</integer> |
| <key>col</key><integer>7</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <dict> |
| <key>line</key><integer>85</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>Assuming the condition is true</string> |
| <key>message</key> |
| <string>Assuming the condition is true</string> |
| </dict> |
| <dict> |
| <key>kind</key><string>control</string> |
| <key>edges</key> |
| <array> |
| <dict> |
| <key>start</key> |
| <array> |
| <dict> |
| <key>line</key><integer>85</integer> |
| <key>col</key><integer>7</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <dict> |
| <key>line</key><integer>85</integer> |
| <key>col</key><integer>21</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| </array> |
| <key>end</key> |
| <array> |
| <dict> |
| <key>line</key><integer>86</integer> |
| <key>col</key><integer>5</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <dict> |
| <key>line</key><integer>86</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>86</integer> |
| <key>col</key><integer>14</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <key>ranges</key> |
| <array> |
| <array> |
| <dict> |
| <key>line</key><integer>86</integer> |
| <key>col</key><integer>14</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <dict> |
| <key>line</key><integer>86</integer> |
| <key>col</key><integer>40</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| </array> |
| </array> |
| <key>depth</key><integer>0</integer> |
| <key>extended_message</key> |
| <string>Method returns an Objective-C object with a +1 retain count</string> |
| <key>message</key> |
| <string>Method returns an Objective-C object with a +1 retain count</string> |
| </dict> |
| <dict> |
| <key>kind</key><string>control</string> |
| <key>edges</key> |
| <array> |
| <dict> |
| <key>start</key> |
| <array> |
| <dict> |
| <key>line</key><integer>86</integer> |
| <key>col</key><integer>5</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <dict> |
| <key>line</key><integer>86</integer> |
| <key>col</key><integer>6</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| </array> |
| <key>end</key> |
| <array> |
| <dict> |
| <key>line</key><integer>88</integer> |
| <key>col</key><integer>9</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <dict> |
| <key>line</key><integer>88</integer> |
| <key>col</key><integer>9</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>9</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <key>depth</key><integer>0</integer> |
| <key>extended_message</key> |
| <string>Object leaked: object allocated and stored into 'foo' is not referenced later in this execution path and has a retain count of +1</string> |
| <key>message</key> |
| <string>Object leaked: object allocated and stored into 'foo' is not referenced later in this execution path and has a retain count of +1</string> |
| </dict> |
| </array> |
| <key>description</key><string>Potential leak of an object stored into 'foo'</string> |
| <key>category</key><string>Memory (Core Foundation/Objective-C)</string> |
| <key>type</key><string>Leak</string> |
| <key>check_name</key><string>osx.cocoa.RetainCount</string> |
| <!-- This hash is experimental and going to change! --> |
| <key>issue_hash_content_of_line_in_context</key><string>f533db5cbb9c20d171f9f92105789dc4</string> |
| <key>issue_context_kind</key><string>Objective-C method</string> |
| <key>issue_context</key><string>test2</string> |
| <key>issue_hash_function_offset</key><string>2</string> |
| <key>location</key> |
| <dict> |
| <key>line</key><integer>88</integer> |
| <key>col</key><integer>9</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <key>ExecutedLines</key> |
| <dict> |
| <key>0</key> |
| <array> |
| <integer>84</integer> |
| <integer>85</integer> |
| <integer>86</integer> |
| <integer>88</integer> |
| </array> |
| </dict> |
| </dict> |
| <dict> |
| <key>path</key> |
| <array> |
| <dict> |
| <key>kind</key><string>event</string> |
| <key>location</key> |
| <dict> |
| <key>line</key><integer>95</integer> |
| <key>col</key><integer>24</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <key>ranges</key> |
| <array> |
| <array> |
| <dict> |
| <key>line</key><integer>95</integer> |
| <key>col</key><integer>24</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <dict> |
| <key>line</key><integer>95</integer> |
| <key>col</key><integer>28</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| </array> |
| </array> |
| <key>depth</key><integer>0</integer> |
| <key>extended_message</key> |
| <string>Entering loop body</string> |
| <key>message</key> |
| <string>Entering loop body</string> |
| </dict> |
| <dict> |
| <key>kind</key><string>control</string> |
| <key>edges</key> |
| <array> |
| <dict> |
| <key>start</key> |
| <array> |
| <dict> |
| <key>line</key><integer>95</integer> |
| <key>col</key><integer>3</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <dict> |
| <key>line</key><integer>95</integer> |
| <key>col</key><integer>5</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| </array> |
| <key>end</key> |
| <array> |
| <dict> |
| <key>line</key><integer>96</integer> |
| <key>col</key><integer>4</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <dict> |
| <key>line</key><integer>96</integer> |
| <key>col</key><integer>5</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>96</integer> |
| <key>col</key><integer>4</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <dict> |
| <key>line</key><integer>96</integer> |
| <key>col</key><integer>5</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| </array> |
| <key>end</key> |
| <array> |
| <dict> |
| <key>line</key><integer>96</integer> |
| <key>col</key><integer>8</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <dict> |
| <key>line</key><integer>96</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>96</integer> |
| <key>col</key><integer>8</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <dict> |
| <key>line</key><integer>96</integer> |
| <key>col</key><integer>8</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| </array> |
| <key>end</key> |
| <array> |
| <dict> |
| <key>line</key><integer>100</integer> |
| <key>col</key><integer>3</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <dict> |
| <key>line</key><integer>100</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>100</integer> |
| <key>col</key><integer>3</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <dict> |
| <key>line</key><integer>100</integer> |
| <key>col</key><integer>3</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| </array> |
| <key>end</key> |
| <array> |
| <dict> |
| <key>line</key><integer>95</integer> |
| <key>col</key><integer>3</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <dict> |
| <key>line</key><integer>95</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>95</integer> |
| <key>col</key><integer>3</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <key>ranges</key> |
| <array> |
| <array> |
| <dict> |
| <key>line</key><integer>95</integer> |
| <key>col</key><integer>3</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <dict> |
| <key>line</key><integer>95</integer> |
| <key>col</key><integer>5</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| </array> |
| </array> |
| <key>depth</key><integer>0</integer> |
| <key>extended_message</key> |
| <string>Looping back to the head of the loop</string> |
| <key>message</key> |
| <string>Looping back to the head of the loop</string> |
| </dict> |
| <dict> |
| <key>kind</key><string>event</string> |
| <key>location</key> |
| <dict> |
| <key>line</key><integer>95</integer> |
| <key>col</key><integer>24</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <key>ranges</key> |
| <array> |
| <array> |
| <dict> |
| <key>line</key><integer>95</integer> |
| <key>col</key><integer>24</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <dict> |
| <key>line</key><integer>95</integer> |
| <key>col</key><integer>28</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| </array> |
| </array> |
| <key>depth</key><integer>0</integer> |
| <key>extended_message</key> |
| <string>Entering loop body</string> |
| <key>message</key> |
| <string>Entering loop body</string> |
| </dict> |
| <dict> |
| <key>kind</key><string>control</string> |
| <key>edges</key> |
| <array> |
| <dict> |
| <key>start</key> |
| <array> |
| <dict> |
| <key>line</key><integer>95</integer> |
| <key>col</key><integer>3</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <dict> |
| <key>line</key><integer>95</integer> |
| <key>col</key><integer>5</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| </array> |
| <key>end</key> |
| <array> |
| <dict> |
| <key>line</key><integer>96</integer> |
| <key>col</key><integer>4</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <dict> |
| <key>line</key><integer>96</integer> |
| <key>col</key><integer>5</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>96</integer> |
| <key>col</key><integer>4</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <dict> |
| <key>line</key><integer>96</integer> |
| <key>col</key><integer>5</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| </array> |
| <key>end</key> |
| <array> |
| <dict> |
| <key>line</key><integer>97</integer> |
| <key>col</key><integer>5</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <dict> |
| <key>line</key><integer>97</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>97</integer> |
| <key>col</key><integer>5</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <key>ranges</key> |
| <array> |
| <array> |
| <dict> |
| <key>line</key><integer>97</integer> |
| <key>col</key><integer>5</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <dict> |
| <key>line</key><integer>97</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>'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>97</integer> |
| <key>col</key><integer>5</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <dict> |
| <key>line</key><integer>97</integer> |
| <key>col</key><integer>7</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| </array> |
| <key>end</key> |
| <array> |
| <dict> |
| <key>line</key><integer>98</integer> |
| <key>col</key><integer>5</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <dict> |
| <key>line</key><integer>98</integer> |
| <key>col</key><integer>5</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>98</integer> |
| <key>col</key><integer>5</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <dict> |
| <key>line</key><integer>98</integer> |
| <key>col</key><integer>5</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| </array> |
| <key>end</key> |
| <array> |
| <dict> |
| <key>line</key><integer>98</integer> |
| <key>col</key><integer>8</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <dict> |
| <key>line</key><integer>98</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>98</integer> |
| <key>col</key><integer>8</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <key>ranges</key> |
| <array> |
| <array> |
| <dict> |
| <key>line</key><integer>98</integer> |
| <key>col</key><integer>6</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <dict> |
| <key>line</key><integer>98</integer> |
| <key>col</key><integer>6</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| </array> |
| </array> |
| <key>depth</key><integer>0</integer> |
| <key>extended_message</key> |
| <string>Dereference of null pointer (loaded from variable 'p')</string> |
| <key>message</key> |
| <string>Dereference of null pointer (loaded from variable 'p')</string> |
| </dict> |
| </array> |
| <key>description</key><string>Dereference of null pointer (loaded from variable 'p')</string> |
| <key>category</key><string>Logic error</string> |
| <key>type</key><string>Dereference of null pointer</string> |
| <key>check_name</key><string>core.NullDereference</string> |
| <!-- This hash is experimental and going to change! --> |
| <key>issue_hash_content_of_line_in_context</key><string>08f9a01186cb2f1b78b08ec20260f1c1</string> |
| <key>issue_context_kind</key><string>function</string> |
| <key>issue_context</key><string>rdar12280665</string> |
| <key>issue_hash_function_offset</key><string>4</string> |
| <key>location</key> |
| <dict> |
| <key>line</key><integer>98</integer> |
| <key>col</key><integer>8</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <key>ExecutedLines</key> |
| <dict> |
| <key>0</key> |
| <array> |
| <integer>94</integer> |
| <integer>95</integer> |
| <integer>96</integer> |
| <integer>97</integer> |
| <integer>98</integer> |
| <integer>100</integer> |
| </array> |
| </dict> |
| </dict> |
| <dict> |
| <key>path</key> |
| <array> |
| <dict> |
| <key>kind</key><string>event</string> |
| <key>location</key> |
| <dict> |
| <key>line</key><integer>107</integer> |
| <key>col</key><integer>3</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <key>ranges</key> |
| <array> |
| <array> |
| <dict> |
| <key>line</key><integer>107</integer> |
| <key>col</key><integer>3</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <dict> |
| <key>line</key><integer>107</integer> |
| <key>col</key><integer>8</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| </array> |
| </array> |
| <key>depth</key><integer>0</integer> |
| <key>extended_message</key> |
| <string>'p' initialized to a null pointer value</string> |
| <key>message</key> |
| <string>'p' initialized to a null pointer value</string> |
| </dict> |
| <dict> |
| <key>kind</key><string>control</string> |
| <key>edges</key> |
| <array> |
| <dict> |
| <key>start</key> |
| <array> |
| <dict> |
| <key>line</key><integer>107</integer> |
| <key>col</key><integer>3</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <dict> |
| <key>line</key><integer>107</integer> |
| <key>col</key><integer>5</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| </array> |
| <key>end</key> |
| <array> |
| <dict> |
| <key>line</key><integer>108</integer> |
| <key>col</key><integer>3</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <dict> |
| <key>line</key><integer>108</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>108</integer> |
| <key>col</key><integer>24</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <key>ranges</key> |
| <array> |
| <array> |
| <dict> |
| <key>line</key><integer>108</integer> |
| <key>col</key><integer>24</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <dict> |
| <key>line</key><integer>108</integer> |
| <key>col</key><integer>28</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| </array> |
| </array> |
| <key>depth</key><integer>0</integer> |
| <key>extended_message</key> |
| <string>Loop body executed 0 times</string> |
| <key>message</key> |
| <string>Loop body executed 0 times</string> |
| </dict> |
| <dict> |
| <key>kind</key><string>control</string> |
| <key>edges</key> |
| <array> |
| <dict> |
| <key>start</key> |
| <array> |
| <dict> |
| <key>line</key><integer>108</integer> |
| <key>col</key><integer>3</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <dict> |
| <key>line</key><integer>108</integer> |
| <key>col</key><integer>5</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| </array> |
| <key>end</key> |
| <array> |
| <dict> |
| <key>line</key><integer>111</integer> |
| <key>col</key><integer>3</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <dict> |
| <key>line</key><integer>111</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>111</integer> |
| <key>col</key><integer>3</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <dict> |
| <key>line</key><integer>111</integer> |
| <key>col</key><integer>3</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| </array> |
| <key>end</key> |
| <array> |
| <dict> |
| <key>line</key><integer>111</integer> |
| <key>col</key><integer>6</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <dict> |
| <key>line</key><integer>111</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>111</integer> |
| <key>col</key><integer>6</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <key>ranges</key> |
| <array> |
| <array> |
| <dict> |
| <key>line</key><integer>111</integer> |
| <key>col</key><integer>4</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <dict> |
| <key>line</key><integer>111</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 '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>93a53e4c8f02d191b07477940ddcf89c</string> |
| <key>issue_context_kind</key><string>function</string> |
| <key>issue_context</key><string>radar12322528_for</string> |
| <key>issue_hash_function_offset</key><string>5</string> |
| <key>location</key> |
| <dict> |
| <key>line</key><integer>111</integer> |
| <key>col</key><integer>6</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <key>ExecutedLines</key> |
| <dict> |
| <key>0</key> |
| <array> |
| <integer>106</integer> |
| <integer>107</integer> |
| <integer>108</integer> |
| <integer>111</integer> |
| </array> |
| </dict> |
| </dict> |
| <dict> |
| <key>path</key> |
| <array> |
| <dict> |
| <key>kind</key><string>event</string> |
| <key>location</key> |
| <dict> |
| <key>line</key><integer>115</integer> |
| <key>col</key><integer>3</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <key>ranges</key> |
| <array> |
| <array> |
| <dict> |
| <key>line</key><integer>115</integer> |
| <key>col</key><integer>3</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <dict> |
| <key>line</key><integer>115</integer> |
| <key>col</key><integer>8</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| </array> |
| </array> |
| <key>depth</key><integer>0</integer> |
| <key>extended_message</key> |
| <string>'p' initialized to a null pointer value</string> |
| <key>message</key> |
| <string>'p' initialized to a null pointer value</string> |
| </dict> |
| <dict> |
| <key>kind</key><string>control</string> |
| <key>edges</key> |
| <array> |
| <dict> |
| <key>start</key> |
| <array> |
| <dict> |
| <key>line</key><integer>115</integer> |
| <key>col</key><integer>3</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <dict> |
| <key>line</key><integer>115</integer> |
| <key>col</key><integer>5</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| </array> |
| <key>end</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>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>117</integer> |
| <key>col</key><integer>11</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <key>ranges</key> |
| <array> |
| <array> |
| <dict> |
| <key>line</key><integer>117</integer> |
| <key>col</key><integer>11</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <dict> |
| <key>line</key><integer>117</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>Loop body executed 0 times</string> |
| <key>message</key> |
| <string>Loop body executed 0 times</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>5</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| </array> |
| <key>end</key> |
| <array> |
| <dict> |
| <key>line</key><integer>121</integer> |
| <key>col</key><integer>3</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <dict> |
| <key>line</key><integer>121</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>121</integer> |
| <key>col</key><integer>3</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <dict> |
| <key>line</key><integer>121</integer> |
| <key>col</key><integer>3</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| </array> |
| <key>end</key> |
| <array> |
| <dict> |
| <key>line</key><integer>121</integer> |
| <key>col</key><integer>6</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <dict> |
| <key>line</key><integer>121</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>121</integer> |
| <key>col</key><integer>6</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <key>ranges</key> |
| <array> |
| <array> |
| <dict> |
| <key>line</key><integer>121</integer> |
| <key>col</key><integer>4</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <dict> |
| <key>line</key><integer>121</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 '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>f2d2dbf579b0b21a6b68726df6a041fc</string> |
| <key>issue_context_kind</key><string>function</string> |
| <key>issue_context</key><string>radar12322528_while</string> |
| <key>issue_hash_function_offset</key><string>7</string> |
| <key>location</key> |
| <dict> |
| <key>line</key><integer>121</integer> |
| <key>col</key><integer>6</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <key>ExecutedLines</key> |
| <dict> |
| <key>0</key> |
| <array> |
| <integer>114</integer> |
| <integer>115</integer> |
| <integer>116</integer> |
| <integer>117</integer> |
| <integer>121</integer> |
| </array> |
| </dict> |
| </dict> |
| <dict> |
| <key>path</key> |
| <array> |
| <dict> |
| <key>kind</key><string>event</string> |
| <key>location</key> |
| <dict> |
| <key>line</key><integer>125</integer> |
| <key>col</key><integer>3</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <key>ranges</key> |
| <array> |
| <array> |
| <dict> |
| <key>line</key><integer>125</integer> |
| <key>col</key><integer>3</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <dict> |
| <key>line</key><integer>125</integer> |
| <key>col</key><integer>8</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| </array> |
| </array> |
| <key>depth</key><integer>0</integer> |
| <key>extended_message</key> |
| <string>'p' initialized to a null pointer value</string> |
| <key>message</key> |
| <string>'p' initialized to a null pointer value</string> |
| </dict> |
| <dict> |
| <key>kind</key><string>control</string> |
| <key>edges</key> |
| <array> |
| <dict> |
| <key>start</key> |
| <array> |
| <dict> |
| <key>line</key><integer>125</integer> |
| <key>col</key><integer>3</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <dict> |
| <key>line</key><integer>125</integer> |
| <key>col</key><integer>5</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| </array> |
| <key>end</key> |
| <array> |
| <dict> |
| <key>line</key><integer>126</integer> |
| <key>col</key><integer>3</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <dict> |
| <key>line</key><integer>126</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>126</integer> |
| <key>col</key><integer>24</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <key>ranges</key> |
| <array> |
| <array> |
| <dict> |
| <key>line</key><integer>126</integer> |
| <key>col</key><integer>24</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <dict> |
| <key>line</key><integer>126</integer> |
| <key>col</key><integer>28</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| </array> |
| </array> |
| <key>depth</key><integer>0</integer> |
| <key>extended_message</key> |
| <string>Entering loop body</string> |
| <key>message</key> |
| <string>Entering loop body</string> |
| </dict> |
| <dict> |
| <key>kind</key><string>control</string> |
| <key>edges</key> |
| <array> |
| <dict> |
| <key>start</key> |
| <array> |
| <dict> |
| <key>line</key><integer>126</integer> |
| <key>col</key><integer>3</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <dict> |
| <key>line</key><integer>126</integer> |
| <key>col</key><integer>5</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| </array> |
| <key>end</key> |
| <array> |
| <dict> |
| <key>line</key><integer>127</integer> |
| <key>col</key><integer>5</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <dict> |
| <key>line</key><integer>127</integer> |
| <key>col</key><integer>6</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>127</integer> |
| <key>col</key><integer>5</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <dict> |
| <key>line</key><integer>127</integer> |
| <key>col</key><integer>6</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| </array> |
| <key>end</key> |
| <array> |
| <dict> |
| <key>line</key><integer>127</integer> |
| <key>col</key><integer>9</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <dict> |
| <key>line</key><integer>127</integer> |
| <key>col</key><integer>9</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>127</integer> |
| <key>col</key><integer>9</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <dict> |
| <key>line</key><integer>127</integer> |
| <key>col</key><integer>9</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| </array> |
| <key>end</key> |
| <array> |
| <dict> |
| <key>line</key><integer>129</integer> |
| <key>col</key><integer>3</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <dict> |
| <key>line</key><integer>129</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>129</integer> |
| <key>col</key><integer>3</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <dict> |
| <key>line</key><integer>129</integer> |
| <key>col</key><integer>3</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| </array> |
| <key>end</key> |
| <array> |
| <dict> |
| <key>line</key><integer>126</integer> |
| <key>col</key><integer>3</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <dict> |
| <key>line</key><integer>126</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>126</integer> |
| <key>col</key><integer>3</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <key>ranges</key> |
| <array> |
| <array> |
| <dict> |
| <key>line</key><integer>126</integer> |
| <key>col</key><integer>3</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <dict> |
| <key>line</key><integer>126</integer> |
| <key>col</key><integer>5</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| </array> |
| </array> |
| <key>depth</key><integer>0</integer> |
| <key>extended_message</key> |
| <string>Looping back to the head of the loop</string> |
| <key>message</key> |
| <string>Looping back to the head of the loop</string> |
| </dict> |
| <dict> |
| <key>kind</key><string>event</string> |
| <key>location</key> |
| <dict> |
| <key>line</key><integer>126</integer> |
| <key>col</key><integer>24</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <key>ranges</key> |
| <array> |
| <array> |
| <dict> |
| <key>line</key><integer>126</integer> |
| <key>col</key><integer>24</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <dict> |
| <key>line</key><integer>126</integer> |
| <key>col</key><integer>28</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| </array> |
| </array> |
| <key>depth</key><integer>0</integer> |
| <key>extended_message</key> |
| <string>Entering loop body</string> |
| <key>message</key> |
| <string>Entering loop body</string> |
| </dict> |
| <dict> |
| <key>kind</key><string>control</string> |
| <key>edges</key> |
| <array> |
| <dict> |
| <key>start</key> |
| <array> |
| <dict> |
| <key>line</key><integer>126</integer> |
| <key>col</key><integer>3</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <dict> |
| <key>line</key><integer>126</integer> |
| <key>col</key><integer>5</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| </array> |
| <key>end</key> |
| <array> |
| <dict> |
| <key>line</key><integer>127</integer> |
| <key>col</key><integer>5</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <dict> |
| <key>line</key><integer>127</integer> |
| <key>col</key><integer>6</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>127</integer> |
| <key>col</key><integer>5</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <dict> |
| <key>line</key><integer>127</integer> |
| <key>col</key><integer>6</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| </array> |
| <key>end</key> |
| <array> |
| <dict> |
| <key>line</key><integer>128</integer> |
| <key>col</key><integer>7</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <dict> |
| <key>line</key><integer>128</integer> |
| <key>col</key><integer>11</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>128</integer> |
| <key>col</key><integer>7</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <dict> |
| <key>line</key><integer>128</integer> |
| <key>col</key><integer>11</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| </array> |
| <key>end</key> |
| <array> |
| <dict> |
| <key>line</key><integer>130</integer> |
| <key>col</key><integer>3</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <dict> |
| <key>line</key><integer>130</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>130</integer> |
| <key>col</key><integer>3</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <dict> |
| <key>line</key><integer>130</integer> |
| <key>col</key><integer>3</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| </array> |
| <key>end</key> |
| <array> |
| <dict> |
| <key>line</key><integer>130</integer> |
| <key>col</key><integer>6</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <dict> |
| <key>line</key><integer>130</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>130</integer> |
| <key>col</key><integer>6</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <key>ranges</key> |
| <array> |
| <array> |
| <dict> |
| <key>line</key><integer>130</integer> |
| <key>col</key><integer>4</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <dict> |
| <key>line</key><integer>130</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 '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>95c7d39fb9d0d8c172b894e02855a07c</string> |
| <key>issue_context_kind</key><string>function</string> |
| <key>issue_context</key><string>radar12322528_foo_2</string> |
| <key>issue_hash_function_offset</key><string>6</string> |
| <key>location</key> |
| <dict> |
| <key>line</key><integer>130</integer> |
| <key>col</key><integer>6</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <key>ExecutedLines</key> |
| <dict> |
| <key>0</key> |
| <array> |
| <integer>124</integer> |
| <integer>125</integer> |
| <integer>126</integer> |
| <integer>127</integer> |
| <integer>128</integer> |
| <integer>129</integer> |
| <integer>130</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>134</integer> |
| <key>col</key><integer>3</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <dict> |
| <key>line</key><integer>134</integer> |
| <key>col</key><integer>5</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| </array> |
| <key>end</key> |
| <array> |
| <dict> |
| <key>line</key><integer>135</integer> |
| <key>col</key><integer>3</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <dict> |
| <key>line</key><integer>135</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>135</integer> |
| <key>col</key><integer>19</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <key>ranges</key> |
| <array> |
| <array> |
| <dict> |
| <key>line</key><integer>135</integer> |
| <key>col</key><integer>19</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <dict> |
| <key>line</key><integer>135</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>Entering loop body</string> |
| <key>message</key> |
| <string>Entering loop body</string> |
| </dict> |
| <dict> |
| <key>kind</key><string>control</string> |
| <key>edges</key> |
| <array> |
| <dict> |
| <key>start</key> |
| <array> |
| <dict> |
| <key>line</key><integer>135</integer> |
| <key>col</key><integer>3</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <dict> |
| <key>line</key><integer>135</integer> |
| <key>col</key><integer>5</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| </array> |
| <key>end</key> |
| <array> |
| <dict> |
| <key>line</key><integer>135</integer> |
| <key>col</key><integer>33</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <dict> |
| <key>line</key><integer>135</integer> |
| <key>col</key><integer>33</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>135</integer> |
| <key>col</key><integer>33</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <dict> |
| <key>line</key><integer>135</integer> |
| <key>col</key><integer>33</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| </array> |
| <key>end</key> |
| <array> |
| <dict> |
| <key>line</key><integer>135</integer> |
| <key>col</key><integer>40</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <dict> |
| <key>line</key><integer>135</integer> |
| <key>col</key><integer>40</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>135</integer> |
| <key>col</key><integer>40</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <dict> |
| <key>line</key><integer>135</integer> |
| <key>col</key><integer>40</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| </array> |
| <key>end</key> |
| <array> |
| <dict> |
| <key>line</key><integer>135</integer> |
| <key>col</key><integer>3</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <dict> |
| <key>line</key><integer>135</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>135</integer> |
| <key>col</key><integer>3</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <key>ranges</key> |
| <array> |
| <array> |
| <dict> |
| <key>line</key><integer>135</integer> |
| <key>col</key><integer>3</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <dict> |
| <key>line</key><integer>135</integer> |
| <key>col</key><integer>5</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| </array> |
| </array> |
| <key>depth</key><integer>0</integer> |
| <key>extended_message</key> |
| <string>Looping back to the head of the loop</string> |
| <key>message</key> |
| <string>Looping back to the head of the loop</string> |
| </dict> |
| <dict> |
| <key>kind</key><string>event</string> |
| <key>location</key> |
| <dict> |
| <key>line</key><integer>135</integer> |
| <key>col</key><integer>19</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <key>ranges</key> |
| <array> |
| <array> |
| <dict> |
| <key>line</key><integer>135</integer> |
| <key>col</key><integer>19</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <dict> |
| <key>line</key><integer>135</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>Entering loop body</string> |
| <key>message</key> |
| <string>Entering loop body</string> |
| </dict> |
| <dict> |
| <key>kind</key><string>control</string> |
| <key>edges</key> |
| <array> |
| <dict> |
| <key>start</key> |
| <array> |
| <dict> |
| <key>line</key><integer>135</integer> |
| <key>col</key><integer>3</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <dict> |
| <key>line</key><integer>135</integer> |
| <key>col</key><integer>5</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| </array> |
| <key>end</key> |
| <array> |
| <dict> |
| <key>line</key><integer>135</integer> |
| <key>col</key><integer>33</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <dict> |
| <key>line</key><integer>135</integer> |
| <key>col</key><integer>33</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>135</integer> |
| <key>col</key><integer>33</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <key>ranges</key> |
| <array> |
| <array> |
| <dict> |
| <key>line</key><integer>135</integer> |
| <key>col</key><integer>33</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <dict> |
| <key>line</key><integer>135</integer> |
| <key>col</key><integer>37</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 'p'</string> |
| <key>message</key> |
| <string>Null pointer value stored to 'p'</string> |
| </dict> |
| <dict> |
| <key>kind</key><string>control</string> |
| <key>edges</key> |
| <array> |
| <dict> |
| <key>start</key> |
| <array> |
| <dict> |
| <key>line</key><integer>135</integer> |
| <key>col</key><integer>33</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <dict> |
| <key>line</key><integer>135</integer> |
| <key>col</key><integer>33</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| </array> |
| <key>end</key> |
| <array> |
| <dict> |
| <key>line</key><integer>135</integer> |
| <key>col</key><integer>40</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <dict> |
| <key>line</key><integer>135</integer> |
| <key>col</key><integer>40</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>135</integer> |
| <key>col</key><integer>40</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <dict> |
| <key>line</key><integer>135</integer> |
| <key>col</key><integer>40</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| </array> |
| <key>end</key> |
| <array> |
| <dict> |
| <key>line</key><integer>135</integer> |
| <key>col</key><integer>3</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <dict> |
| <key>line</key><integer>135</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>135</integer> |
| <key>col</key><integer>3</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <key>ranges</key> |
| <array> |
| <array> |
| <dict> |
| <key>line</key><integer>135</integer> |
| <key>col</key><integer>3</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <dict> |
| <key>line</key><integer>135</integer> |
| <key>col</key><integer>5</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| </array> |
| </array> |
| <key>depth</key><integer>0</integer> |
| <key>extended_message</key> |
| <string>Looping back to the head of the loop</string> |
| <key>message</key> |
| <string>Looping back to the head of the loop</string> |
| </dict> |
| <dict> |
| <key>kind</key><string>control</string> |
| <key>edges</key> |
| <array> |
| <dict> |
| <key>start</key> |
| <array> |
| <dict> |
| <key>line</key><integer>135</integer> |
| <key>col</key><integer>3</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <dict> |
| <key>line</key><integer>135</integer> |
| <key>col</key><integer>5</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| </array> |
| <key>end</key> |
| <array> |
| <dict> |
| <key>line</key><integer>136</integer> |
| <key>col</key><integer>3</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <dict> |
| <key>line</key><integer>136</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>136</integer> |
| <key>col</key><integer>3</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <dict> |
| <key>line</key><integer>136</integer> |
| <key>col</key><integer>3</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| </array> |
| <key>end</key> |
| <array> |
| <dict> |
| <key>line</key><integer>136</integer> |
| <key>col</key><integer>6</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <dict> |
| <key>line</key><integer>136</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>136</integer> |
| <key>col</key><integer>6</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <key>ranges</key> |
| <array> |
| <array> |
| <dict> |
| <key>line</key><integer>136</integer> |
| <key>col</key><integer>4</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <dict> |
| <key>line</key><integer>136</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 '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>4cbbc713c8267513fef8a33f1327d7ca</string> |
| <key>issue_context_kind</key><string>function</string> |
| <key>issue_context</key><string>test_loop_diagnostics</string> |
| <key>issue_hash_function_offset</key><string>3</string> |
| <key>location</key> |
| <dict> |
| <key>line</key><integer>136</integer> |
| <key>col</key><integer>6</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <key>ExecutedLines</key> |
| <dict> |
| <key>0</key> |
| <array> |
| <integer>133</integer> |
| <integer>134</integer> |
| <integer>135</integer> |
| <integer>136</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>140</integer> |
| <key>col</key><integer>3</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <dict> |
| <key>line</key><integer>140</integer> |
| <key>col</key><integer>5</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| </array> |
| <key>end</key> |
| <array> |
| <dict> |
| <key>line</key><integer>141</integer> |
| <key>col</key><integer>3</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <dict> |
| <key>line</key><integer>141</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>141</integer> |
| <key>col</key><integer>19</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <key>ranges</key> |
| <array> |
| <array> |
| <dict> |
| <key>line</key><integer>141</integer> |
| <key>col</key><integer>19</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <dict> |
| <key>line</key><integer>141</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>Entering loop body</string> |
| <key>message</key> |
| <string>Entering loop body</string> |
| </dict> |
| <dict> |
| <key>kind</key><string>control</string> |
| <key>edges</key> |
| <array> |
| <dict> |
| <key>start</key> |
| <array> |
| <dict> |
| <key>line</key><integer>141</integer> |
| <key>col</key><integer>3</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <dict> |
| <key>line</key><integer>141</integer> |
| <key>col</key><integer>5</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| </array> |
| <key>end</key> |
| <array> |
| <dict> |
| <key>line</key><integer>142</integer> |
| <key>col</key><integer>5</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <dict> |
| <key>line</key><integer>142</integer> |
| <key>col</key><integer>6</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>142</integer> |
| <key>col</key><integer>5</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <dict> |
| <key>line</key><integer>142</integer> |
| <key>col</key><integer>6</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| </array> |
| <key>end</key> |
| <array> |
| <dict> |
| <key>line</key><integer>143</integer> |
| <key>col</key><integer>5</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <dict> |
| <key>line</key><integer>143</integer> |
| <key>col</key><integer>5</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>143</integer> |
| <key>col</key><integer>5</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <dict> |
| <key>line</key><integer>143</integer> |
| <key>col</key><integer>5</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| </array> |
| <key>end</key> |
| <array> |
| <dict> |
| <key>line</key><integer>144</integer> |
| <key>col</key><integer>3</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <dict> |
| <key>line</key><integer>144</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>144</integer> |
| <key>col</key><integer>3</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <dict> |
| <key>line</key><integer>144</integer> |
| <key>col</key><integer>3</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| </array> |
| <key>end</key> |
| <array> |
| <dict> |
| <key>line</key><integer>141</integer> |
| <key>col</key><integer>3</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <dict> |
| <key>line</key><integer>141</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>141</integer> |
| <key>col</key><integer>3</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <key>ranges</key> |
| <array> |
| <array> |
| <dict> |
| <key>line</key><integer>141</integer> |
| <key>col</key><integer>3</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <dict> |
| <key>line</key><integer>141</integer> |
| <key>col</key><integer>5</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| </array> |
| </array> |
| <key>depth</key><integer>0</integer> |
| <key>extended_message</key> |
| <string>Looping back to the head of the loop</string> |
| <key>message</key> |
| <string>Looping back to the head of the loop</string> |
| </dict> |
| <dict> |
| <key>kind</key><string>event</string> |
| <key>location</key> |
| <dict> |
| <key>line</key><integer>141</integer> |
| <key>col</key><integer>19</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <key>ranges</key> |
| <array> |
| <array> |
| <dict> |
| <key>line</key><integer>141</integer> |
| <key>col</key><integer>19</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <dict> |
| <key>line</key><integer>141</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>Entering loop body</string> |
| <key>message</key> |
| <string>Entering loop body</string> |
| </dict> |
| <dict> |
| <key>kind</key><string>control</string> |
| <key>edges</key> |
| <array> |
| <dict> |
| <key>start</key> |
| <array> |
| <dict> |
| <key>line</key><integer>141</integer> |
| <key>col</key><integer>3</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <dict> |
| <key>line</key><integer>141</integer> |
| <key>col</key><integer>5</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| </array> |
| <key>end</key> |
| <array> |
| <dict> |
| <key>line</key><integer>142</integer> |
| <key>col</key><integer>5</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <dict> |
| <key>line</key><integer>142</integer> |
| <key>col</key><integer>6</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>142</integer> |
| <key>col</key><integer>5</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <dict> |
| <key>line</key><integer>142</integer> |
| <key>col</key><integer>6</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| </array> |
| <key>end</key> |
| <array> |
| <dict> |
| <key>line</key><integer>143</integer> |
| <key>col</key><integer>5</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <dict> |
| <key>line</key><integer>143</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>143</integer> |
| <key>col</key><integer>5</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <key>ranges</key> |
| <array> |
| <array> |
| <dict> |
| <key>line</key><integer>143</integer> |
| <key>col</key><integer>5</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <dict> |
| <key>line</key><integer>143</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>Null pointer value stored to 'p'</string> |
| <key>message</key> |
| <string>Null pointer value stored to 'p'</string> |
| </dict> |
| <dict> |
| <key>kind</key><string>control</string> |
| <key>edges</key> |
| <array> |
| <dict> |
| <key>start</key> |
| <array> |
| <dict> |
| <key>line</key><integer>143</integer> |
| <key>col</key><integer>5</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <dict> |
| <key>line</key><integer>143</integer> |
| <key>col</key><integer>5</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| </array> |
| <key>end</key> |
| <array> |
| <dict> |
| <key>line</key><integer>144</integer> |
| <key>col</key><integer>3</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <dict> |
| <key>line</key><integer>144</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>144</integer> |
| <key>col</key><integer>3</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <dict> |
| <key>line</key><integer>144</integer> |
| <key>col</key><integer>3</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| </array> |
| <key>end</key> |
| <array> |
| <dict> |
| <key>line</key><integer>141</integer> |
| <key>col</key><integer>3</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <dict> |
| <key>line</key><integer>141</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>141</integer> |
| <key>col</key><integer>3</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <key>ranges</key> |
| <array> |
| <array> |
| <dict> |
| <key>line</key><integer>141</integer> |
| <key>col</key><integer>3</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <dict> |
| <key>line</key><integer>141</integer> |
| <key>col</key><integer>5</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| </array> |
| </array> |
| <key>depth</key><integer>0</integer> |
| <key>extended_message</key> |
| <string>Looping back to the head of the loop</string> |
| <key>message</key> |
| <string>Looping back to the head of the loop</string> |
| </dict> |
| <dict> |
| <key>kind</key><string>control</string> |
| <key>edges</key> |
| <array> |
| <dict> |
| <key>start</key> |
| <array> |
| <dict> |
| <key>line</key><integer>141</integer> |
| <key>col</key><integer>3</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <dict> |
| <key>line</key><integer>141</integer> |
| <key>col</key><integer>5</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| </array> |
| <key>end</key> |
| <array> |
| <dict> |
| <key>line</key><integer>145</integer> |
| <key>col</key><integer>3</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <dict> |
| <key>line</key><integer>145</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>145</integer> |
| <key>col</key><integer>3</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <dict> |
| <key>line</key><integer>145</integer> |
| <key>col</key><integer>3</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| </array> |
| <key>end</key> |
| <array> |
| <dict> |
| <key>line</key><integer>145</integer> |
| <key>col</key><integer>6</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <dict> |
| <key>line</key><integer>145</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>145</integer> |
| <key>col</key><integer>6</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <key>ranges</key> |
| <array> |
| <array> |
| <dict> |
| <key>line</key><integer>145</integer> |
| <key>col</key><integer>4</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <dict> |
| <key>line</key><integer>145</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 '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>a5aa7cf7ce6ba6683bebfff63df926fd</string> |
| <key>issue_context_kind</key><string>function</string> |
| <key>issue_context</key><string>test_loop_diagnostics_2</string> |
| <key>issue_hash_function_offset</key><string>6</string> |
| <key>location</key> |
| <dict> |
| <key>line</key><integer>145</integer> |
| <key>col</key><integer>6</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <key>ExecutedLines</key> |
| <dict> |
| <key>0</key> |
| <array> |
| <integer>139</integer> |
| <integer>140</integer> |
| <integer>141</integer> |
| <integer>142</integer> |
| <integer>143</integer> |
| <integer>144</integer> |
| <integer>145</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>149</integer> |
| <key>col</key><integer>3</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <dict> |
| <key>line</key><integer>149</integer> |
| <key>col</key><integer>5</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| </array> |
| <key>end</key> |
| <array> |
| <dict> |
| <key>line</key><integer>151</integer> |
| <key>col</key><integer>3</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <dict> |
| <key>line</key><integer>151</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>151</integer> |
| <key>col</key><integer>10</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <key>ranges</key> |
| <array> |
| <array> |
| <dict> |
| <key>line</key><integer>151</integer> |
| <key>col</key><integer>10</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <dict> |
| <key>line</key><integer>151</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>Entering loop body</string> |
| <key>message</key> |
| <string>Entering loop body</string> |
| </dict> |
| <dict> |
| <key>kind</key><string>control</string> |
| <key>edges</key> |
| <array> |
| <dict> |
| <key>start</key> |
| <array> |
| <dict> |
| <key>line</key><integer>151</integer> |
| <key>col</key><integer>3</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <dict> |
| <key>line</key><integer>151</integer> |
| <key>col</key><integer>7</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| </array> |
| <key>end</key> |
| <array> |
| <dict> |
| <key>line</key><integer>152</integer> |
| <key>col</key><integer>5</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <dict> |
| <key>line</key><integer>152</integer> |
| <key>col</key><integer>6</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>152</integer> |
| <key>col</key><integer>5</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <dict> |
| <key>line</key><integer>152</integer> |
| <key>col</key><integer>6</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| </array> |
| <key>end</key> |
| <array> |
| <dict> |
| <key>line</key><integer>153</integer> |
| <key>col</key><integer>5</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <dict> |
| <key>line</key><integer>153</integer> |
| <key>col</key><integer>5</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>153</integer> |
| <key>col</key><integer>5</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <dict> |
| <key>line</key><integer>153</integer> |
| <key>col</key><integer>5</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| </array> |
| <key>end</key> |
| <array> |
| <dict> |
| <key>line</key><integer>154</integer> |
| <key>col</key><integer>3</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <dict> |
| <key>line</key><integer>154</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>154</integer> |
| <key>col</key><integer>3</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <dict> |
| <key>line</key><integer>154</integer> |
| <key>col</key><integer>3</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| </array> |
| <key>end</key> |
| <array> |
| <dict> |
| <key>line</key><integer>151</integer> |
| <key>col</key><integer>3</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <dict> |
| <key>line</key><integer>151</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>151</integer> |
| <key>col</key><integer>3</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <key>ranges</key> |
| <array> |
| <array> |
| <dict> |
| <key>line</key><integer>151</integer> |
| <key>col</key><integer>3</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <dict> |
| <key>line</key><integer>151</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>Looping back to the head of the loop</string> |
| <key>message</key> |
| <string>Looping back to the head of the loop</string> |
| </dict> |
| <dict> |
| <key>kind</key><string>event</string> |
| <key>location</key> |
| <dict> |
| <key>line</key><integer>151</integer> |
| <key>col</key><integer>10</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <key>ranges</key> |
| <array> |
| <array> |
| <dict> |
| <key>line</key><integer>151</integer> |
| <key>col</key><integer>10</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <dict> |
| <key>line</key><integer>151</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>Entering loop body</string> |
| <key>message</key> |
| <string>Entering loop body</string> |
| </dict> |
| <dict> |
| <key>kind</key><string>control</string> |
| <key>edges</key> |
| <array> |
| <dict> |
| <key>start</key> |
| <array> |
| <dict> |
| <key>line</key><integer>151</integer> |
| <key>col</key><integer>3</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <dict> |
| <key>line</key><integer>151</integer> |
| <key>col</key><integer>7</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| </array> |
| <key>end</key> |
| <array> |
| <dict> |
| <key>line</key><integer>152</integer> |
| <key>col</key><integer>5</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <dict> |
| <key>line</key><integer>152</integer> |
| <key>col</key><integer>6</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>152</integer> |
| <key>col</key><integer>5</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <dict> |
| <key>line</key><integer>152</integer> |
| <key>col</key><integer>6</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| </array> |
| <key>end</key> |
| <array> |
| <dict> |
| <key>line</key><integer>153</integer> |
| <key>col</key><integer>5</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <dict> |
| <key>line</key><integer>153</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>153</integer> |
| <key>col</key><integer>5</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <key>ranges</key> |
| <array> |
| <array> |
| <dict> |
| <key>line</key><integer>153</integer> |
| <key>col</key><integer>5</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <dict> |
| <key>line</key><integer>153</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>Null pointer value stored to 'p'</string> |
| <key>message</key> |
| <string>Null pointer value stored to 'p'</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>5</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <dict> |
| <key>line</key><integer>153</integer> |
| <key>col</key><integer>5</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| </array> |
| <key>end</key> |
| <array> |
| <dict> |
| <key>line</key><integer>154</integer> |
| <key>col</key><integer>3</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <dict> |
| <key>line</key><integer>154</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>154</integer> |
| <key>col</key><integer>3</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <dict> |
| <key>line</key><integer>154</integer> |
| <key>col</key><integer>3</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| </array> |
| <key>end</key> |
| <array> |
| <dict> |
| <key>line</key><integer>151</integer> |
| <key>col</key><integer>3</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <dict> |
| <key>line</key><integer>151</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>151</integer> |
| <key>col</key><integer>3</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <key>ranges</key> |
| <array> |
| <array> |
| <dict> |
| <key>line</key><integer>151</integer> |
| <key>col</key><integer>3</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <dict> |
| <key>line</key><integer>151</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>Looping back to the head of the loop</string> |
| <key>message</key> |
| <string>Looping back to the head of the loop</string> |
| </dict> |
| <dict> |
| <key>kind</key><string>control</string> |
| <key>edges</key> |
| <array> |
| <dict> |
| <key>start</key> |
| <array> |
| <dict> |
| <key>line</key><integer>151</integer> |
| <key>col</key><integer>3</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <dict> |
| <key>line</key><integer>151</integer> |
| <key>col</key><integer>7</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| </array> |
| <key>end</key> |
| <array> |
| <dict> |
| <key>line</key><integer>155</integer> |
| <key>col</key><integer>3</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <dict> |
| <key>line</key><integer>155</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>155</integer> |
| <key>col</key><integer>3</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <dict> |
| <key>line</key><integer>155</integer> |
| <key>col</key><integer>3</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| </array> |
| <key>end</key> |
| <array> |
| <dict> |
| <key>line</key><integer>155</integer> |
| <key>col</key><integer>6</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <dict> |
| <key>line</key><integer>155</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>155</integer> |
| <key>col</key><integer>6</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <key>ranges</key> |
| <array> |
| <array> |
| <dict> |
| <key>line</key><integer>155</integer> |
| <key>col</key><integer>4</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <dict> |
| <key>line</key><integer>155</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 '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>3917bac4f8fdce1f6c6393b1f14a1320</string> |
| <key>issue_context_kind</key><string>function</string> |
| <key>issue_context</key><string>test_loop_diagnostics_3</string> |
| <key>issue_hash_function_offset</key><string>7</string> |
| <key>location</key> |
| <dict> |
| <key>line</key><integer>155</integer> |
| <key>col</key><integer>6</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <key>ExecutedLines</key> |
| <dict> |
| <key>0</key> |
| <array> |
| <integer>148</integer> |
| <integer>149</integer> |
| <integer>150</integer> |
| <integer>151</integer> |
| <integer>152</integer> |
| <integer>153</integer> |
| <integer>154</integer> |
| <integer>155</integer> |
| </array> |
| </dict> |
| </dict> |
| <dict> |
| <key>path</key> |
| <array> |
| <dict> |
| <key>kind</key><string>event</string> |
| <key>location</key> |
| <dict> |
| <key>line</key><integer>163</integer> |
| <key>col</key><integer>3</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <key>ranges</key> |
| <array> |
| <array> |
| <dict> |
| <key>line</key><integer>163</integer> |
| <key>col</key><integer>8</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <dict> |
| <key>line</key><integer>163</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>Value stored to 'x' is never read</string> |
| <key>message</key> |
| <string>Value stored to 'x' is never read</string> |
| </dict> |
| </array> |
| <key>description</key><string>Value stored to 'x' is never read</string> |
| <key>category</key><string>Dead store</string> |
| <key>type</key><string>Dead increment</string> |
| <key>check_name</key><string>deadcode.DeadStores</string> |
| <!-- This hash is experimental and going to change! --> |
| <key>issue_hash_content_of_line_in_context</key><string>c94f341ebaf0fac5d6703aaa7e6bee9b</string> |
| <key>issue_context_kind</key><string>function</string> |
| <key>issue_context</key><string>test_loop_fast_enumeration</string> |
| <key>issue_hash_function_offset</key><string>5</string> |
| <key>location</key> |
| <dict> |
| <key>line</key><integer>163</integer> |
| <key>col</key><integer>3</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <key>ExecutedLines</key> |
| <dict> |
| <key>0</key> |
| <array> |
| <integer>163</integer> |
| </array> |
| </dict> |
| </dict> |
| <dict> |
| <key>path</key> |
| <array> |
| <dict> |
| <key>kind</key><string>event</string> |
| <key>location</key> |
| <dict> |
| <key>line</key><integer>159</integer> |
| <key>col</key><integer>3</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <key>ranges</key> |
| <array> |
| <array> |
| <dict> |
| <key>line</key><integer>159</integer> |
| <key>col</key><integer>3</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <dict> |
| <key>line</key><integer>159</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>'x' declared without an initial value</string> |
| <key>message</key> |
| <string>'x' declared without an initial value</string> |
| </dict> |
| <dict> |
| <key>kind</key><string>control</string> |
| <key>edges</key> |
| <array> |
| <dict> |
| <key>start</key> |
| <array> |
| <dict> |
| <key>line</key><integer>159</integer> |
| <key>col</key><integer>3</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <dict> |
| <key>line</key><integer>159</integer> |
| <key>col</key><integer>5</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| </array> |
| <key>end</key> |
| <array> |
| <dict> |
| <key>line</key><integer>160</integer> |
| <key>col</key><integer>3</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <dict> |
| <key>line</key><integer>160</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>160</integer> |
| <key>col</key><integer>8</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <key>ranges</key> |
| <array> |
| <array> |
| <dict> |
| <key>line</key><integer>160</integer> |
| <key>col</key><integer>8</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <dict> |
| <key>line</key><integer>160</integer> |
| <key>col</key><integer>13</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| </array> |
| </array> |
| <key>depth</key><integer>0</integer> |
| <key>extended_message</key> |
| <string>Loop body skipped when collection is empty</string> |
| <key>message</key> |
| <string>Loop body skipped when collection is empty</string> |
| </dict> |
| <dict> |
| <key>kind</key><string>control</string> |
| <key>edges</key> |
| <array> |
| <dict> |
| <key>start</key> |
| <array> |
| <dict> |
| <key>line</key><integer>160</integer> |
| <key>col</key><integer>3</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <dict> |
| <key>line</key><integer>160</integer> |
| <key>col</key><integer>5</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| </array> |
| <key>end</key> |
| <array> |
| <dict> |
| <key>line</key><integer>163</integer> |
| <key>col</key><integer>3</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <dict> |
| <key>line</key><integer>163</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>163</integer> |
| <key>col</key><integer>3</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <dict> |
| <key>line</key><integer>163</integer> |
| <key>col</key><integer>3</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| </array> |
| <key>end</key> |
| <array> |
| <dict> |
| <key>line</key><integer>163</integer> |
| <key>col</key><integer>5</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <dict> |
| <key>line</key><integer>163</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>163</integer> |
| <key>col</key><integer>5</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <key>ranges</key> |
| <array> |
| <array> |
| <dict> |
| <key>line</key><integer>163</integer> |
| <key>col</key><integer>3</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <dict> |
| <key>line</key><integer>163</integer> |
| <key>col</key><integer>3</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| </array> |
| </array> |
| <key>depth</key><integer>0</integer> |
| <key>extended_message</key> |
| <string>The left expression of the compound assignment is an uninitialized value. The computed value will also be garbage</string> |
| <key>message</key> |
| <string>The left expression of the compound assignment is an uninitialized value. The computed value will also be garbage</string> |
| </dict> |
| </array> |
| <key>description</key><string>The left expression of the compound assignment is an uninitialized value. The computed value will also be garbage</string> |
| <key>category</key><string>Logic error</string> |
| <key>type</key><string>Assigned value is garbage or undefined</string> |
| <key>check_name</key><string>core.uninitialized.Assign</string> |
| <!-- This hash is experimental and going to change! --> |
| <key>issue_hash_content_of_line_in_context</key><string>21c774309bdfd487c3d09a61a671bbcc</string> |
| <key>issue_context_kind</key><string>function</string> |
| <key>issue_context</key><string>test_loop_fast_enumeration</string> |
| <key>issue_hash_function_offset</key><string>5</string> |
| <key>location</key> |
| <dict> |
| <key>line</key><integer>163</integer> |
| <key>col</key><integer>5</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <key>ExecutedLines</key> |
| <dict> |
| <key>0</key> |
| <array> |
| <integer>158</integer> |
| <integer>159</integer> |
| <integer>160</integer> |
| <integer>163</integer> |
| </array> |
| </dict> |
| </dict> |
| <dict> |
| <key>path</key> |
| <array> |
| <dict> |
| <key>kind</key><string>event</string> |
| <key>location</key> |
| <dict> |
| <key>line</key><integer>171</integer> |
| <key>col</key><integer>3</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <key>ranges</key> |
| <array> |
| <array> |
| <dict> |
| <key>line</key><integer>171</integer> |
| <key>col</key><integer>3</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <dict> |
| <key>line</key><integer>171</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>Null pointer value stored to 'p'</string> |
| <key>message</key> |
| <string>Null pointer value stored to 'p'</string> |
| </dict> |
| <dict> |
| <key>kind</key><string>control</string> |
| <key>edges</key> |
| <array> |
| <dict> |
| <key>start</key> |
| <array> |
| <dict> |
| <key>line</key><integer>171</integer> |
| <key>col</key><integer>3</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <dict> |
| <key>line</key><integer>171</integer> |
| <key>col</key><integer>3</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| </array> |
| <key>end</key> |
| <array> |
| <dict> |
| <key>line</key><integer>172</integer> |
| <key>col</key><integer>3</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <dict> |
| <key>line</key><integer>172</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>172</integer> |
| <key>col</key><integer>3</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <dict> |
| <key>line</key><integer>172</integer> |
| <key>col</key><integer>3</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| </array> |
| <key>end</key> |
| <array> |
| <dict> |
| <key>line</key><integer>172</integer> |
| <key>col</key><integer>6</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <dict> |
| <key>line</key><integer>172</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>172</integer> |
| <key>col</key><integer>6</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <key>ranges</key> |
| <array> |
| <array> |
| <dict> |
| <key>line</key><integer>172</integer> |
| <key>col</key><integer>4</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <dict> |
| <key>line</key><integer>172</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 ivar 'p')</string> |
| <key>message</key> |
| <string>Dereference of null pointer (loaded from ivar 'p')</string> |
| </dict> |
| </array> |
| <key>description</key><string>Dereference of null pointer (loaded from ivar '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>b21eba78798501dc6b716bb91e3f7f01</string> |
| <key>issue_context_kind</key><string>Objective-C method</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>172</integer> |
| <key>col</key><integer>6</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <key>ExecutedLines</key> |
| <dict> |
| <key>0</key> |
| <array> |
| <integer>170</integer> |
| <integer>171</integer> |
| <integer>172</integer> |
| </array> |
| </dict> |
| </dict> |
| <dict> |
| <key>path</key> |
| <array> |
| <dict> |
| <key>kind</key><string>event</string> |
| <key>location</key> |
| <dict> |
| <key>line</key><integer>182</integer> |
| <key>col</key><integer>3</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <key>ranges</key> |
| <array> |
| <array> |
| <dict> |
| <key>line</key><integer>182</integer> |
| <key>col</key><integer>3</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <dict> |
| <key>line</key><integer>182</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>'s.i' initialized to a null pointer value</string> |
| <key>message</key> |
| <string>'s.i' 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>182</integer> |
| <key>col</key><integer>3</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <dict> |
| <key>line</key><integer>182</integer> |
| <key>col</key><integer>8</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| </array> |
| <key>end</key> |
| <array> |
| <dict> |
| <key>line</key><integer>184</integer> |
| <key>col</key><integer>3</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <dict> |
| <key>line</key><integer>184</integer> |
| <key>col</key><integer>16</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>184</integer> |
| <key>col</key><integer>3</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <key>ranges</key> |
| <array> |
| <array> |
| <dict> |
| <key>line</key><integer>184</integer> |
| <key>col</key><integer>18</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <dict> |
| <key>line</key><integer>184</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>Null pointer passed as an argument to a 'nonnull' parameter</string> |
| <key>message</key> |
| <string>Null pointer passed as an argument to a 'nonnull' parameter</string> |
| </dict> |
| </array> |
| <key>description</key><string>Null pointer passed as an argument to a 'nonnull' parameter</string> |
| <key>category</key><string>API</string> |
| <key>type</key><string>Argument with 'nonnull' attribute passed null</string> |
| <key>check_name</key><string>core.NonNullParamChecker</string> |
| <!-- This hash is experimental and going to change! --> |
| <key>issue_hash_content_of_line_in_context</key><string>c0b359a043c633f1b8d1581f68743361</string> |
| <key>issue_context_kind</key><string>function</string> |
| <key>issue_context</key><string>RDar13295437</string> |
| <key>issue_hash_function_offset</key><string>3</string> |
| <key>location</key> |
| <dict> |
| <key>line</key><integer>184</integer> |
| <key>col</key><integer>3</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <key>ExecutedLines</key> |
| <dict> |
| <key>0</key> |
| <array> |
| <integer>181</integer> |
| <integer>182</integer> |
| <integer>183</integer> |
| <integer>184</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>192</integer> |
| <key>col</key><integer>3</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <dict> |
| <key>line</key><integer>192</integer> |
| <key>col</key><integer>4</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| </array> |
| <key>end</key> |
| <array> |
| <dict> |
| <key>line</key><integer>192</integer> |
| <key>col</key><integer>7</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <dict> |
| <key>line</key><integer>192</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>192</integer> |
| <key>col</key><integer>7</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <key>ranges</key> |
| <array> |
| <array> |
| <dict> |
| <key>line</key><integer>192</integer> |
| <key>col</key><integer>7</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <dict> |
| <key>line</key><integer>192</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 'x' is nil</string> |
| <key>message</key> |
| <string>Assuming 'x' is nil</string> |
| </dict> |
| <dict> |
| <key>kind</key><string>control</string> |
| <key>edges</key> |
| <array> |
| <dict> |
| <key>start</key> |
| <array> |
| <dict> |
| <key>line</key><integer>192</integer> |
| <key>col</key><integer>7</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <dict> |
| <key>line</key><integer>192</integer> |
| <key>col</key><integer>7</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| </array> |
| <key>end</key> |
| <array> |
| <dict> |
| <key>line</key><integer>194</integer> |
| <key>col</key><integer>3</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <dict> |
| <key>line</key><integer>194</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>194</integer> |
| <key>col</key><integer>3</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <dict> |
| <key>line</key><integer>194</integer> |
| <key>col</key><integer>8</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| </array> |
| <key>end</key> |
| <array> |
| <dict> |
| <key>line</key><integer>194</integer> |
| <key>col</key><integer>12</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <dict> |
| <key>line</key><integer>194</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>194</integer> |
| <key>col</key><integer>12</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <key>ranges</key> |
| <array> |
| <array> |
| <dict> |
| <key>line</key><integer>194</integer> |
| <key>col</key><integer>12</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <dict> |
| <key>line</key><integer>194</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>'returnsPointer' not called because the receiver is nil</string> |
| <key>message</key> |
| <string>'returnsPointer' not called because the receiver is nil</string> |
| </dict> |
| <dict> |
| <key>kind</key><string>event</string> |
| <key>location</key> |
| <dict> |
| <key>line</key><integer>194</integer> |
| <key>col</key><integer>10</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <key>ranges</key> |
| <array> |
| <array> |
| <dict> |
| <key>line</key><integer>194</integer> |
| <key>col</key><integer>10</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <dict> |
| <key>line</key><integer>194</integer> |
| <key>col</key><integer>28</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>a225fec9dc1e56142b68b3df82b00b6c</string> |
| <key>issue_context_kind</key><string>function</string> |
| <key>issue_context</key><string>testFoo</string> |
| <key>issue_hash_function_offset</key><string>3</string> |
| <key>location</key> |
| <dict> |
| <key>line</key><integer>194</integer> |
| <key>col</key><integer>10</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <key>ExecutedLines</key> |
| <dict> |
| <key>0</key> |
| <array> |
| <integer>191</integer> |
| <integer>192</integer> |
| <integer>194</integer> |
| </array> |
| </dict> |
| </dict> |
| </array> |
| <key>files</key> |
| <array> |
| <string>/clang/test/Analysis/plist-output.m</string> |
| </array> |
| </dict> |
| </plist> |