| <?xml version="1.0" encoding="UTF-8"?> |
| <!DOCTYPE plist PUBLIC "-//Apple Computer//DTD PLIST 1.0//EN" "http://www.apple.com/DTDs/PropertyList-1.0.dtd"> |
| <plist version="1.0"> |
| <dict> |
| <key>clang_version</key> |
| <key>diagnostics</key> |
| <array> |
| <dict> |
| <key>path</key> |
| <array> |
| <dict> |
| <key>kind</key><string>control</string> |
| <key>edges</key> |
| <array> |
| <dict> |
| <key>start</key> |
| <array> |
| <dict> |
| <key>line</key><integer>7</integer> |
| <key>col</key><integer>3</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <dict> |
| <key>line</key><integer>7</integer> |
| <key>col</key><integer>5</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| </array> |
| <key>end</key> |
| <array> |
| <dict> |
| <key>line</key><integer>8</integer> |
| <key>col</key><integer>3</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <dict> |
| <key>line</key><integer>8</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>8</integer> |
| <key>col</key><integer>14</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <key>ranges</key> |
| <array> |
| <array> |
| <dict> |
| <key>line</key><integer>8</integer> |
| <key>col</key><integer>14</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <dict> |
| <key>line</key><integer>8</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>8</integer> |
| <key>col</key><integer>3</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <dict> |
| <key>line</key><integer>8</integer> |
| <key>col</key><integer>5</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| </array> |
| <key>end</key> |
| <array> |
| <dict> |
| <key>line</key><integer>9</integer> |
| <key>col</key><integer>5</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <dict> |
| <key>line</key><integer>9</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>9</integer> |
| <key>col</key><integer>5</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <dict> |
| <key>line</key><integer>9</integer> |
| <key>col</key><integer>8</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| </array> |
| <key>end</key> |
| <array> |
| <dict> |
| <key>line</key><integer>11</integer> |
| <key>col</key><integer>5</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <dict> |
| <key>line</key><integer>11</integer> |
| <key>col</key><integer>6</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| </array> |
| </dict> |
| </array> |
| </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>5</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <dict> |
| <key>line</key><integer>11</integer> |
| <key>col</key><integer>6</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| </array> |
| <key>end</key> |
| <array> |
| <dict> |
| <key>line</key><integer>11</integer> |
| <key>col</key><integer>9</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <dict> |
| <key>line</key><integer>11</integer> |
| <key>col</key><integer>9</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| </array> |
| </dict> |
| </array> |
| </dict> |
| <dict> |
| <key>kind</key><string>pop-up</string> |
| <key>location</key> |
| <dict> |
| <key>line</key><integer>11</integer> |
| <key>col</key><integer>9</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <key>ranges</key> |
| <array> |
| <array> |
| <dict> |
| <key>line</key><integer>11</integer> |
| <key>col</key><integer>9</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <dict> |
| <key>line</key><integer>11</integer> |
| <key>col</key><integer>9</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| </array> |
| </array> |
| <key>extended_message</key> |
| <string>'y' is not equal to 2</string> |
| <key>message</key> |
| <string>'y' is not equal to 2</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>9</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <dict> |
| <key>line</key><integer>11</integer> |
| <key>col</key><integer>9</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| </array> |
| <key>end</key> |
| <array> |
| <dict> |
| <key>line</key><integer>13</integer> |
| <key>col</key><integer>5</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <dict> |
| <key>line</key><integer>13</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>13</integer> |
| <key>col</key><integer>5</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <dict> |
| <key>line</key><integer>13</integer> |
| <key>col</key><integer>8</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| </array> |
| <key>end</key> |
| <array> |
| <dict> |
| <key>line</key><integer>15</integer> |
| <key>col</key><integer>5</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <dict> |
| <key>line</key><integer>15</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>15</integer> |
| <key>col</key><integer>5</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <dict> |
| <key>line</key><integer>15</integer> |
| <key>col</key><integer>5</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| </array> |
| <key>end</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>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>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>3</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| </array> |
| <key>end</key> |
| <array> |
| <dict> |
| <key>line</key><integer>8</integer> |
| <key>col</key><integer>3</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <dict> |
| <key>line</key><integer>8</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>8</integer> |
| <key>col</key><integer>3</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <key>ranges</key> |
| <array> |
| <array> |
| <dict> |
| <key>line</key><integer>8</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>3</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>8</integer> |
| <key>col</key><integer>14</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <key>ranges</key> |
| <array> |
| <array> |
| <dict> |
| <key>line</key><integer>8</integer> |
| <key>col</key><integer>14</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <dict> |
| <key>line</key><integer>8</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>8</integer> |
| <key>col</key><integer>3</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <dict> |
| <key>line</key><integer>8</integer> |
| <key>col</key><integer>5</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| </array> |
| <key>end</key> |
| <array> |
| <dict> |
| <key>line</key><integer>9</integer> |
| <key>col</key><integer>5</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <dict> |
| <key>line</key><integer>9</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>9</integer> |
| <key>col</key><integer>5</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <dict> |
| <key>line</key><integer>9</integer> |
| <key>col</key><integer>8</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| </array> |
| <key>end</key> |
| <array> |
| <dict> |
| <key>line</key><integer>11</integer> |
| <key>col</key><integer>5</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <dict> |
| <key>line</key><integer>11</integer> |
| <key>col</key><integer>6</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| </array> |
| </dict> |
| </array> |
| </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>5</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <dict> |
| <key>line</key><integer>11</integer> |
| <key>col</key><integer>6</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| </array> |
| <key>end</key> |
| <array> |
| <dict> |
| <key>line</key><integer>11</integer> |
| <key>col</key><integer>9</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <dict> |
| <key>line</key><integer>11</integer> |
| <key>col</key><integer>9</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| </array> |
| </dict> |
| </array> |
| </dict> |
| <dict> |
| <key>kind</key><string>pop-up</string> |
| <key>location</key> |
| <dict> |
| <key>line</key><integer>11</integer> |
| <key>col</key><integer>9</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <key>ranges</key> |
| <array> |
| <array> |
| <dict> |
| <key>line</key><integer>11</integer> |
| <key>col</key><integer>9</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <dict> |
| <key>line</key><integer>11</integer> |
| <key>col</key><integer>9</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| </array> |
| </array> |
| <key>extended_message</key> |
| <string>'y' is equal to 2</string> |
| <key>message</key> |
| <string>'y' is equal to 2</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>9</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <dict> |
| <key>line</key><integer>11</integer> |
| <key>col</key><integer>9</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| </array> |
| <key>end</key> |
| <array> |
| <dict> |
| <key>line</key><integer>12</integer> |
| <key>col</key><integer>7</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <dict> |
| <key>line</key><integer>12</integer> |
| <key>col</key><integer>7</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>7</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <dict> |
| <key>line</key><integer>12</integer> |
| <key>col</key><integer>7</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| </array> |
| <key>end</key> |
| <array> |
| <dict> |
| <key>line</key><integer>12</integer> |
| <key>col</key><integer>26</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <dict> |
| <key>line</key><integer>12</integer> |
| <key>col</key><integer>26</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>26</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <key>ranges</key> |
| <array> |
| <array> |
| <dict> |
| <key>line</key><integer>12</integer> |
| <key>col</key><integer>7</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <dict> |
| <key>line</key><integer>12</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>7c0b35987817cf3d44b88c5349bcd4f2</string> |
| <key>issue_context_kind</key><string>function</string> |
| <key>issue_context</key><string>testLoop</string> |
| <key>issue_hash_function_offset</key><string>6</string> |
| <key>location</key> |
| <dict> |
| <key>line</key><integer>12</integer> |
| <key>col</key><integer>26</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <key>ExecutedLines</key> |
| <dict> |
| <key>0</key> |
| <array> |
| <integer>6</integer> |
| <integer>7</integer> |
| <integer>8</integer> |
| <integer>9</integer> |
| <integer>10</integer> |
| <integer>11</integer> |
| <integer>12</integer> |
| <integer>13</integer> |
| <integer>14</integer> |
| <integer>15</integer> |
| <integer>16</integer> |
| </array> |
| </dict> |
| </dict> |
| <dict> |
| <key>path</key> |
| <array> |
| <dict> |
| <key>kind</key><string>control</string> |
| <key>edges</key> |
| <array> |
| <dict> |
| <key>start</key> |
| <array> |
| <dict> |
| <key>line</key><integer>88</integer> |
| <key>col</key><integer>3</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <dict> |
| <key>line</key><integer>88</integer> |
| <key>col</key><integer>5</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| </array> |
| <key>end</key> |
| <array> |
| <dict> |
| <key>line</key><integer>88</integer> |
| <key>col</key><integer>16</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <dict> |
| <key>line</key><integer>88</integer> |
| <key>col</key><integer>18</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| </array> |
| </dict> |
| </array> |
| </dict> |
| <dict> |
| <key>kind</key><string>event</string> |
| <key>location</key> |
| <dict> |
| <key>line</key><integer>88</integer> |
| <key>col</key><integer>16</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <key>ranges</key> |
| <array> |
| <array> |
| <dict> |
| <key>line</key><integer>88</integer> |
| <key>col</key><integer>16</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <dict> |
| <key>line</key><integer>88</integer> |
| <key>col</key><integer>24</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| </array> |
| </array> |
| <key>depth</key><integer>0</integer> |
| <key>extended_message</key> |
| <string>Calling 'get'</string> |
| <key>message</key> |
| <string>Calling 'get'</string> |
| </dict> |
| <dict> |
| <key>kind</key><string>event</string> |
| <key>location</key> |
| <dict> |
| <key>line</key><integer>31</integer> |
| <key>col</key><integer>1</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <key>depth</key><integer>1</integer> |
| <key>extended_message</key> |
| <string>Entered call from 'testLoopErrorInRange'</string> |
| <key>message</key> |
| <string>Entered call from 'testLoopErrorInRange'</string> |
| </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>1</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <dict> |
| <key>line</key><integer>31</integer> |
| <key>col</key><integer>11</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| </array> |
| <key>end</key> |
| <array> |
| <dict> |
| <key>line</key><integer>32</integer> |
| <key>col</key><integer>3</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <dict> |
| <key>line</key><integer>32</integer> |
| <key>col</key><integer>4</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| </array> |
| </dict> |
| </array> |
| </dict> |
| <dict> |
| <key>kind</key><string>control</string> |
| <key>edges</key> |
| <array> |
| <dict> |
| <key>start</key> |
| <array> |
| <dict> |
| <key>line</key><integer>32</integer> |
| <key>col</key><integer>3</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <dict> |
| <key>line</key><integer>32</integer> |
| <key>col</key><integer>4</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| </array> |
| <key>end</key> |
| <array> |
| <dict> |
| <key>line</key><integer>32</integer> |
| <key>col</key><integer>7</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <dict> |
| <key>line</key><integer>32</integer> |
| <key>col</key><integer>10</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| </array> |
| </dict> |
| </array> |
| </dict> |
| <dict> |
| <key>kind</key><string>pop-up</string> |
| <key>location</key> |
| <dict> |
| <key>line</key><integer>32</integer> |
| <key>col</key><integer>7</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <key>ranges</key> |
| <array> |
| <array> |
| <dict> |
| <key>line</key><integer>32</integer> |
| <key>col</key><integer>7</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <dict> |
| <key>line</key><integer>32</integer> |
| <key>col</key><integer>10</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| </array> |
| </array> |
| <key>extended_message</key> |
| <string>'fail' is true</string> |
| <key>message</key> |
| <string>'fail' 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>32</integer> |
| <key>col</key><integer>7</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <dict> |
| <key>line</key><integer>32</integer> |
| <key>col</key><integer>10</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| </array> |
| <key>end</key> |
| <array> |
| <dict> |
| <key>line</key><integer>33</integer> |
| <key>col</key><integer>5</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <dict> |
| <key>line</key><integer>33</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>33</integer> |
| <key>col</key><integer>5</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <dict> |
| <key>line</key><integer>33</integer> |
| <key>col</key><integer>5</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| </array> |
| <key>end</key> |
| <array> |
| <dict> |
| <key>line</key><integer>33</integer> |
| <key>col</key><integer>24</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <dict> |
| <key>line</key><integer>33</integer> |
| <key>col</key><integer>24</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| </array> |
| </dict> |
| </array> |
| </dict> |
| <dict> |
| <key>kind</key><string>event</string> |
| <key>location</key> |
| <dict> |
| <key>line</key><integer>33</integer> |
| <key>col</key><integer>24</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <key>ranges</key> |
| <array> |
| <array> |
| <dict> |
| <key>line</key><integer>33</integer> |
| <key>col</key><integer>5</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <dict> |
| <key>line</key><integer>33</integer> |
| <key>col</key><integer>26</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| </array> |
| </array> |
| <key>depth</key><integer>1</integer> |
| <key>extended_message</key> |
| <string>Dereference of null pointer</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>f53792d63dffe6176babc00ee455a3e0</string> |
| <key>issue_context_kind</key><string>function</string> |
| <key>issue_context</key><string>get</string> |
| <key>issue_hash_function_offset</key><string>2</string> |
| <key>location</key> |
| <dict> |
| <key>line</key><integer>33</integer> |
| <key>col</key><integer>24</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <key>ExecutedLines</key> |
| <dict> |
| <key>0</key> |
| <array> |
| <integer>31</integer> |
| <integer>32</integer> |
| <integer>33</integer> |
| <integer>87</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>38</integer> |
| <key>col</key><integer>14</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <key>ranges</key> |
| <array> |
| <array> |
| <dict> |
| <key>line</key><integer>38</integer> |
| <key>col</key><integer>14</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <dict> |
| <key>line</key><integer>38</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>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>5</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| </array> |
| <key>end</key> |
| <array> |
| <dict> |
| <key>line</key><integer>39</integer> |
| <key>col</key><integer>5</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <dict> |
| <key>line</key><integer>39</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>39</integer> |
| <key>col</key><integer>5</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <dict> |
| <key>line</key><integer>39</integer> |
| <key>col</key><integer>8</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| </array> |
| <key>end</key> |
| <array> |
| <dict> |
| <key>line</key><integer>41</integer> |
| <key>col</key><integer>5</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <dict> |
| <key>line</key><integer>41</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>41</integer> |
| <key>col</key><integer>5</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <dict> |
| <key>line</key><integer>41</integer> |
| <key>col</key><integer>6</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| </array> |
| <key>end</key> |
| <array> |
| <dict> |
| <key>line</key><integer>41</integer> |
| <key>col</key><integer>9</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <dict> |
| <key>line</key><integer>41</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>41</integer> |
| <key>col</key><integer>9</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <key>ranges</key> |
| <array> |
| <array> |
| <dict> |
| <key>line</key><integer>41</integer> |
| <key>col</key><integer>9</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <dict> |
| <key>line</key><integer>41</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 'y' is equal to 2</string> |
| <key>message</key> |
| <string>Assuming 'y' is equal to 2</string> |
| </dict> |
| <dict> |
| <key>kind</key><string>control</string> |
| <key>edges</key> |
| <array> |
| <dict> |
| <key>start</key> |
| <array> |
| <dict> |
| <key>line</key><integer>41</integer> |
| <key>col</key><integer>9</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <dict> |
| <key>line</key><integer>41</integer> |
| <key>col</key><integer>9</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| </array> |
| <key>end</key> |
| <array> |
| <dict> |
| <key>line</key><integer>42</integer> |
| <key>col</key><integer>7</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <dict> |
| <key>line</key><integer>42</integer> |
| <key>col</key><integer>7</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>42</integer> |
| <key>col</key><integer>7</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <dict> |
| <key>line</key><integer>42</integer> |
| <key>col</key><integer>7</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| </array> |
| <key>end</key> |
| <array> |
| <dict> |
| <key>line</key><integer>42</integer> |
| <key>col</key><integer>26</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <dict> |
| <key>line</key><integer>42</integer> |
| <key>col</key><integer>26</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>42</integer> |
| <key>col</key><integer>26</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <key>ranges</key> |
| <array> |
| <array> |
| <dict> |
| <key>line</key><integer>42</integer> |
| <key>col</key><integer>7</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <dict> |
| <key>line</key><integer>42</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>7bc3cb8a56be029296ec61f7ee83fc9e</string> |
| <key>issue_context_kind</key><string>function</string> |
| <key>issue_context</key><string>testLoopOpaqueCollection</string> |
| <key>issue_hash_function_offset</key><string>5</string> |
| <key>location</key> |
| <dict> |
| <key>line</key><integer>42</integer> |
| <key>col</key><integer>26</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <key>ExecutedLines</key> |
| <dict> |
| <key>0</key> |
| <array> |
| <integer>31</integer> |
| <integer>32</integer> |
| <integer>34</integer> |
| <integer>37</integer> |
| <integer>38</integer> |
| <integer>39</integer> |
| <integer>40</integer> |
| <integer>41</integer> |
| <integer>42</integer> |
| </array> |
| </dict> |
| </dict> |
| <dict> |
| <key>path</key> |
| <array> |
| <dict> |
| <key>kind</key><string>event</string> |
| <key>location</key> |
| <dict> |
| <key>line</key><integer>38</integer> |
| <key>col</key><integer>14</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <key>ranges</key> |
| <array> |
| <array> |
| <dict> |
| <key>line</key><integer>38</integer> |
| <key>col</key><integer>14</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <dict> |
| <key>line</key><integer>38</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>Loop body skipped when range is empty</string> |
| <key>message</key> |
| <string>Loop body skipped when range 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>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>5</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| </array> |
| <key>end</key> |
| <array> |
| <dict> |
| <key>line</key><integer>48</integer> |
| <key>col</key><integer>3</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <dict> |
| <key>line</key><integer>48</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>48</integer> |
| <key>col</key><integer>3</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <dict> |
| <key>line</key><integer>48</integer> |
| <key>col</key><integer>3</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| </array> |
| <key>end</key> |
| <array> |
| <dict> |
| <key>line</key><integer>48</integer> |
| <key>col</key><integer>22</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <dict> |
| <key>line</key><integer>48</integer> |
| <key>col</key><integer>22</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>48</integer> |
| <key>col</key><integer>22</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <key>ranges</key> |
| <array> |
| <array> |
| <dict> |
| <key>line</key><integer>48</integer> |
| <key>col</key><integer>3</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <dict> |
| <key>line</key><integer>48</integer> |
| <key>col</key><integer>24</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>dc7b457a64bd56c30467c1af44049756</string> |
| <key>issue_context_kind</key><string>function</string> |
| <key>issue_context</key><string>testLoopOpaqueCollection</string> |
| <key>issue_hash_function_offset</key><string>11</string> |
| <key>location</key> |
| <dict> |
| <key>line</key><integer>48</integer> |
| <key>col</key><integer>22</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <key>ExecutedLines</key> |
| <dict> |
| <key>0</key> |
| <array> |
| <integer>31</integer> |
| <integer>32</integer> |
| <integer>34</integer> |
| <integer>37</integer> |
| <integer>38</integer> |
| <integer>48</integer> |
| </array> |
| </dict> |
| </dict> |
| <dict> |
| <key>path</key> |
| <array> |
| <dict> |
| <key>kind</key><string>event</string> |
| <key>location</key> |
| <dict> |
| <key>line</key><integer>73</integer> |
| <key>col</key><integer>14</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <key>ranges</key> |
| <array> |
| <array> |
| <dict> |
| <key>line</key><integer>73</integer> |
| <key>col</key><integer>14</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <dict> |
| <key>line</key><integer>73</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>73</integer> |
| <key>col</key><integer>3</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <dict> |
| <key>line</key><integer>73</integer> |
| <key>col</key><integer>5</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| </array> |
| <key>end</key> |
| <array> |
| <dict> |
| <key>line</key><integer>74</integer> |
| <key>col</key><integer>5</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <dict> |
| <key>line</key><integer>74</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>74</integer> |
| <key>col</key><integer>5</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <dict> |
| <key>line</key><integer>74</integer> |
| <key>col</key><integer>8</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>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>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>6</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| </array> |
| <key>end</key> |
| <array> |
| <dict> |
| <key>line</key><integer>76</integer> |
| <key>col</key><integer>9</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <dict> |
| <key>line</key><integer>76</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>76</integer> |
| <key>col</key><integer>9</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <key>ranges</key> |
| <array> |
| <array> |
| <dict> |
| <key>line</key><integer>76</integer> |
| <key>col</key><integer>9</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <dict> |
| <key>line</key><integer>76</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 'y' is equal to 2</string> |
| <key>message</key> |
| <string>Assuming 'y' is equal to 2</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>9</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <dict> |
| <key>line</key><integer>76</integer> |
| <key>col</key><integer>9</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| </array> |
| <key>end</key> |
| <array> |
| <dict> |
| <key>line</key><integer>77</integer> |
| <key>col</key><integer>7</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <dict> |
| <key>line</key><integer>77</integer> |
| <key>col</key><integer>7</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>7</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <dict> |
| <key>line</key><integer>77</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>26</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <dict> |
| <key>line</key><integer>77</integer> |
| <key>col</key><integer>26</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>26</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <key>ranges</key> |
| <array> |
| <array> |
| <dict> |
| <key>line</key><integer>77</integer> |
| <key>col</key><integer>7</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <dict> |
| <key>line</key><integer>77</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>f4697ded3a92318349a3969238e05387</string> |
| <key>issue_context_kind</key><string>function</string> |
| <key>issue_context</key><string>testLoopOpaqueIterator</string> |
| <key>issue_hash_function_offset</key><string>5</string> |
| <key>location</key> |
| <dict> |
| <key>line</key><integer>77</integer> |
| <key>col</key><integer>26</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <key>ExecutedLines</key> |
| <dict> |
| <key>0</key> |
| <array> |
| <integer>68</integer> |
| <integer>69</integer> |
| <integer>72</integer> |
| <integer>73</integer> |
| <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>73</integer> |
| <key>col</key><integer>14</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <key>ranges</key> |
| <array> |
| <array> |
| <dict> |
| <key>line</key><integer>73</integer> |
| <key>col</key><integer>14</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <dict> |
| <key>line</key><integer>73</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>Loop body skipped when range is empty</string> |
| <key>message</key> |
| <string>Loop body skipped when range 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>73</integer> |
| <key>col</key><integer>3</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <dict> |
| <key>line</key><integer>73</integer> |
| <key>col</key><integer>5</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| </array> |
| <key>end</key> |
| <array> |
| <dict> |
| <key>line</key><integer>83</integer> |
| <key>col</key><integer>3</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <dict> |
| <key>line</key><integer>83</integer> |
| <key>col</key><integer>3</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| </array> |
| </dict> |
| </array> |
| </dict> |
| <dict> |
| <key>kind</key><string>control</string> |
| <key>edges</key> |
| <array> |
| <dict> |
| <key>start</key> |
| <array> |
| <dict> |
| <key>line</key><integer>83</integer> |
| <key>col</key><integer>3</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <dict> |
| <key>line</key><integer>83</integer> |
| <key>col</key><integer>3</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| </array> |
| <key>end</key> |
| <array> |
| <dict> |
| <key>line</key><integer>83</integer> |
| <key>col</key><integer>22</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <dict> |
| <key>line</key><integer>83</integer> |
| <key>col</key><integer>22</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| </array> |
| </dict> |
| </array> |
| </dict> |
| <dict> |
| <key>kind</key><string>event</string> |
| <key>location</key> |
| <dict> |
| <key>line</key><integer>83</integer> |
| <key>col</key><integer>22</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <key>ranges</key> |
| <array> |
| <array> |
| <dict> |
| <key>line</key><integer>83</integer> |
| <key>col</key><integer>3</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <dict> |
| <key>line</key><integer>83</integer> |
| <key>col</key><integer>24</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>6855b29ad2407a5af43c57f062bc4602</string> |
| <key>issue_context_kind</key><string>function</string> |
| <key>issue_context</key><string>testLoopOpaqueIterator</string> |
| <key>issue_hash_function_offset</key><string>11</string> |
| <key>location</key> |
| <dict> |
| <key>line</key><integer>83</integer> |
| <key>col</key><integer>22</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <key>ExecutedLines</key> |
| <dict> |
| <key>0</key> |
| <array> |
| <integer>68</integer> |
| <integer>69</integer> |
| <integer>72</integer> |
| <integer>73</integer> |
| <integer>83</integer> |
| </array> |
| </dict> |
| </dict> |
| <dict> |
| <key>path</key> |
| <array> |
| <dict> |
| <key>kind</key><string>control</string> |
| <key>edges</key> |
| <array> |
| <dict> |
| <key>start</key> |
| <array> |
| <dict> |
| <key>line</key><integer>102</integer> |
| <key>col</key><integer>3</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <dict> |
| <key>line</key><integer>102</integer> |
| <key>col</key><integer>5</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| </array> |
| <key>end</key> |
| <array> |
| <dict> |
| <key>line</key><integer>102</integer> |
| <key>col</key><integer>8</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <dict> |
| <key>line</key><integer>102</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>102</integer> |
| <key>col</key><integer>8</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <key>ranges</key> |
| <array> |
| <array> |
| <dict> |
| <key>line</key><integer>102</integer> |
| <key>col</key><integer>8</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <dict> |
| <key>line</key><integer>102</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>Initializing to a null pointer value</string> |
| <key>message</key> |
| <string>Initializing 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>102</integer> |
| <key>col</key><integer>8</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <dict> |
| <key>line</key><integer>102</integer> |
| <key>col</key><integer>10</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| </array> |
| <key>end</key> |
| <array> |
| <dict> |
| <key>line</key><integer>102</integer> |
| <key>col</key><integer>58</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <dict> |
| <key>line</key><integer>102</integer> |
| <key>col</key><integer>58</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>102</integer> |
| <key>col</key><integer>58</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <key>ranges</key> |
| <array> |
| <array> |
| <dict> |
| <key>line</key><integer>102</integer> |
| <key>col</key><integer>58</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <dict> |
| <key>line</key><integer>102</integer> |
| <key>col</key><integer>58</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>102</integer> |
| <key>col</key><integer>58</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <dict> |
| <key>line</key><integer>102</integer> |
| <key>col</key><integer>58</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| </array> |
| <key>end</key> |
| <array> |
| <dict> |
| <key>line</key><integer>102</integer> |
| <key>col</key><integer>51</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <dict> |
| <key>line</key><integer>102</integer> |
| <key>col</key><integer>53</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>102</integer> |
| <key>col</key><integer>51</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <key>ranges</key> |
| <array> |
| <array> |
| <dict> |
| <key>line</key><integer>102</integer> |
| <key>col</key><integer>51</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <dict> |
| <key>line</key><integer>102</integer> |
| <key>col</key><integer>56</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>102</integer> |
| <key>col</key><integer>51</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <dict> |
| <key>line</key><integer>102</integer> |
| <key>col</key><integer>53</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| </array> |
| <key>end</key> |
| <array> |
| <dict> |
| <key>line</key><integer>103</integer> |
| <key>col</key><integer>8</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <dict> |
| <key>line</key><integer>103</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>103</integer> |
| <key>col</key><integer>8</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <key>ranges</key> |
| <array> |
| <array> |
| <dict> |
| <key>line</key><integer>103</integer> |
| <key>col</key><integer>6</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <dict> |
| <key>line</key><integer>103</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>ad377f8d4510dfd77d6485c402d57a2d</string> |
| <key>issue_context_kind</key><string>function</string> |
| <key>issue_context</key><string>testForRangeInit</string> |
| <key>issue_hash_function_offset</key><string>2</string> |
| <key>location</key> |
| <dict> |
| <key>line</key><integer>103</integer> |
| <key>col</key><integer>8</integer> |
| <key>file</key><integer>0</integer> |
| </dict> |
| <key>ExecutedLines</key> |
| <dict> |
| <key>0</key> |
| <array> |
| <integer>101</integer> |
| <integer>102</integer> |
| <integer>103</integer> |
| </array> |
| </dict> |
| </dict> |
| </array> |
| <key>files</key> |
| <array> |
| </array> |
| </dict> |
| </plist> |