blob: ce6a3d3d22fdd1c69f7aba5d1e58f86d3a2c0306 [file] [log] [blame]
<?xml version="1.0" encoding="UTF-8"?>
<!DOCTYPE plist PUBLIC "-//Apple//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 3.9.0 (trunk 258573)</string>
<key>diagnostics</key>
<array>
<dict>
<key>HTMLDiagnostics_files</key>
<array>
<string>report-0761e2.html</string>
</array>
<key>category</key>
<string>Logic error</string>
<key>check_name</key>
<string>core.NullDereference</string>
<key>description</key>
<string>Array access (from variable 'A') results in a null pointer dereference</string>
<key>issue_context</key>
<string>BN_copy</string>
<key>issue_context_kind</key>
<string>function</string>
<key>issue_hash_content_of_line_in_context</key>
<string>0cee111414ae81722efa0213515d151a</string>
<key>issue_hash_function_offset</key>
<string>21</string>
<key>location</key>
<dict>
<key>col</key>
<integer>14</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>526</integer>
</dict>
<key>path</key>
<array>
<dict>
<key>edges</key>
<array>
<dict>
<key>end</key>
<array>
<dict>
<key>col</key>
<integer>5</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>408</integer>
</dict>
<dict>
<key>col</key>
<integer>6</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>408</integer>
</dict>
</array>
<key>start</key>
<array>
<dict>
<key>col</key>
<integer>5</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>398</integer>
</dict>
<dict>
<key>col</key>
<integer>10</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>398</integer>
</dict>
</array>
</dict>
</array>
<key>kind</key>
<string>control</string>
</dict>
<dict>
<key>edges</key>
<array>
<dict>
<key>end</key>
<array>
<dict>
<key>col</key>
<integer>9</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>428</integer>
</dict>
<dict>
<key>col</key>
<integer>9</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>428</integer>
</dict>
</array>
<key>start</key>
<array>
<dict>
<key>col</key>
<integer>5</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>408</integer>
</dict>
<dict>
<key>col</key>
<integer>6</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>408</integer>
</dict>
</array>
</dict>
</array>
<key>kind</key>
<string>control</string>
</dict>
<dict>
<key>edges</key>
<array>
<dict>
<key>end</key>
<array>
<dict>
<key>col</key>
<integer>13</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>428</integer>
</dict>
<dict>
<key>col</key>
<integer>18</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>428</integer>
</dict>
</array>
<key>start</key>
<array>
<dict>
<key>col</key>
<integer>9</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>428</integer>
</dict>
<dict>
<key>col</key>
<integer>9</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>428</integer>
</dict>
</array>
</dict>
</array>
<key>kind</key>
<string>control</string>
</dict>
<dict>
<key>depth</key>
<integer>0</integer>
<key>extended_message</key>
<string>Calling 'BN_dup'</string>
<key>kind</key>
<string>event</string>
<key>location</key>
<dict>
<key>col</key>
<integer>13</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>428</integer>
</dict>
<key>message</key>
<string>Calling 'BN_dup'</string>
<key>ranges</key>
<array>
<array>
<dict>
<key>col</key>
<integer>13</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>428</integer>
</dict>
<dict>
<key>col</key>
<integer>21</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>428</integer>
</dict>
</array>
</array>
</dict>
<dict>
<key>depth</key>
<integer>1</integer>
<key>extended_message</key>
<string>Entered call from 'bn_dup_expand'</string>
<key>kind</key>
<string>event</string>
<key>location</key>
<dict>
<key>col</key>
<integer>1</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>485</integer>
</dict>
<key>message</key>
<string>Entered call from 'bn_dup_expand'</string>
</dict>
<dict>
<key>edges</key>
<array>
<dict>
<key>end</key>
<array>
<dict>
<key>col</key>
<integer>5</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>487</integer>
</dict>
<dict>
<key>col</key>
<integer>10</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>487</integer>
</dict>
</array>
<key>start</key>
<array>
<dict>
<key>col</key>
<integer>1</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>485</integer>
</dict>
<dict>
<key>col</key>
<integer>6</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>485</integer>
</dict>
</array>
</dict>
</array>
<key>kind</key>
<string>control</string>
</dict>
<dict>
<key>edges</key>
<array>
<dict>
<key>end</key>
<array>
<dict>
<key>col</key>
<integer>5</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>489</integer>
</dict>
<dict>
<key>col</key>
<integer>6</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>489</integer>
</dict>
</array>
<key>start</key>
<array>
<dict>
<key>col</key>
<integer>5</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>487</integer>
</dict>
<dict>
<key>col</key>
<integer>10</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>487</integer>
</dict>
</array>
</dict>
</array>
<key>kind</key>
<string>control</string>
</dict>
<dict>
<key>edges</key>
<array>
<dict>
<key>end</key>
<array>
<dict>
<key>col</key>
<integer>5</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>493</integer>
</dict>
<dict>
<key>col</key>
<integer>5</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>493</integer>
</dict>
</array>
<key>start</key>
<array>
<dict>
<key>col</key>
<integer>5</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>489</integer>
</dict>
<dict>
<key>col</key>
<integer>6</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>489</integer>
</dict>
</array>
</dict>
</array>
<key>kind</key>
<string>control</string>
</dict>
<dict>
<key>edges</key>
<array>
<dict>
<key>end</key>
<array>
<dict>
<key>col</key>
<integer>9</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>493</integer>
</dict>
<dict>
<key>col</key>
<integer>14</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>493</integer>
</dict>
</array>
<key>start</key>
<array>
<dict>
<key>col</key>
<integer>5</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>493</integer>
</dict>
<dict>
<key>col</key>
<integer>5</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>493</integer>
</dict>
</array>
</dict>
</array>
<key>kind</key>
<string>control</string>
</dict>
<dict>
<key>depth</key>
<integer>1</integer>
<key>extended_message</key>
<string>Calling 'BN_new'</string>
<key>kind</key>
<string>event</string>
<key>location</key>
<dict>
<key>col</key>
<integer>9</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>493</integer>
</dict>
<key>message</key>
<string>Calling 'BN_new'</string>
<key>ranges</key>
<array>
<array>
<dict>
<key>col</key>
<integer>9</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>493</integer>
</dict>
<dict>
<key>col</key>
<integer>16</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>493</integer>
</dict>
</array>
</array>
</dict>
<dict>
<key>depth</key>
<integer>2</integer>
<key>extended_message</key>
<string>Entered call from 'BN_dup'</string>
<key>kind</key>
<string>event</string>
<key>location</key>
<dict>
<key>col</key>
<integer>1</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>286</integer>
</dict>
<key>message</key>
<string>Entered call from 'BN_dup'</string>
</dict>
<dict>
<key>edges</key>
<array>
<dict>
<key>end</key>
<array>
<dict>
<key>col</key>
<integer>5</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>288</integer>
</dict>
<dict>
<key>col</key>
<integer>10</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>288</integer>
</dict>
</array>
<key>start</key>
<array>
<dict>
<key>col</key>
<integer>1</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>286</integer>
</dict>
<dict>
<key>col</key>
<integer>6</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>286</integer>
</dict>
</array>
</dict>
</array>
<key>kind</key>
<string>control</string>
</dict>
<dict>
<key>edges</key>
<array>
<dict>
<key>end</key>
<array>
<dict>
<key>col</key>
<integer>5</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>290</integer>
</dict>
<dict>
<key>col</key>
<integer>6</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>290</integer>
</dict>
</array>
<key>start</key>
<array>
<dict>
<key>col</key>
<integer>5</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>288</integer>
</dict>
<dict>
<key>col</key>
<integer>10</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>288</integer>
</dict>
</array>
</dict>
</array>
<key>kind</key>
<string>control</string>
</dict>
<dict>
<key>edges</key>
<array>
<dict>
<key>end</key>
<array>
<dict>
<key>col</key>
<integer>5</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>294</integer>
</dict>
<dict>
<key>col</key>
<integer>7</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>294</integer>
</dict>
</array>
<key>start</key>
<array>
<dict>
<key>col</key>
<integer>5</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>290</integer>
</dict>
<dict>
<key>col</key>
<integer>6</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>290</integer>
</dict>
</array>
</dict>
</array>
<key>kind</key>
<string>control</string>
</dict>
<dict>
<key>edges</key>
<array>
<dict>
<key>end</key>
<array>
<dict>
<key>col</key>
<integer>5</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>298</integer>
</dict>
<dict>
<key>col</key>
<integer>7</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>298</integer>
</dict>
</array>
<key>start</key>
<array>
<dict>
<key>col</key>
<integer>5</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>294</integer>
</dict>
<dict>
<key>col</key>
<integer>7</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>294</integer>
</dict>
</array>
</dict>
</array>
<key>kind</key>
<string>control</string>
</dict>
<dict>
<key>depth</key>
<integer>2</integer>
<key>extended_message</key>
<string>Null pointer value stored to field 'd'</string>
<key>kind</key>
<string>event</string>
<key>location</key>
<dict>
<key>col</key>
<integer>5</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>298</integer>
</dict>
<key>message</key>
<string>Null pointer value stored to field 'd'</string>
<key>ranges</key>
<array>
<array>
<dict>
<key>col</key>
<integer>5</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>298</integer>
</dict>
<dict>
<key>col</key>
<integer>17</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>298</integer>
</dict>
</array>
</array>
</dict>
<dict>
<key>edges</key>
<array>
<dict>
<key>end</key>
<array>
<dict>
<key>col</key>
<integer>5</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>300</integer>
</dict>
<dict>
<key>col</key>
<integer>10</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>300</integer>
</dict>
</array>
<key>start</key>
<array>
<dict>
<key>col</key>
<integer>5</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>298</integer>
</dict>
<dict>
<key>col</key>
<integer>7</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>298</integer>
</dict>
</array>
</dict>
</array>
<key>kind</key>
<string>control</string>
</dict>
<dict>
<key>depth</key>
<integer>1</integer>
<key>extended_message</key>
<string>Returning from 'BN_new'</string>
<key>kind</key>
<string>event</string>
<key>location</key>
<dict>
<key>col</key>
<integer>9</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>493</integer>
</dict>
<key>message</key>
<string>Returning from 'BN_new'</string>
<key>ranges</key>
<array>
<array>
<dict>
<key>col</key>
<integer>9</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>493</integer>
</dict>
<dict>
<key>col</key>
<integer>16</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>493</integer>
</dict>
</array>
</array>
</dict>
<dict>
<key>edges</key>
<array>
<dict>
<key>end</key>
<array>
<dict>
<key>col</key>
<integer>5</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>493</integer>
</dict>
<dict>
<key>col</key>
<integer>5</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>493</integer>
</dict>
</array>
<key>start</key>
<array>
<dict>
<key>col</key>
<integer>9</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>493</integer>
</dict>
<dict>
<key>col</key>
<integer>14</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>493</integer>
</dict>
</array>
</dict>
</array>
<key>kind</key>
<string>control</string>
</dict>
<dict>
<key>edges</key>
<array>
<dict>
<key>end</key>
<array>
<dict>
<key>col</key>
<integer>5</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>494</integer>
</dict>
<dict>
<key>col</key>
<integer>6</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>494</integer>
</dict>
</array>
<key>start</key>
<array>
<dict>
<key>col</key>
<integer>5</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>493</integer>
</dict>
<dict>
<key>col</key>
<integer>5</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>493</integer>
</dict>
</array>
</dict>
</array>
<key>kind</key>
<string>control</string>
</dict>
<dict>
<key>edges</key>
<array>
<dict>
<key>end</key>
<array>
<dict>
<key>col</key>
<integer>5</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>496</integer>
</dict>
<dict>
<key>col</key>
<integer>6</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>496</integer>
</dict>
</array>
<key>start</key>
<array>
<dict>
<key>col</key>
<integer>5</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>494</integer>
</dict>
<dict>
<key>col</key>
<integer>6</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>494</integer>
</dict>
</array>
</dict>
</array>
<key>kind</key>
<string>control</string>
</dict>
<dict>
<key>edges</key>
<array>
<dict>
<key>end</key>
<array>
<dict>
<key>col</key>
<integer>10</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>496</integer>
</dict>
<dict>
<key>col</key>
<integer>16</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>496</integer>
</dict>
</array>
<key>start</key>
<array>
<dict>
<key>col</key>
<integer>5</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>496</integer>
</dict>
<dict>
<key>col</key>
<integer>6</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>496</integer>
</dict>
</array>
</dict>
</array>
<key>kind</key>
<string>control</string>
</dict>
<dict>
<key>depth</key>
<integer>1</integer>
<key>extended_message</key>
<string>Calling 'BN_copy'</string>
<key>kind</key>
<string>event</string>
<key>location</key>
<dict>
<key>col</key>
<integer>10</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>496</integer>
</dict>
<key>message</key>
<string>Calling 'BN_copy'</string>
<key>ranges</key>
<array>
<array>
<dict>
<key>col</key>
<integer>10</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>496</integer>
</dict>
<dict>
<key>col</key>
<integer>22</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>496</integer>
</dict>
</array>
</array>
</dict>
<dict>
<key>depth</key>
<integer>2</integer>
<key>extended_message</key>
<string>Entered call from 'BN_dup'</string>
<key>kind</key>
<string>event</string>
<key>location</key>
<dict>
<key>col</key>
<integer>1</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>504</integer>
</dict>
<key>message</key>
<string>Entered call from 'BN_dup'</string>
</dict>
<dict>
<key>edges</key>
<array>
<dict>
<key>end</key>
<array>
<dict>
<key>col</key>
<integer>5</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>506</integer>
</dict>
<dict>
<key>col</key>
<integer>7</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>506</integer>
</dict>
</array>
<key>start</key>
<array>
<dict>
<key>col</key>
<integer>1</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>504</integer>
</dict>
<dict>
<key>col</key>
<integer>6</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>504</integer>
</dict>
</array>
</dict>
</array>
<key>kind</key>
<string>control</string>
</dict>
<dict>
<key>edges</key>
<array>
<dict>
<key>end</key>
<array>
<dict>
<key>col</key>
<integer>5</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>512</integer>
</dict>
<dict>
<key>col</key>
<integer>6</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>512</integer>
</dict>
</array>
<key>start</key>
<array>
<dict>
<key>col</key>
<integer>5</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>506</integer>
</dict>
<dict>
<key>col</key>
<integer>7</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>506</integer>
</dict>
</array>
</dict>
</array>
<key>kind</key>
<string>control</string>
</dict>
<dict>
<key>edges</key>
<array>
<dict>
<key>end</key>
<array>
<dict>
<key>col</key>
<integer>9</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>512</integer>
</dict>
<dict>
<key>col</key>
<integer>9</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>512</integer>
</dict>
</array>
<key>start</key>
<array>
<dict>
<key>col</key>
<integer>5</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>512</integer>
</dict>
<dict>
<key>col</key>
<integer>6</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>512</integer>
</dict>
</array>
</dict>
</array>
<key>kind</key>
<string>control</string>
</dict>
<dict>
<key>depth</key>
<integer>2</integer>
<key>extended_message</key>
<string>Assuming 'a' is not equal to 'b'</string>
<key>kind</key>
<string>event</string>
<key>location</key>
<dict>
<key>col</key>
<integer>9</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>512</integer>
</dict>
<key>message</key>
<string>Assuming 'a' is not equal to 'b'</string>
<key>ranges</key>
<array>
<array>
<dict>
<key>col</key>
<integer>9</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>512</integer>
</dict>
<dict>
<key>col</key>
<integer>14</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>512</integer>
</dict>
</array>
</array>
</dict>
<dict>
<key>edges</key>
<array>
<dict>
<key>end</key>
<array>
<dict>
<key>col</key>
<integer>5</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>514</integer>
</dict>
<dict>
<key>col</key>
<integer>6</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>514</integer>
</dict>
</array>
<key>start</key>
<array>
<dict>
<key>col</key>
<integer>9</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>512</integer>
</dict>
<dict>
<key>col</key>
<integer>9</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>512</integer>
</dict>
</array>
</dict>
</array>
<key>kind</key>
<string>control</string>
</dict>
<dict>
<key>edges</key>
<array>
<dict>
<key>end</key>
<array>
<dict>
<key>col</key>
<integer>5</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>518</integer>
</dict>
<dict>
<key>col</key>
<integer>5</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>518</integer>
</dict>
</array>
<key>start</key>
<array>
<dict>
<key>col</key>
<integer>5</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>514</integer>
</dict>
<dict>
<key>col</key>
<integer>6</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>514</integer>
</dict>
</array>
</dict>
</array>
<key>kind</key>
<string>control</string>
</dict>
<dict>
<key>depth</key>
<integer>2</integer>
<key>extended_message</key>
<string>Null pointer value stored to 'A'</string>
<key>kind</key>
<string>event</string>
<key>location</key>
<dict>
<key>col</key>
<integer>5</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>518</integer>
</dict>
<key>message</key>
<string>Null pointer value stored to 'A'</string>
<key>ranges</key>
<array>
<array>
<dict>
<key>col</key>
<integer>5</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>518</integer>
</dict>
<dict>
<key>col</key>
<integer>12</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>518</integer>
</dict>
</array>
</array>
</dict>
<dict>
<key>edges</key>
<array>
<dict>
<key>end</key>
<array>
<dict>
<key>col</key>
<integer>5</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>520</integer>
</dict>
<dict>
<key>col</key>
<integer>7</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>520</integer>
</dict>
</array>
<key>start</key>
<array>
<dict>
<key>col</key>
<integer>5</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>518</integer>
</dict>
<dict>
<key>col</key>
<integer>5</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>518</integer>
</dict>
</array>
</dict>
</array>
<key>kind</key>
<string>control</string>
</dict>
<dict>
<key>edges</key>
<array>
<dict>
<key>end</key>
<array>
<dict>
<key>col</key>
<integer>27</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>520</integer>
</dict>
<dict>
<key>col</key>
<integer>27</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>520</integer>
</dict>
</array>
<key>start</key>
<array>
<dict>
<key>col</key>
<integer>5</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>520</integer>
</dict>
<dict>
<key>col</key>
<integer>7</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>520</integer>
</dict>
</array>
</dict>
</array>
<key>kind</key>
<string>control</string>
</dict>
<dict>
<key>depth</key>
<integer>2</integer>
<key>extended_message</key>
<string>Assuming 'i' is &gt; 0</string>
<key>kind</key>
<string>event</string>
<key>location</key>
<dict>
<key>col</key>
<integer>27</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>520</integer>
</dict>
<key>message</key>
<string>Assuming 'i' is &gt; 0</string>
<key>ranges</key>
<array>
<array>
<dict>
<key>col</key>
<integer>27</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>520</integer>
</dict>
<dict>
<key>col</key>
<integer>31</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>520</integer>
</dict>
</array>
</array>
</dict>
<dict>
<key>depth</key>
<integer>2</integer>
<key>extended_message</key>
<string>Entering loop body</string>
<key>kind</key>
<string>event</string>
<key>location</key>
<dict>
<key>col</key>
<integer>27</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>520</integer>
</dict>
<key>message</key>
<string>Entering loop body</string>
<key>ranges</key>
<array>
<array>
<dict>
<key>col</key>
<integer>27</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>520</integer>
</dict>
<dict>
<key>col</key>
<integer>31</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>520</integer>
</dict>
</array>
</array>
</dict>
<dict>
<key>edges</key>
<array>
<dict>
<key>end</key>
<array>
<dict>
<key>col</key>
<integer>18</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>521</integer>
</dict>
<dict>
<key>col</key>
<integer>19</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>521</integer>
</dict>
</array>
<key>start</key>
<array>
<dict>
<key>col</key>
<integer>27</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>520</integer>
</dict>
<dict>
<key>col</key>
<integer>27</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>520</integer>
</dict>
</array>
</dict>
</array>
<key>kind</key>
<string>control</string>
</dict>
<dict>
<key>edges</key>
<array>
<dict>
<key>end</key>
<array>
<dict>
<key>col</key>
<integer>9</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>526</integer>
</dict>
<dict>
<key>col</key>
<integer>9</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>526</integer>
</dict>
</array>
<key>start</key>
<array>
<dict>
<key>col</key>
<integer>18</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>521</integer>
</dict>
<dict>
<key>col</key>
<integer>19</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>521</integer>
</dict>
</array>
</dict>
</array>
<key>kind</key>
<string>control</string>
</dict>
<dict>
<key>edges</key>
<array>
<dict>
<key>end</key>
<array>
<dict>
<key>col</key>
<integer>14</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>526</integer>
</dict>
<dict>
<key>col</key>
<integer>14</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>526</integer>
</dict>
</array>
<key>start</key>
<array>
<dict>
<key>col</key>
<integer>9</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>526</integer>
</dict>
<dict>
<key>col</key>
<integer>9</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>526</integer>
</dict>
</array>
</dict>
</array>
<key>kind</key>
<string>control</string>
</dict>
<dict>
<key>depth</key>
<integer>2</integer>
<key>extended_message</key>
<string>Array access (from variable 'A') results in a null pointer dereference</string>
<key>kind</key>
<string>event</string>
<key>location</key>
<dict>
<key>col</key>
<integer>14</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>526</integer>
</dict>
<key>message</key>
<string>Array access (from variable 'A') results in a null pointer dereference</string>
<key>ranges</key>
<array>
<array>
<dict>
<key>col</key>
<integer>9</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>526</integer>
</dict>
<dict>
<key>col</key>
<integer>9</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>526</integer>
</dict>
</array>
</array>
</dict>
</array>
<key>type</key>
<string>Dereference of null pointer</string>
</dict>
<dict>
<key>HTMLDiagnostics_files</key>
<array>
<string>report-f30d9f.html</string>
</array>
<key>category</key>
<string>Logic error</string>
<key>check_name</key>
<string>core.NullDereference</string>
<key>description</key>
<string>Array access (from variable 'A') results in a null pointer dereference</string>
<key>issue_context</key>
<string>BN_copy</string>
<key>issue_context_kind</key>
<string>function</string>
<key>issue_hash_content_of_line_in_context</key>
<string>21e77e7519359403df0a31f554952340</string>
<key>issue_hash_function_offset</key>
<string>29</string>
<key>location</key>
<dict>
<key>col</key>
<integer>14</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>534</integer>
</dict>
<key>path</key>
<array>
<dict>
<key>edges</key>
<array>
<dict>
<key>end</key>
<array>
<dict>
<key>col</key>
<integer>5</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>408</integer>
</dict>
<dict>
<key>col</key>
<integer>6</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>408</integer>
</dict>
</array>
<key>start</key>
<array>
<dict>
<key>col</key>
<integer>5</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>398</integer>
</dict>
<dict>
<key>col</key>
<integer>10</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>398</integer>
</dict>
</array>
</dict>
</array>
<key>kind</key>
<string>control</string>
</dict>
<dict>
<key>edges</key>
<array>
<dict>
<key>end</key>
<array>
<dict>
<key>col</key>
<integer>9</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>428</integer>
</dict>
<dict>
<key>col</key>
<integer>9</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>428</integer>
</dict>
</array>
<key>start</key>
<array>
<dict>
<key>col</key>
<integer>5</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>408</integer>
</dict>
<dict>
<key>col</key>
<integer>6</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>408</integer>
</dict>
</array>
</dict>
</array>
<key>kind</key>
<string>control</string>
</dict>
<dict>
<key>edges</key>
<array>
<dict>
<key>end</key>
<array>
<dict>
<key>col</key>
<integer>13</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>428</integer>
</dict>
<dict>
<key>col</key>
<integer>18</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>428</integer>
</dict>
</array>
<key>start</key>
<array>
<dict>
<key>col</key>
<integer>9</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>428</integer>
</dict>
<dict>
<key>col</key>
<integer>9</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>428</integer>
</dict>
</array>
</dict>
</array>
<key>kind</key>
<string>control</string>
</dict>
<dict>
<key>depth</key>
<integer>0</integer>
<key>extended_message</key>
<string>Calling 'BN_dup'</string>
<key>kind</key>
<string>event</string>
<key>location</key>
<dict>
<key>col</key>
<integer>13</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>428</integer>
</dict>
<key>message</key>
<string>Calling 'BN_dup'</string>
<key>ranges</key>
<array>
<array>
<dict>
<key>col</key>
<integer>13</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>428</integer>
</dict>
<dict>
<key>col</key>
<integer>21</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>428</integer>
</dict>
</array>
</array>
</dict>
<dict>
<key>depth</key>
<integer>1</integer>
<key>extended_message</key>
<string>Entered call from 'bn_dup_expand'</string>
<key>kind</key>
<string>event</string>
<key>location</key>
<dict>
<key>col</key>
<integer>1</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>485</integer>
</dict>
<key>message</key>
<string>Entered call from 'bn_dup_expand'</string>
</dict>
<dict>
<key>edges</key>
<array>
<dict>
<key>end</key>
<array>
<dict>
<key>col</key>
<integer>5</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>487</integer>
</dict>
<dict>
<key>col</key>
<integer>10</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>487</integer>
</dict>
</array>
<key>start</key>
<array>
<dict>
<key>col</key>
<integer>1</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>485</integer>
</dict>
<dict>
<key>col</key>
<integer>6</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>485</integer>
</dict>
</array>
</dict>
</array>
<key>kind</key>
<string>control</string>
</dict>
<dict>
<key>edges</key>
<array>
<dict>
<key>end</key>
<array>
<dict>
<key>col</key>
<integer>5</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>489</integer>
</dict>
<dict>
<key>col</key>
<integer>6</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>489</integer>
</dict>
</array>
<key>start</key>
<array>
<dict>
<key>col</key>
<integer>5</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>487</integer>
</dict>
<dict>
<key>col</key>
<integer>10</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>487</integer>
</dict>
</array>
</dict>
</array>
<key>kind</key>
<string>control</string>
</dict>
<dict>
<key>edges</key>
<array>
<dict>
<key>end</key>
<array>
<dict>
<key>col</key>
<integer>5</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>493</integer>
</dict>
<dict>
<key>col</key>
<integer>5</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>493</integer>
</dict>
</array>
<key>start</key>
<array>
<dict>
<key>col</key>
<integer>5</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>489</integer>
</dict>
<dict>
<key>col</key>
<integer>6</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>489</integer>
</dict>
</array>
</dict>
</array>
<key>kind</key>
<string>control</string>
</dict>
<dict>
<key>edges</key>
<array>
<dict>
<key>end</key>
<array>
<dict>
<key>col</key>
<integer>9</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>493</integer>
</dict>
<dict>
<key>col</key>
<integer>14</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>493</integer>
</dict>
</array>
<key>start</key>
<array>
<dict>
<key>col</key>
<integer>5</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>493</integer>
</dict>
<dict>
<key>col</key>
<integer>5</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>493</integer>
</dict>
</array>
</dict>
</array>
<key>kind</key>
<string>control</string>
</dict>
<dict>
<key>depth</key>
<integer>1</integer>
<key>extended_message</key>
<string>Calling 'BN_new'</string>
<key>kind</key>
<string>event</string>
<key>location</key>
<dict>
<key>col</key>
<integer>9</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>493</integer>
</dict>
<key>message</key>
<string>Calling 'BN_new'</string>
<key>ranges</key>
<array>
<array>
<dict>
<key>col</key>
<integer>9</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>493</integer>
</dict>
<dict>
<key>col</key>
<integer>16</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>493</integer>
</dict>
</array>
</array>
</dict>
<dict>
<key>depth</key>
<integer>2</integer>
<key>extended_message</key>
<string>Entered call from 'BN_dup'</string>
<key>kind</key>
<string>event</string>
<key>location</key>
<dict>
<key>col</key>
<integer>1</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>286</integer>
</dict>
<key>message</key>
<string>Entered call from 'BN_dup'</string>
</dict>
<dict>
<key>edges</key>
<array>
<dict>
<key>end</key>
<array>
<dict>
<key>col</key>
<integer>5</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>288</integer>
</dict>
<dict>
<key>col</key>
<integer>10</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>288</integer>
</dict>
</array>
<key>start</key>
<array>
<dict>
<key>col</key>
<integer>1</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>286</integer>
</dict>
<dict>
<key>col</key>
<integer>6</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>286</integer>
</dict>
</array>
</dict>
</array>
<key>kind</key>
<string>control</string>
</dict>
<dict>
<key>edges</key>
<array>
<dict>
<key>end</key>
<array>
<dict>
<key>col</key>
<integer>5</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>290</integer>
</dict>
<dict>
<key>col</key>
<integer>6</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>290</integer>
</dict>
</array>
<key>start</key>
<array>
<dict>
<key>col</key>
<integer>5</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>288</integer>
</dict>
<dict>
<key>col</key>
<integer>10</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>288</integer>
</dict>
</array>
</dict>
</array>
<key>kind</key>
<string>control</string>
</dict>
<dict>
<key>edges</key>
<array>
<dict>
<key>end</key>
<array>
<dict>
<key>col</key>
<integer>5</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>294</integer>
</dict>
<dict>
<key>col</key>
<integer>7</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>294</integer>
</dict>
</array>
<key>start</key>
<array>
<dict>
<key>col</key>
<integer>5</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>290</integer>
</dict>
<dict>
<key>col</key>
<integer>6</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>290</integer>
</dict>
</array>
</dict>
</array>
<key>kind</key>
<string>control</string>
</dict>
<dict>
<key>edges</key>
<array>
<dict>
<key>end</key>
<array>
<dict>
<key>col</key>
<integer>5</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>298</integer>
</dict>
<dict>
<key>col</key>
<integer>7</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>298</integer>
</dict>
</array>
<key>start</key>
<array>
<dict>
<key>col</key>
<integer>5</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>294</integer>
</dict>
<dict>
<key>col</key>
<integer>7</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>294</integer>
</dict>
</array>
</dict>
</array>
<key>kind</key>
<string>control</string>
</dict>
<dict>
<key>depth</key>
<integer>2</integer>
<key>extended_message</key>
<string>Null pointer value stored to field 'd'</string>
<key>kind</key>
<string>event</string>
<key>location</key>
<dict>
<key>col</key>
<integer>5</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>298</integer>
</dict>
<key>message</key>
<string>Null pointer value stored to field 'd'</string>
<key>ranges</key>
<array>
<array>
<dict>
<key>col</key>
<integer>5</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>298</integer>
</dict>
<dict>
<key>col</key>
<integer>17</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>298</integer>
</dict>
</array>
</array>
</dict>
<dict>
<key>edges</key>
<array>
<dict>
<key>end</key>
<array>
<dict>
<key>col</key>
<integer>5</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>300</integer>
</dict>
<dict>
<key>col</key>
<integer>10</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>300</integer>
</dict>
</array>
<key>start</key>
<array>
<dict>
<key>col</key>
<integer>5</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>298</integer>
</dict>
<dict>
<key>col</key>
<integer>7</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>298</integer>
</dict>
</array>
</dict>
</array>
<key>kind</key>
<string>control</string>
</dict>
<dict>
<key>depth</key>
<integer>1</integer>
<key>extended_message</key>
<string>Returning from 'BN_new'</string>
<key>kind</key>
<string>event</string>
<key>location</key>
<dict>
<key>col</key>
<integer>9</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>493</integer>
</dict>
<key>message</key>
<string>Returning from 'BN_new'</string>
<key>ranges</key>
<array>
<array>
<dict>
<key>col</key>
<integer>9</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>493</integer>
</dict>
<dict>
<key>col</key>
<integer>16</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>493</integer>
</dict>
</array>
</array>
</dict>
<dict>
<key>edges</key>
<array>
<dict>
<key>end</key>
<array>
<dict>
<key>col</key>
<integer>5</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>493</integer>
</dict>
<dict>
<key>col</key>
<integer>5</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>493</integer>
</dict>
</array>
<key>start</key>
<array>
<dict>
<key>col</key>
<integer>9</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>493</integer>
</dict>
<dict>
<key>col</key>
<integer>14</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>493</integer>
</dict>
</array>
</dict>
</array>
<key>kind</key>
<string>control</string>
</dict>
<dict>
<key>edges</key>
<array>
<dict>
<key>end</key>
<array>
<dict>
<key>col</key>
<integer>5</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>494</integer>
</dict>
<dict>
<key>col</key>
<integer>6</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>494</integer>
</dict>
</array>
<key>start</key>
<array>
<dict>
<key>col</key>
<integer>5</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>493</integer>
</dict>
<dict>
<key>col</key>
<integer>5</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>493</integer>
</dict>
</array>
</dict>
</array>
<key>kind</key>
<string>control</string>
</dict>
<dict>
<key>edges</key>
<array>
<dict>
<key>end</key>
<array>
<dict>
<key>col</key>
<integer>5</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>496</integer>
</dict>
<dict>
<key>col</key>
<integer>6</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>496</integer>
</dict>
</array>
<key>start</key>
<array>
<dict>
<key>col</key>
<integer>5</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>494</integer>
</dict>
<dict>
<key>col</key>
<integer>6</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>494</integer>
</dict>
</array>
</dict>
</array>
<key>kind</key>
<string>control</string>
</dict>
<dict>
<key>edges</key>
<array>
<dict>
<key>end</key>
<array>
<dict>
<key>col</key>
<integer>10</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>496</integer>
</dict>
<dict>
<key>col</key>
<integer>16</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>496</integer>
</dict>
</array>
<key>start</key>
<array>
<dict>
<key>col</key>
<integer>5</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>496</integer>
</dict>
<dict>
<key>col</key>
<integer>6</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>496</integer>
</dict>
</array>
</dict>
</array>
<key>kind</key>
<string>control</string>
</dict>
<dict>
<key>depth</key>
<integer>1</integer>
<key>extended_message</key>
<string>Calling 'BN_copy'</string>
<key>kind</key>
<string>event</string>
<key>location</key>
<dict>
<key>col</key>
<integer>10</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>496</integer>
</dict>
<key>message</key>
<string>Calling 'BN_copy'</string>
<key>ranges</key>
<array>
<array>
<dict>
<key>col</key>
<integer>10</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>496</integer>
</dict>
<dict>
<key>col</key>
<integer>22</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>496</integer>
</dict>
</array>
</array>
</dict>
<dict>
<key>depth</key>
<integer>2</integer>
<key>extended_message</key>
<string>Entered call from 'BN_dup'</string>
<key>kind</key>
<string>event</string>
<key>location</key>
<dict>
<key>col</key>
<integer>1</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>504</integer>
</dict>
<key>message</key>
<string>Entered call from 'BN_dup'</string>
</dict>
<dict>
<key>edges</key>
<array>
<dict>
<key>end</key>
<array>
<dict>
<key>col</key>
<integer>5</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>506</integer>
</dict>
<dict>
<key>col</key>
<integer>7</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>506</integer>
</dict>
</array>
<key>start</key>
<array>
<dict>
<key>col</key>
<integer>1</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>504</integer>
</dict>
<dict>
<key>col</key>
<integer>6</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>504</integer>
</dict>
</array>
</dict>
</array>
<key>kind</key>
<string>control</string>
</dict>
<dict>
<key>edges</key>
<array>
<dict>
<key>end</key>
<array>
<dict>
<key>col</key>
<integer>5</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>512</integer>
</dict>
<dict>
<key>col</key>
<integer>6</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>512</integer>
</dict>
</array>
<key>start</key>
<array>
<dict>
<key>col</key>
<integer>5</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>506</integer>
</dict>
<dict>
<key>col</key>
<integer>7</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>506</integer>
</dict>
</array>
</dict>
</array>
<key>kind</key>
<string>control</string>
</dict>
<dict>
<key>edges</key>
<array>
<dict>
<key>end</key>
<array>
<dict>
<key>col</key>
<integer>9</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>512</integer>
</dict>
<dict>
<key>col</key>
<integer>9</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>512</integer>
</dict>
</array>
<key>start</key>
<array>
<dict>
<key>col</key>
<integer>5</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>512</integer>
</dict>
<dict>
<key>col</key>
<integer>6</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>512</integer>
</dict>
</array>
</dict>
</array>
<key>kind</key>
<string>control</string>
</dict>
<dict>
<key>depth</key>
<integer>2</integer>
<key>extended_message</key>
<string>Assuming 'a' is not equal to 'b'</string>
<key>kind</key>
<string>event</string>
<key>location</key>
<dict>
<key>col</key>
<integer>9</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>512</integer>
</dict>
<key>message</key>
<string>Assuming 'a' is not equal to 'b'</string>
<key>ranges</key>
<array>
<array>
<dict>
<key>col</key>
<integer>9</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>512</integer>
</dict>
<dict>
<key>col</key>
<integer>14</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>512</integer>
</dict>
</array>
</array>
</dict>
<dict>
<key>edges</key>
<array>
<dict>
<key>end</key>
<array>
<dict>
<key>col</key>
<integer>5</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>514</integer>
</dict>
<dict>
<key>col</key>
<integer>6</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>514</integer>
</dict>
</array>
<key>start</key>
<array>
<dict>
<key>col</key>
<integer>9</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>512</integer>
</dict>
<dict>
<key>col</key>
<integer>9</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>512</integer>
</dict>
</array>
</dict>
</array>
<key>kind</key>
<string>control</string>
</dict>
<dict>
<key>edges</key>
<array>
<dict>
<key>end</key>
<array>
<dict>
<key>col</key>
<integer>5</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>518</integer>
</dict>
<dict>
<key>col</key>
<integer>5</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>518</integer>
</dict>
</array>
<key>start</key>
<array>
<dict>
<key>col</key>
<integer>5</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>514</integer>
</dict>
<dict>
<key>col</key>
<integer>6</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>514</integer>
</dict>
</array>
</dict>
</array>
<key>kind</key>
<string>control</string>
</dict>
<dict>
<key>depth</key>
<integer>2</integer>
<key>extended_message</key>
<string>Null pointer value stored to 'A'</string>
<key>kind</key>
<string>event</string>
<key>location</key>
<dict>
<key>col</key>
<integer>5</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>518</integer>
</dict>
<key>message</key>
<string>Null pointer value stored to 'A'</string>
<key>ranges</key>
<array>
<array>
<dict>
<key>col</key>
<integer>5</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>518</integer>
</dict>
<dict>
<key>col</key>
<integer>12</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>518</integer>
</dict>
</array>
</array>
</dict>
<dict>
<key>edges</key>
<array>
<dict>
<key>end</key>
<array>
<dict>
<key>col</key>
<integer>5</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>520</integer>
</dict>
<dict>
<key>col</key>
<integer>7</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>520</integer>
</dict>
</array>
<key>start</key>
<array>
<dict>
<key>col</key>
<integer>5</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>518</integer>
</dict>
<dict>
<key>col</key>
<integer>5</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>518</integer>
</dict>
</array>
</dict>
</array>
<key>kind</key>
<string>control</string>
</dict>
<dict>
<key>edges</key>
<array>
<dict>
<key>end</key>
<array>
<dict>
<key>col</key>
<integer>27</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>520</integer>
</dict>
<dict>
<key>col</key>
<integer>27</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>520</integer>
</dict>
</array>
<key>start</key>
<array>
<dict>
<key>col</key>
<integer>5</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>520</integer>
</dict>
<dict>
<key>col</key>
<integer>7</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>520</integer>
</dict>
</array>
</dict>
</array>
<key>kind</key>
<string>control</string>
</dict>
<dict>
<key>depth</key>
<integer>2</integer>
<key>extended_message</key>
<string>Assuming 'i' is &lt;= 0</string>
<key>kind</key>
<string>event</string>
<key>location</key>
<dict>
<key>col</key>
<integer>27</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>520</integer>
</dict>
<key>message</key>
<string>Assuming 'i' is &lt;= 0</string>
<key>ranges</key>
<array>
<array>
<dict>
<key>col</key>
<integer>27</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>520</integer>
</dict>
<dict>
<key>col</key>
<integer>31</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>520</integer>
</dict>
</array>
</array>
</dict>
<dict>
<key>depth</key>
<integer>2</integer>
<key>extended_message</key>
<string>Loop body executed 0 times</string>
<key>kind</key>
<string>event</string>
<key>location</key>
<dict>
<key>col</key>
<integer>27</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>520</integer>
</dict>
<key>message</key>
<string>Loop body executed 0 times</string>
<key>ranges</key>
<array>
<array>
<dict>
<key>col</key>
<integer>27</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>520</integer>
</dict>
<dict>
<key>col</key>
<integer>31</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>520</integer>
</dict>
</array>
</array>
</dict>
<dict>
<key>edges</key>
<array>
<dict>
<key>end</key>
<array>
<dict>
<key>col</key>
<integer>5</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>532</integer>
</dict>
<dict>
<key>col</key>
<integer>10</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>532</integer>
</dict>
</array>
<key>start</key>
<array>
<dict>
<key>col</key>
<integer>27</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>520</integer>
</dict>
<dict>
<key>col</key>
<integer>27</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>520</integer>
</dict>
</array>
</dict>
</array>
<key>kind</key>
<string>control</string>
</dict>
<dict>
<key>edges</key>
<array>
<dict>
<key>end</key>
<array>
<dict>
<key>col</key>
<integer>13</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>532</integer>
</dict>
<dict>
<key>col</key>
<integer>13</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>532</integer>
</dict>
</array>
<key>start</key>
<array>
<dict>
<key>col</key>
<integer>5</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>532</integer>
</dict>
<dict>
<key>col</key>
<integer>10</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>532</integer>
</dict>
</array>
</dict>
</array>
<key>kind</key>
<string>control</string>
</dict>
<dict>
<key>edges</key>
<array>
<dict>
<key>end</key>
<array>
<dict>
<key>col</key>
<integer>9</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>534</integer>
</dict>
<dict>
<key>col</key>
<integer>9</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>534</integer>
</dict>
</array>
<key>start</key>
<array>
<dict>
<key>col</key>
<integer>13</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>532</integer>
</dict>
<dict>
<key>col</key>
<integer>13</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>532</integer>
</dict>
</array>
</dict>
</array>
<key>kind</key>
<string>control</string>
</dict>
<dict>
<key>edges</key>
<array>
<dict>
<key>end</key>
<array>
<dict>
<key>col</key>
<integer>14</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>534</integer>
</dict>
<dict>
<key>col</key>
<integer>14</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>534</integer>
</dict>
</array>
<key>start</key>
<array>
<dict>
<key>col</key>
<integer>9</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>534</integer>
</dict>
<dict>
<key>col</key>
<integer>9</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>534</integer>
</dict>
</array>
</dict>
</array>
<key>kind</key>
<string>control</string>
</dict>
<dict>
<key>depth</key>
<integer>2</integer>
<key>extended_message</key>
<string>Array access (from variable 'A') results in a null pointer dereference</string>
<key>kind</key>
<string>event</string>
<key>location</key>
<dict>
<key>col</key>
<integer>14</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>534</integer>
</dict>
<key>message</key>
<string>Array access (from variable 'A') results in a null pointer dereference</string>
<key>ranges</key>
<array>
<array>
<dict>
<key>col</key>
<integer>9</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>534</integer>
</dict>
<dict>
<key>col</key>
<integer>9</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>534</integer>
</dict>
</array>
</array>
</dict>
</array>
<key>type</key>
<string>Dereference of null pointer</string>
</dict>
<dict>
<key>HTMLDiagnostics_files</key>
<array>
<string>report-12e424.html</string>
</array>
<key>category</key>
<string>Logic error</string>
<key>check_name</key>
<string>core.NullDereference</string>
<key>description</key>
<string>Array access (from variable 'A') results in a null pointer dereference</string>
<key>issue_context</key>
<string>BN_copy</string>
<key>issue_context_kind</key>
<string>function</string>
<key>issue_hash_content_of_line_in_context</key>
<string>14cf09878b869bbe9f7259b2097d355d</string>
<key>issue_hash_function_offset</key>
<string>31</string>
<key>location</key>
<dict>
<key>col</key>
<integer>14</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>536</integer>
</dict>
<key>path</key>
<array>
<dict>
<key>edges</key>
<array>
<dict>
<key>end</key>
<array>
<dict>
<key>col</key>
<integer>5</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>408</integer>
</dict>
<dict>
<key>col</key>
<integer>6</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>408</integer>
</dict>
</array>
<key>start</key>
<array>
<dict>
<key>col</key>
<integer>5</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>398</integer>
</dict>
<dict>
<key>col</key>
<integer>10</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>398</integer>
</dict>
</array>
</dict>
</array>
<key>kind</key>
<string>control</string>
</dict>
<dict>
<key>edges</key>
<array>
<dict>
<key>end</key>
<array>
<dict>
<key>col</key>
<integer>9</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>428</integer>
</dict>
<dict>
<key>col</key>
<integer>9</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>428</integer>
</dict>
</array>
<key>start</key>
<array>
<dict>
<key>col</key>
<integer>5</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>408</integer>
</dict>
<dict>
<key>col</key>
<integer>6</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>408</integer>
</dict>
</array>
</dict>
</array>
<key>kind</key>
<string>control</string>
</dict>
<dict>
<key>edges</key>
<array>
<dict>
<key>end</key>
<array>
<dict>
<key>col</key>
<integer>13</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>428</integer>
</dict>
<dict>
<key>col</key>
<integer>18</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>428</integer>
</dict>
</array>
<key>start</key>
<array>
<dict>
<key>col</key>
<integer>9</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>428</integer>
</dict>
<dict>
<key>col</key>
<integer>9</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>428</integer>
</dict>
</array>
</dict>
</array>
<key>kind</key>
<string>control</string>
</dict>
<dict>
<key>depth</key>
<integer>0</integer>
<key>extended_message</key>
<string>Calling 'BN_dup'</string>
<key>kind</key>
<string>event</string>
<key>location</key>
<dict>
<key>col</key>
<integer>13</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>428</integer>
</dict>
<key>message</key>
<string>Calling 'BN_dup'</string>
<key>ranges</key>
<array>
<array>
<dict>
<key>col</key>
<integer>13</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>428</integer>
</dict>
<dict>
<key>col</key>
<integer>21</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>428</integer>
</dict>
</array>
</array>
</dict>
<dict>
<key>depth</key>
<integer>1</integer>
<key>extended_message</key>
<string>Entered call from 'bn_dup_expand'</string>
<key>kind</key>
<string>event</string>
<key>location</key>
<dict>
<key>col</key>
<integer>1</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>485</integer>
</dict>
<key>message</key>
<string>Entered call from 'bn_dup_expand'</string>
</dict>
<dict>
<key>edges</key>
<array>
<dict>
<key>end</key>
<array>
<dict>
<key>col</key>
<integer>5</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>487</integer>
</dict>
<dict>
<key>col</key>
<integer>10</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>487</integer>
</dict>
</array>
<key>start</key>
<array>
<dict>
<key>col</key>
<integer>1</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>485</integer>
</dict>
<dict>
<key>col</key>
<integer>6</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>485</integer>
</dict>
</array>
</dict>
</array>
<key>kind</key>
<string>control</string>
</dict>
<dict>
<key>edges</key>
<array>
<dict>
<key>end</key>
<array>
<dict>
<key>col</key>
<integer>5</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>489</integer>
</dict>
<dict>
<key>col</key>
<integer>6</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>489</integer>
</dict>
</array>
<key>start</key>
<array>
<dict>
<key>col</key>
<integer>5</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>487</integer>
</dict>
<dict>
<key>col</key>
<integer>10</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>487</integer>
</dict>
</array>
</dict>
</array>
<key>kind</key>
<string>control</string>
</dict>
<dict>
<key>edges</key>
<array>
<dict>
<key>end</key>
<array>
<dict>
<key>col</key>
<integer>5</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>493</integer>
</dict>
<dict>
<key>col</key>
<integer>5</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>493</integer>
</dict>
</array>
<key>start</key>
<array>
<dict>
<key>col</key>
<integer>5</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>489</integer>
</dict>
<dict>
<key>col</key>
<integer>6</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>489</integer>
</dict>
</array>
</dict>
</array>
<key>kind</key>
<string>control</string>
</dict>
<dict>
<key>edges</key>
<array>
<dict>
<key>end</key>
<array>
<dict>
<key>col</key>
<integer>9</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>493</integer>
</dict>
<dict>
<key>col</key>
<integer>14</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>493</integer>
</dict>
</array>
<key>start</key>
<array>
<dict>
<key>col</key>
<integer>5</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>493</integer>
</dict>
<dict>
<key>col</key>
<integer>5</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>493</integer>
</dict>
</array>
</dict>
</array>
<key>kind</key>
<string>control</string>
</dict>
<dict>
<key>depth</key>
<integer>1</integer>
<key>extended_message</key>
<string>Calling 'BN_new'</string>
<key>kind</key>
<string>event</string>
<key>location</key>
<dict>
<key>col</key>
<integer>9</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>493</integer>
</dict>
<key>message</key>
<string>Calling 'BN_new'</string>
<key>ranges</key>
<array>
<array>
<dict>
<key>col</key>
<integer>9</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>493</integer>
</dict>
<dict>
<key>col</key>
<integer>16</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>493</integer>
</dict>
</array>
</array>
</dict>
<dict>
<key>depth</key>
<integer>2</integer>
<key>extended_message</key>
<string>Entered call from 'BN_dup'</string>
<key>kind</key>
<string>event</string>
<key>location</key>
<dict>
<key>col</key>
<integer>1</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>286</integer>
</dict>
<key>message</key>
<string>Entered call from 'BN_dup'</string>
</dict>
<dict>
<key>edges</key>
<array>
<dict>
<key>end</key>
<array>
<dict>
<key>col</key>
<integer>5</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>288</integer>
</dict>
<dict>
<key>col</key>
<integer>10</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>288</integer>
</dict>
</array>
<key>start</key>
<array>
<dict>
<key>col</key>
<integer>1</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>286</integer>
</dict>
<dict>
<key>col</key>
<integer>6</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>286</integer>
</dict>
</array>
</dict>
</array>
<key>kind</key>
<string>control</string>
</dict>
<dict>
<key>edges</key>
<array>
<dict>
<key>end</key>
<array>
<dict>
<key>col</key>
<integer>5</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>290</integer>
</dict>
<dict>
<key>col</key>
<integer>6</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>290</integer>
</dict>
</array>
<key>start</key>
<array>
<dict>
<key>col</key>
<integer>5</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>288</integer>
</dict>
<dict>
<key>col</key>
<integer>10</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>288</integer>
</dict>
</array>
</dict>
</array>
<key>kind</key>
<string>control</string>
</dict>
<dict>
<key>edges</key>
<array>
<dict>
<key>end</key>
<array>
<dict>
<key>col</key>
<integer>5</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>294</integer>
</dict>
<dict>
<key>col</key>
<integer>7</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>294</integer>
</dict>
</array>
<key>start</key>
<array>
<dict>
<key>col</key>
<integer>5</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>290</integer>
</dict>
<dict>
<key>col</key>
<integer>6</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>290</integer>
</dict>
</array>
</dict>
</array>
<key>kind</key>
<string>control</string>
</dict>
<dict>
<key>edges</key>
<array>
<dict>
<key>end</key>
<array>
<dict>
<key>col</key>
<integer>5</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>298</integer>
</dict>
<dict>
<key>col</key>
<integer>7</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>298</integer>
</dict>
</array>
<key>start</key>
<array>
<dict>
<key>col</key>
<integer>5</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>294</integer>
</dict>
<dict>
<key>col</key>
<integer>7</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>294</integer>
</dict>
</array>
</dict>
</array>
<key>kind</key>
<string>control</string>
</dict>
<dict>
<key>depth</key>
<integer>2</integer>
<key>extended_message</key>
<string>Null pointer value stored to field 'd'</string>
<key>kind</key>
<string>event</string>
<key>location</key>
<dict>
<key>col</key>
<integer>5</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>298</integer>
</dict>
<key>message</key>
<string>Null pointer value stored to field 'd'</string>
<key>ranges</key>
<array>
<array>
<dict>
<key>col</key>
<integer>5</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>298</integer>
</dict>
<dict>
<key>col</key>
<integer>17</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>298</integer>
</dict>
</array>
</array>
</dict>
<dict>
<key>edges</key>
<array>
<dict>
<key>end</key>
<array>
<dict>
<key>col</key>
<integer>5</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>300</integer>
</dict>
<dict>
<key>col</key>
<integer>10</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>300</integer>
</dict>
</array>
<key>start</key>
<array>
<dict>
<key>col</key>
<integer>5</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>298</integer>
</dict>
<dict>
<key>col</key>
<integer>7</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>298</integer>
</dict>
</array>
</dict>
</array>
<key>kind</key>
<string>control</string>
</dict>
<dict>
<key>depth</key>
<integer>1</integer>
<key>extended_message</key>
<string>Returning from 'BN_new'</string>
<key>kind</key>
<string>event</string>
<key>location</key>
<dict>
<key>col</key>
<integer>9</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>493</integer>
</dict>
<key>message</key>
<string>Returning from 'BN_new'</string>
<key>ranges</key>
<array>
<array>
<dict>
<key>col</key>
<integer>9</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>493</integer>
</dict>
<dict>
<key>col</key>
<integer>16</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>493</integer>
</dict>
</array>
</array>
</dict>
<dict>
<key>edges</key>
<array>
<dict>
<key>end</key>
<array>
<dict>
<key>col</key>
<integer>5</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>493</integer>
</dict>
<dict>
<key>col</key>
<integer>5</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>493</integer>
</dict>
</array>
<key>start</key>
<array>
<dict>
<key>col</key>
<integer>9</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>493</integer>
</dict>
<dict>
<key>col</key>
<integer>14</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>493</integer>
</dict>
</array>
</dict>
</array>
<key>kind</key>
<string>control</string>
</dict>
<dict>
<key>edges</key>
<array>
<dict>
<key>end</key>
<array>
<dict>
<key>col</key>
<integer>5</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>494</integer>
</dict>
<dict>
<key>col</key>
<integer>6</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>494</integer>
</dict>
</array>
<key>start</key>
<array>
<dict>
<key>col</key>
<integer>5</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>493</integer>
</dict>
<dict>
<key>col</key>
<integer>5</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>493</integer>
</dict>
</array>
</dict>
</array>
<key>kind</key>
<string>control</string>
</dict>
<dict>
<key>edges</key>
<array>
<dict>
<key>end</key>
<array>
<dict>
<key>col</key>
<integer>5</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>496</integer>
</dict>
<dict>
<key>col</key>
<integer>6</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>496</integer>
</dict>
</array>
<key>start</key>
<array>
<dict>
<key>col</key>
<integer>5</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>494</integer>
</dict>
<dict>
<key>col</key>
<integer>6</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>494</integer>
</dict>
</array>
</dict>
</array>
<key>kind</key>
<string>control</string>
</dict>
<dict>
<key>edges</key>
<array>
<dict>
<key>end</key>
<array>
<dict>
<key>col</key>
<integer>10</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>496</integer>
</dict>
<dict>
<key>col</key>
<integer>16</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>496</integer>
</dict>
</array>
<key>start</key>
<array>
<dict>
<key>col</key>
<integer>5</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>496</integer>
</dict>
<dict>
<key>col</key>
<integer>6</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>496</integer>
</dict>
</array>
</dict>
</array>
<key>kind</key>
<string>control</string>
</dict>
<dict>
<key>depth</key>
<integer>1</integer>
<key>extended_message</key>
<string>Calling 'BN_copy'</string>
<key>kind</key>
<string>event</string>
<key>location</key>
<dict>
<key>col</key>
<integer>10</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>496</integer>
</dict>
<key>message</key>
<string>Calling 'BN_copy'</string>
<key>ranges</key>
<array>
<array>
<dict>
<key>col</key>
<integer>10</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>496</integer>
</dict>
<dict>
<key>col</key>
<integer>22</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>496</integer>
</dict>
</array>
</array>
</dict>
<dict>
<key>depth</key>
<integer>2</integer>
<key>extended_message</key>
<string>Entered call from 'BN_dup'</string>
<key>kind</key>
<string>event</string>
<key>location</key>
<dict>
<key>col</key>
<integer>1</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>504</integer>
</dict>
<key>message</key>
<string>Entered call from 'BN_dup'</string>
</dict>
<dict>
<key>edges</key>
<array>
<dict>
<key>end</key>
<array>
<dict>
<key>col</key>
<integer>5</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>506</integer>
</dict>
<dict>
<key>col</key>
<integer>7</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>506</integer>
</dict>
</array>
<key>start</key>
<array>
<dict>
<key>col</key>
<integer>1</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>504</integer>
</dict>
<dict>
<key>col</key>
<integer>6</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>504</integer>
</dict>
</array>
</dict>
</array>
<key>kind</key>
<string>control</string>
</dict>
<dict>
<key>edges</key>
<array>
<dict>
<key>end</key>
<array>
<dict>
<key>col</key>
<integer>5</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>512</integer>
</dict>
<dict>
<key>col</key>
<integer>6</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>512</integer>
</dict>
</array>
<key>start</key>
<array>
<dict>
<key>col</key>
<integer>5</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>506</integer>
</dict>
<dict>
<key>col</key>
<integer>7</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>506</integer>
</dict>
</array>
</dict>
</array>
<key>kind</key>
<string>control</string>
</dict>
<dict>
<key>edges</key>
<array>
<dict>
<key>end</key>
<array>
<dict>
<key>col</key>
<integer>9</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>512</integer>
</dict>
<dict>
<key>col</key>
<integer>9</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>512</integer>
</dict>
</array>
<key>start</key>
<array>
<dict>
<key>col</key>
<integer>5</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>512</integer>
</dict>
<dict>
<key>col</key>
<integer>6</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>512</integer>
</dict>
</array>
</dict>
</array>
<key>kind</key>
<string>control</string>
</dict>
<dict>
<key>depth</key>
<integer>2</integer>
<key>extended_message</key>
<string>Assuming 'a' is not equal to 'b'</string>
<key>kind</key>
<string>event</string>
<key>location</key>
<dict>
<key>col</key>
<integer>9</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>512</integer>
</dict>
<key>message</key>
<string>Assuming 'a' is not equal to 'b'</string>
<key>ranges</key>
<array>
<array>
<dict>
<key>col</key>
<integer>9</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>512</integer>
</dict>
<dict>
<key>col</key>
<integer>14</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>512</integer>
</dict>
</array>
</array>
</dict>
<dict>
<key>edges</key>
<array>
<dict>
<key>end</key>
<array>
<dict>
<key>col</key>
<integer>5</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>514</integer>
</dict>
<dict>
<key>col</key>
<integer>6</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>514</integer>
</dict>
</array>
<key>start</key>
<array>
<dict>
<key>col</key>
<integer>9</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>512</integer>
</dict>
<dict>
<key>col</key>
<integer>9</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>512</integer>
</dict>
</array>
</dict>
</array>
<key>kind</key>
<string>control</string>
</dict>
<dict>
<key>edges</key>
<array>
<dict>
<key>end</key>
<array>
<dict>
<key>col</key>
<integer>5</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>518</integer>
</dict>
<dict>
<key>col</key>
<integer>5</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>518</integer>
</dict>
</array>
<key>start</key>
<array>
<dict>
<key>col</key>
<integer>5</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>514</integer>
</dict>
<dict>
<key>col</key>
<integer>6</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>514</integer>
</dict>
</array>
</dict>
</array>
<key>kind</key>
<string>control</string>
</dict>
<dict>
<key>depth</key>
<integer>2</integer>
<key>extended_message</key>
<string>Null pointer value stored to 'A'</string>
<key>kind</key>
<string>event</string>
<key>location</key>
<dict>
<key>col</key>
<integer>5</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>518</integer>
</dict>
<key>message</key>
<string>Null pointer value stored to 'A'</string>
<key>ranges</key>
<array>
<array>
<dict>
<key>col</key>
<integer>5</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>518</integer>
</dict>
<dict>
<key>col</key>
<integer>12</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>518</integer>
</dict>
</array>
</array>
</dict>
<dict>
<key>edges</key>
<array>
<dict>
<key>end</key>
<array>
<dict>
<key>col</key>
<integer>5</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>520</integer>
</dict>
<dict>
<key>col</key>
<integer>7</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>520</integer>
</dict>
</array>
<key>start</key>
<array>
<dict>
<key>col</key>
<integer>5</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>518</integer>
</dict>
<dict>
<key>col</key>
<integer>5</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>518</integer>
</dict>
</array>
</dict>
</array>
<key>kind</key>
<string>control</string>
</dict>
<dict>
<key>edges</key>
<array>
<dict>
<key>end</key>
<array>
<dict>
<key>col</key>
<integer>27</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>520</integer>
</dict>
<dict>
<key>col</key>
<integer>27</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>520</integer>
</dict>
</array>
<key>start</key>
<array>
<dict>
<key>col</key>
<integer>5</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>520</integer>
</dict>
<dict>
<key>col</key>
<integer>7</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>520</integer>
</dict>
</array>
</dict>
</array>
<key>kind</key>
<string>control</string>
</dict>
<dict>
<key>depth</key>
<integer>2</integer>
<key>extended_message</key>
<string>Assuming 'i' is &lt;= 0</string>
<key>kind</key>
<string>event</string>
<key>location</key>
<dict>
<key>col</key>
<integer>27</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>520</integer>
</dict>
<key>message</key>
<string>Assuming 'i' is &lt;= 0</string>
<key>ranges</key>
<array>
<array>
<dict>
<key>col</key>
<integer>27</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>520</integer>
</dict>
<dict>
<key>col</key>
<integer>31</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>520</integer>
</dict>
</array>
</array>
</dict>
<dict>
<key>depth</key>
<integer>2</integer>
<key>extended_message</key>
<string>Loop body executed 0 times</string>
<key>kind</key>
<string>event</string>
<key>location</key>
<dict>
<key>col</key>
<integer>27</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>520</integer>
</dict>
<key>message</key>
<string>Loop body executed 0 times</string>
<key>ranges</key>
<array>
<array>
<dict>
<key>col</key>
<integer>27</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>520</integer>
</dict>
<dict>
<key>col</key>
<integer>31</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>520</integer>
</dict>
</array>
</array>
</dict>
<dict>
<key>edges</key>
<array>
<dict>
<key>end</key>
<array>
<dict>
<key>col</key>
<integer>5</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>532</integer>
</dict>
<dict>
<key>col</key>
<integer>10</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>532</integer>
</dict>
</array>
<key>start</key>
<array>
<dict>
<key>col</key>
<integer>27</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>520</integer>
</dict>
<dict>
<key>col</key>
<integer>27</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>520</integer>
</dict>
</array>
</dict>
</array>
<key>kind</key>
<string>control</string>
</dict>
<dict>
<key>edges</key>
<array>
<dict>
<key>end</key>
<array>
<dict>
<key>col</key>
<integer>13</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>532</integer>
</dict>
<dict>
<key>col</key>
<integer>13</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>532</integer>
</dict>
</array>
<key>start</key>
<array>
<dict>
<key>col</key>
<integer>5</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>532</integer>
</dict>
<dict>
<key>col</key>
<integer>10</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>532</integer>
</dict>
</array>
</dict>
</array>
<key>kind</key>
<string>control</string>
</dict>
<dict>
<key>edges</key>
<array>
<dict>
<key>end</key>
<array>
<dict>
<key>col</key>
<integer>9</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>536</integer>
</dict>
<dict>
<key>col</key>
<integer>9</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>536</integer>
</dict>
</array>
<key>start</key>
<array>
<dict>
<key>col</key>
<integer>13</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>532</integer>
</dict>
<dict>
<key>col</key>
<integer>13</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>532</integer>
</dict>
</array>
</dict>
</array>
<key>kind</key>
<string>control</string>
</dict>
<dict>
<key>edges</key>
<array>
<dict>
<key>end</key>
<array>
<dict>
<key>col</key>
<integer>14</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>536</integer>
</dict>
<dict>
<key>col</key>
<integer>14</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>536</integer>
</dict>
</array>
<key>start</key>
<array>
<dict>
<key>col</key>
<integer>9</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>536</integer>
</dict>
<dict>
<key>col</key>
<integer>9</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>536</integer>
</dict>
</array>
</dict>
</array>
<key>kind</key>
<string>control</string>
</dict>
<dict>
<key>depth</key>
<integer>2</integer>
<key>extended_message</key>
<string>Array access (from variable 'A') results in a null pointer dereference</string>
<key>kind</key>
<string>event</string>
<key>location</key>
<dict>
<key>col</key>
<integer>14</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>536</integer>
</dict>
<key>message</key>
<string>Array access (from variable 'A') results in a null pointer dereference</string>
<key>ranges</key>
<array>
<array>
<dict>
<key>col</key>
<integer>9</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>536</integer>
</dict>
<dict>
<key>col</key>
<integer>9</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>536</integer>
</dict>
</array>
</array>
</dict>
</array>
<key>type</key>
<string>Dereference of null pointer</string>
</dict>
<dict>
<key>HTMLDiagnostics_files</key>
<array>
<string>report-af4f05.html</string>
</array>
<key>category</key>
<string>Logic error</string>
<key>check_name</key>
<string>core.NullDereference</string>
<key>description</key>
<string>Array access (from variable 'A') results in a null pointer dereference</string>
<key>issue_context</key>
<string>BN_copy</string>
<key>issue_context_kind</key>
<string>function</string>
<key>issue_hash_content_of_line_in_context</key>
<string>3e0a849e21bb48e81f1ebbda56996369</string>
<key>issue_hash_function_offset</key>
<string>33</string>
<key>location</key>
<dict>
<key>col</key>
<integer>14</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>538</integer>
</dict>
<key>path</key>
<array>
<dict>
<key>edges</key>
<array>
<dict>
<key>end</key>
<array>
<dict>
<key>col</key>
<integer>5</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>408</integer>
</dict>
<dict>
<key>col</key>
<integer>6</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>408</integer>
</dict>
</array>
<key>start</key>
<array>
<dict>
<key>col</key>
<integer>5</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>398</integer>
</dict>
<dict>
<key>col</key>
<integer>10</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>398</integer>
</dict>
</array>
</dict>
</array>
<key>kind</key>
<string>control</string>
</dict>
<dict>
<key>edges</key>
<array>
<dict>
<key>end</key>
<array>
<dict>
<key>col</key>
<integer>9</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>428</integer>
</dict>
<dict>
<key>col</key>
<integer>9</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>428</integer>
</dict>
</array>
<key>start</key>
<array>
<dict>
<key>col</key>
<integer>5</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>408</integer>
</dict>
<dict>
<key>col</key>
<integer>6</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>408</integer>
</dict>
</array>
</dict>
</array>
<key>kind</key>
<string>control</string>
</dict>
<dict>
<key>edges</key>
<array>
<dict>
<key>end</key>
<array>
<dict>
<key>col</key>
<integer>13</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>428</integer>
</dict>
<dict>
<key>col</key>
<integer>18</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>428</integer>
</dict>
</array>
<key>start</key>
<array>
<dict>
<key>col</key>
<integer>9</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>428</integer>
</dict>
<dict>
<key>col</key>
<integer>9</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>428</integer>
</dict>
</array>
</dict>
</array>
<key>kind</key>
<string>control</string>
</dict>
<dict>
<key>depth</key>
<integer>0</integer>
<key>extended_message</key>
<string>Calling 'BN_dup'</string>
<key>kind</key>
<string>event</string>
<key>location</key>
<dict>
<key>col</key>
<integer>13</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>428</integer>
</dict>
<key>message</key>
<string>Calling 'BN_dup'</string>
<key>ranges</key>
<array>
<array>
<dict>
<key>col</key>
<integer>13</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>428</integer>
</dict>
<dict>
<key>col</key>
<integer>21</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>428</integer>
</dict>
</array>
</array>
</dict>
<dict>
<key>depth</key>
<integer>1</integer>
<key>extended_message</key>
<string>Entered call from 'bn_dup_expand'</string>
<key>kind</key>
<string>event</string>
<key>location</key>
<dict>
<key>col</key>
<integer>1</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>485</integer>
</dict>
<key>message</key>
<string>Entered call from 'bn_dup_expand'</string>
</dict>
<dict>
<key>edges</key>
<array>
<dict>
<key>end</key>
<array>
<dict>
<key>col</key>
<integer>5</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>487</integer>
</dict>
<dict>
<key>col</key>
<integer>10</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>487</integer>
</dict>
</array>
<key>start</key>
<array>
<dict>
<key>col</key>
<integer>1</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>485</integer>
</dict>
<dict>
<key>col</key>
<integer>6</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>485</integer>
</dict>
</array>
</dict>
</array>
<key>kind</key>
<string>control</string>
</dict>
<dict>
<key>edges</key>
<array>
<dict>
<key>end</key>
<array>
<dict>
<key>col</key>
<integer>5</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>489</integer>
</dict>
<dict>
<key>col</key>
<integer>6</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>489</integer>
</dict>
</array>
<key>start</key>
<array>
<dict>
<key>col</key>
<integer>5</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>487</integer>
</dict>
<dict>
<key>col</key>
<integer>10</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>487</integer>
</dict>
</array>
</dict>
</array>
<key>kind</key>
<string>control</string>
</dict>
<dict>
<key>edges</key>
<array>
<dict>
<key>end</key>
<array>
<dict>
<key>col</key>
<integer>5</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>493</integer>
</dict>
<dict>
<key>col</key>
<integer>5</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>493</integer>
</dict>
</array>
<key>start</key>
<array>
<dict>
<key>col</key>
<integer>5</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>489</integer>
</dict>
<dict>
<key>col</key>
<integer>6</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>489</integer>
</dict>
</array>
</dict>
</array>
<key>kind</key>
<string>control</string>
</dict>
<dict>
<key>edges</key>
<array>
<dict>
<key>end</key>
<array>
<dict>
<key>col</key>
<integer>9</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>493</integer>
</dict>
<dict>
<key>col</key>
<integer>14</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>493</integer>
</dict>
</array>
<key>start</key>
<array>
<dict>
<key>col</key>
<integer>5</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>493</integer>
</dict>
<dict>
<key>col</key>
<integer>5</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>493</integer>
</dict>
</array>
</dict>
</array>
<key>kind</key>
<string>control</string>
</dict>
<dict>
<key>depth</key>
<integer>1</integer>
<key>extended_message</key>
<string>Calling 'BN_new'</string>
<key>kind</key>
<string>event</string>
<key>location</key>
<dict>
<key>col</key>
<integer>9</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>493</integer>
</dict>
<key>message</key>
<string>Calling 'BN_new'</string>
<key>ranges</key>
<array>
<array>
<dict>
<key>col</key>
<integer>9</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>493</integer>
</dict>
<dict>
<key>col</key>
<integer>16</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>493</integer>
</dict>
</array>
</array>
</dict>
<dict>
<key>depth</key>
<integer>2</integer>
<key>extended_message</key>
<string>Entered call from 'BN_dup'</string>
<key>kind</key>
<string>event</string>
<key>location</key>
<dict>
<key>col</key>
<integer>1</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>286</integer>
</dict>
<key>message</key>
<string>Entered call from 'BN_dup'</string>
</dict>
<dict>
<key>edges</key>
<array>
<dict>
<key>end</key>
<array>
<dict>
<key>col</key>
<integer>5</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>288</integer>
</dict>
<dict>
<key>col</key>
<integer>10</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>288</integer>
</dict>
</array>
<key>start</key>
<array>
<dict>
<key>col</key>
<integer>1</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>286</integer>
</dict>
<dict>
<key>col</key>
<integer>6</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>286</integer>
</dict>
</array>
</dict>
</array>
<key>kind</key>
<string>control</string>
</dict>
<dict>
<key>edges</key>
<array>
<dict>
<key>end</key>
<array>
<dict>
<key>col</key>
<integer>5</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>290</integer>
</dict>
<dict>
<key>col</key>
<integer>6</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>290</integer>
</dict>
</array>
<key>start</key>
<array>
<dict>
<key>col</key>
<integer>5</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>288</integer>
</dict>
<dict>
<key>col</key>
<integer>10</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>288</integer>
</dict>
</array>
</dict>
</array>
<key>kind</key>
<string>control</string>
</dict>
<dict>
<key>edges</key>
<array>
<dict>
<key>end</key>
<array>
<dict>
<key>col</key>
<integer>5</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>294</integer>
</dict>
<dict>
<key>col</key>
<integer>7</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>294</integer>
</dict>
</array>
<key>start</key>
<array>
<dict>
<key>col</key>
<integer>5</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>290</integer>
</dict>
<dict>
<key>col</key>
<integer>6</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>290</integer>
</dict>
</array>
</dict>
</array>
<key>kind</key>
<string>control</string>
</dict>
<dict>
<key>edges</key>
<array>
<dict>
<key>end</key>
<array>
<dict>
<key>col</key>
<integer>5</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>298</integer>
</dict>
<dict>
<key>col</key>
<integer>7</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>298</integer>
</dict>
</array>
<key>start</key>
<array>
<dict>
<key>col</key>
<integer>5</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>294</integer>
</dict>
<dict>
<key>col</key>
<integer>7</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>294</integer>
</dict>
</array>
</dict>
</array>
<key>kind</key>
<string>control</string>
</dict>
<dict>
<key>depth</key>
<integer>2</integer>
<key>extended_message</key>
<string>Null pointer value stored to field 'd'</string>
<key>kind</key>
<string>event</string>
<key>location</key>
<dict>
<key>col</key>
<integer>5</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>298</integer>
</dict>
<key>message</key>
<string>Null pointer value stored to field 'd'</string>
<key>ranges</key>
<array>
<array>
<dict>
<key>col</key>
<integer>5</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>298</integer>
</dict>
<dict>
<key>col</key>
<integer>17</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>298</integer>
</dict>
</array>
</array>
</dict>
<dict>
<key>edges</key>
<array>
<dict>
<key>end</key>
<array>
<dict>
<key>col</key>
<integer>5</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>300</integer>
</dict>
<dict>
<key>col</key>
<integer>10</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>300</integer>
</dict>
</array>
<key>start</key>
<array>
<dict>
<key>col</key>
<integer>5</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>298</integer>
</dict>
<dict>
<key>col</key>
<integer>7</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>298</integer>
</dict>
</array>
</dict>
</array>
<key>kind</key>
<string>control</string>
</dict>
<dict>
<key>depth</key>
<integer>1</integer>
<key>extended_message</key>
<string>Returning from 'BN_new'</string>
<key>kind</key>
<string>event</string>
<key>location</key>
<dict>
<key>col</key>
<integer>9</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>493</integer>
</dict>
<key>message</key>
<string>Returning from 'BN_new'</string>
<key>ranges</key>
<array>
<array>
<dict>
<key>col</key>
<integer>9</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>493</integer>
</dict>
<dict>
<key>col</key>
<integer>16</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>493</integer>
</dict>
</array>
</array>
</dict>
<dict>
<key>edges</key>
<array>
<dict>
<key>end</key>
<array>
<dict>
<key>col</key>
<integer>5</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>493</integer>
</dict>
<dict>
<key>col</key>
<integer>5</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>493</integer>
</dict>
</array>
<key>start</key>
<array>
<dict>
<key>col</key>
<integer>9</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>493</integer>
</dict>
<dict>
<key>col</key>
<integer>14</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>493</integer>
</dict>
</array>
</dict>
</array>
<key>kind</key>
<string>control</string>
</dict>
<dict>
<key>edges</key>
<array>
<dict>
<key>end</key>
<array>
<dict>
<key>col</key>
<integer>5</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>494</integer>
</dict>
<dict>
<key>col</key>
<integer>6</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>494</integer>
</dict>
</array>
<key>start</key>
<array>
<dict>
<key>col</key>
<integer>5</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>493</integer>
</dict>
<dict>
<key>col</key>
<integer>5</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>493</integer>
</dict>
</array>
</dict>
</array>
<key>kind</key>
<string>control</string>
</dict>
<dict>
<key>edges</key>
<array>
<dict>
<key>end</key>
<array>
<dict>
<key>col</key>
<integer>5</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>496</integer>
</dict>
<dict>
<key>col</key>
<integer>6</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>496</integer>
</dict>
</array>
<key>start</key>
<array>
<dict>
<key>col</key>
<integer>5</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>494</integer>
</dict>
<dict>
<key>col</key>
<integer>6</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>494</integer>
</dict>
</array>
</dict>
</array>
<key>kind</key>
<string>control</string>
</dict>
<dict>
<key>edges</key>
<array>
<dict>
<key>end</key>
<array>
<dict>
<key>col</key>
<integer>10</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>496</integer>
</dict>
<dict>
<key>col</key>
<integer>16</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>496</integer>
</dict>
</array>
<key>start</key>
<array>
<dict>
<key>col</key>
<integer>5</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>496</integer>
</dict>
<dict>
<key>col</key>
<integer>6</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>496</integer>
</dict>
</array>
</dict>
</array>
<key>kind</key>
<string>control</string>
</dict>
<dict>
<key>depth</key>
<integer>1</integer>
<key>extended_message</key>
<string>Calling 'BN_copy'</string>
<key>kind</key>
<string>event</string>
<key>location</key>
<dict>
<key>col</key>
<integer>10</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>496</integer>
</dict>
<key>message</key>
<string>Calling 'BN_copy'</string>
<key>ranges</key>
<array>
<array>
<dict>
<key>col</key>
<integer>10</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>496</integer>
</dict>
<dict>
<key>col</key>
<integer>22</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>496</integer>
</dict>
</array>
</array>
</dict>
<dict>
<key>depth</key>
<integer>2</integer>
<key>extended_message</key>
<string>Entered call from 'BN_dup'</string>
<key>kind</key>
<string>event</string>
<key>location</key>
<dict>
<key>col</key>
<integer>1</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>504</integer>
</dict>
<key>message</key>
<string>Entered call from 'BN_dup'</string>
</dict>
<dict>
<key>edges</key>
<array>
<dict>
<key>end</key>
<array>
<dict>
<key>col</key>
<integer>5</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>506</integer>
</dict>
<dict>
<key>col</key>
<integer>7</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>506</integer>
</dict>
</array>
<key>start</key>
<array>
<dict>
<key>col</key>
<integer>1</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>504</integer>
</dict>
<dict>
<key>col</key>
<integer>6</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>504</integer>
</dict>
</array>
</dict>
</array>
<key>kind</key>
<string>control</string>
</dict>
<dict>
<key>edges</key>
<array>
<dict>
<key>end</key>
<array>
<dict>
<key>col</key>
<integer>5</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>512</integer>
</dict>
<dict>
<key>col</key>
<integer>6</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>512</integer>
</dict>
</array>
<key>start</key>
<array>
<dict>
<key>col</key>
<integer>5</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>506</integer>
</dict>
<dict>
<key>col</key>
<integer>7</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>506</integer>
</dict>
</array>
</dict>
</array>
<key>kind</key>
<string>control</string>
</dict>
<dict>
<key>edges</key>
<array>
<dict>
<key>end</key>
<array>
<dict>
<key>col</key>
<integer>9</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>512</integer>
</dict>
<dict>
<key>col</key>
<integer>9</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>512</integer>
</dict>
</array>
<key>start</key>
<array>
<dict>
<key>col</key>
<integer>5</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>512</integer>
</dict>
<dict>
<key>col</key>
<integer>6</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>512</integer>
</dict>
</array>
</dict>
</array>
<key>kind</key>
<string>control</string>
</dict>
<dict>
<key>depth</key>
<integer>2</integer>
<key>extended_message</key>
<string>Assuming 'a' is not equal to 'b'</string>
<key>kind</key>
<string>event</string>
<key>location</key>
<dict>
<key>col</key>
<integer>9</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>512</integer>
</dict>
<key>message</key>
<string>Assuming 'a' is not equal to 'b'</string>
<key>ranges</key>
<array>
<array>
<dict>
<key>col</key>
<integer>9</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>512</integer>
</dict>
<dict>
<key>col</key>
<integer>14</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>512</integer>
</dict>
</array>
</array>
</dict>
<dict>
<key>edges</key>
<array>
<dict>
<key>end</key>
<array>
<dict>
<key>col</key>
<integer>5</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>514</integer>
</dict>
<dict>
<key>col</key>
<integer>6</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>514</integer>
</dict>
</array>
<key>start</key>
<array>
<dict>
<key>col</key>
<integer>9</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>512</integer>
</dict>
<dict>
<key>col</key>
<integer>9</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>512</integer>
</dict>
</array>
</dict>
</array>
<key>kind</key>
<string>control</string>
</dict>
<dict>
<key>edges</key>
<array>
<dict>
<key>end</key>
<array>
<dict>
<key>col</key>
<integer>5</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>518</integer>
</dict>
<dict>
<key>col</key>
<integer>5</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>518</integer>
</dict>
</array>
<key>start</key>
<array>
<dict>
<key>col</key>
<integer>5</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>514</integer>
</dict>
<dict>
<key>col</key>
<integer>6</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>514</integer>
</dict>
</array>
</dict>
</array>
<key>kind</key>
<string>control</string>
</dict>
<dict>
<key>depth</key>
<integer>2</integer>
<key>extended_message</key>
<string>Null pointer value stored to 'A'</string>
<key>kind</key>
<string>event</string>
<key>location</key>
<dict>
<key>col</key>
<integer>5</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>518</integer>
</dict>
<key>message</key>
<string>Null pointer value stored to 'A'</string>
<key>ranges</key>
<array>
<array>
<dict>
<key>col</key>
<integer>5</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>518</integer>
</dict>
<dict>
<key>col</key>
<integer>12</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>518</integer>
</dict>
</array>
</array>
</dict>
<dict>
<key>edges</key>
<array>
<dict>
<key>end</key>
<array>
<dict>
<key>col</key>
<integer>5</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>520</integer>
</dict>
<dict>
<key>col</key>
<integer>7</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>520</integer>
</dict>
</array>
<key>start</key>
<array>
<dict>
<key>col</key>
<integer>5</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>518</integer>
</dict>
<dict>
<key>col</key>
<integer>5</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>518</integer>
</dict>
</array>
</dict>
</array>
<key>kind</key>
<string>control</string>
</dict>
<dict>
<key>edges</key>
<array>
<dict>
<key>end</key>
<array>
<dict>
<key>col</key>
<integer>27</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>520</integer>
</dict>
<dict>
<key>col</key>
<integer>27</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>520</integer>
</dict>
</array>
<key>start</key>
<array>
<dict>
<key>col</key>
<integer>5</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>520</integer>
</dict>
<dict>
<key>col</key>
<integer>7</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>520</integer>
</dict>
</array>
</dict>
</array>
<key>kind</key>
<string>control</string>
</dict>
<dict>
<key>depth</key>
<integer>2</integer>
<key>extended_message</key>
<string>Assuming 'i' is &lt;= 0</string>
<key>kind</key>
<string>event</string>
<key>location</key>
<dict>
<key>col</key>
<integer>27</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>520</integer>
</dict>
<key>message</key>
<string>Assuming 'i' is &lt;= 0</string>
<key>ranges</key>
<array>
<array>
<dict>
<key>col</key>
<integer>27</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>520</integer>
</dict>
<dict>
<key>col</key>
<integer>31</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>520</integer>
</dict>
</array>
</array>
</dict>
<dict>
<key>depth</key>
<integer>2</integer>
<key>extended_message</key>
<string>Loop body executed 0 times</string>
<key>kind</key>
<string>event</string>
<key>location</key>
<dict>
<key>col</key>
<integer>27</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>520</integer>
</dict>
<key>message</key>
<string>Loop body executed 0 times</string>
<key>ranges</key>
<array>
<array>
<dict>
<key>col</key>
<integer>27</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>520</integer>
</dict>
<dict>
<key>col</key>
<integer>31</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>520</integer>
</dict>
</array>
</array>
</dict>
<dict>
<key>edges</key>
<array>
<dict>
<key>end</key>
<array>
<dict>
<key>col</key>
<integer>5</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>532</integer>
</dict>
<dict>
<key>col</key>
<integer>10</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>532</integer>
</dict>
</array>
<key>start</key>
<array>
<dict>
<key>col</key>
<integer>27</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>520</integer>
</dict>
<dict>
<key>col</key>
<integer>27</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>520</integer>
</dict>
</array>
</dict>
</array>
<key>kind</key>
<string>control</string>
</dict>
<dict>
<key>edges</key>
<array>
<dict>
<key>end</key>
<array>
<dict>
<key>col</key>
<integer>13</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>532</integer>
</dict>
<dict>
<key>col</key>
<integer>13</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>532</integer>
</dict>
</array>
<key>start</key>
<array>
<dict>
<key>col</key>
<integer>5</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>532</integer>
</dict>
<dict>
<key>col</key>
<integer>10</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>532</integer>
</dict>
</array>
</dict>
</array>
<key>kind</key>
<string>control</string>
</dict>
<dict>
<key>edges</key>
<array>
<dict>
<key>end</key>
<array>
<dict>
<key>col</key>
<integer>9</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>538</integer>
</dict>
<dict>
<key>col</key>
<integer>9</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>538</integer>
</dict>
</array>
<key>start</key>
<array>
<dict>
<key>col</key>
<integer>13</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>532</integer>
</dict>
<dict>
<key>col</key>
<integer>13</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>532</integer>
</dict>
</array>
</dict>
</array>
<key>kind</key>
<string>control</string>
</dict>
<dict>
<key>edges</key>
<array>
<dict>
<key>end</key>
<array>
<dict>
<key>col</key>
<integer>14</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>538</integer>
</dict>
<dict>
<key>col</key>
<integer>14</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>538</integer>
</dict>
</array>
<key>start</key>
<array>
<dict>
<key>col</key>
<integer>9</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>538</integer>
</dict>
<dict>
<key>col</key>
<integer>9</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>538</integer>
</dict>
</array>
</dict>
</array>
<key>kind</key>
<string>control</string>
</dict>
<dict>
<key>depth</key>
<integer>2</integer>
<key>extended_message</key>
<string>Array access (from variable 'A') results in a null pointer dereference</string>
<key>kind</key>
<string>event</string>
<key>location</key>
<dict>
<key>col</key>
<integer>14</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>538</integer>
</dict>
<key>message</key>
<string>Array access (from variable 'A') results in a null pointer dereference</string>
<key>ranges</key>
<array>
<array>
<dict>
<key>col</key>
<integer>9</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>538</integer>
</dict>
<dict>
<key>col</key>
<integer>9</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>538</integer>
</dict>
</array>
</array>
</dict>
</array>
<key>type</key>
<string>Dereference of null pointer</string>
</dict>
<dict>
<key>HTMLDiagnostics_files</key>
<array>
<string>report-8a9299.html</string>
</array>
<key>category</key>
<string>Logic error</string>
<key>check_name</key>
<string>core.NullDereference</string>
<key>description</key>
<string>Array access (via field 'd') results in a null pointer dereference</string>
<key>issue_context</key>
<string>BN_bin2bn</string>
<key>issue_context_kind</key>
<string>function</string>
<key>issue_hash_content_of_line_in_context</key>
<string>7246e5dc3470d1a9aff6dc42dcec52b5</string>
<key>issue_hash_function_offset</key>
<string>29</string>
<key>location</key>
<dict>
<key>col</key>
<integer>25</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>647</integer>
</dict>
<key>path</key>
<array>
<dict>
<key>edges</key>
<array>
<dict>
<key>end</key>
<array>
<dict>
<key>col</key>
<integer>5</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>624</integer>
</dict>
<dict>
<key>col</key>
<integer>6</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>624</integer>
</dict>
</array>
<key>start</key>
<array>
<dict>
<key>col</key>
<integer>18</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>619</integer>
</dict>
<dict>
<key>col</key>
<integer>18</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>619</integer>
</dict>
</array>
</dict>
</array>
<key>kind</key>
<string>control</string>
</dict>
<dict>
<key>edges</key>
<array>
<dict>
<key>end</key>
<array>
<dict>
<key>col</key>
<integer>9</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>624</integer>
</dict>
<dict>
<key>col</key>
<integer>11</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>624</integer>
</dict>
</array>
<key>start</key>
<array>
<dict>
<key>col</key>
<integer>5</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>624</integer>
</dict>
<dict>
<key>col</key>
<integer>6</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>624</integer>
</dict>
</array>
</dict>
</array>
<key>kind</key>
<string>control</string>
</dict>
<dict>
<key>depth</key>
<integer>0</integer>
<key>extended_message</key>
<string>Assuming 'ret' is equal to null</string>
<key>kind</key>
<string>event</string>
<key>location</key>
<dict>
<key>col</key>
<integer>9</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>624</integer>
</dict>
<key>message</key>
<string>Assuming 'ret' is equal to null</string>
<key>ranges</key>
<array>
<array>
<dict>
<key>col</key>
<integer>9</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>624</integer>
</dict>
<dict>
<key>col</key>
<integer>19</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>624</integer>
</dict>
</array>
</array>
</dict>
<dict>
<key>edges</key>
<array>
<dict>
<key>end</key>
<array>
<dict>
<key>col</key>
<integer>9</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>625</integer>
</dict>
<dict>
<key>col</key>
<integer>11</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>625</integer>
</dict>
</array>
<key>start</key>
<array>
<dict>
<key>col</key>
<integer>9</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>624</integer>
</dict>
<dict>
<key>col</key>
<integer>11</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>624</integer>
</dict>
</array>
</dict>
</array>
<key>kind</key>
<string>control</string>
</dict>
<dict>
<key>edges</key>
<array>
<dict>
<key>end</key>
<array>
<dict>
<key>col</key>
<integer>20</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>625</integer>
</dict>
<dict>
<key>col</key>
<integer>25</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>625</integer>
</dict>
</array>
<key>start</key>
<array>
<dict>
<key>col</key>
<integer>9</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>625</integer>
</dict>
<dict>
<key>col</key>
<integer>11</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>625</integer>
</dict>
</array>
</dict>
</array>
<key>kind</key>
<string>control</string>
</dict>
<dict>
<key>depth</key>
<integer>0</integer>
<key>extended_message</key>
<string>Calling 'BN_new'</string>
<key>kind</key>
<string>event</string>
<key>location</key>
<dict>
<key>col</key>
<integer>20</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>625</integer>
</dict>
<key>message</key>
<string>Calling 'BN_new'</string>
<key>ranges</key>
<array>
<array>
<dict>
<key>col</key>
<integer>20</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>625</integer>
</dict>
<dict>
<key>col</key>
<integer>27</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>625</integer>
</dict>
</array>
</array>
</dict>
<dict>
<key>depth</key>
<integer>1</integer>
<key>extended_message</key>
<string>Entered call from 'BN_bin2bn'</string>
<key>kind</key>
<string>event</string>
<key>location</key>
<dict>
<key>col</key>
<integer>1</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>286</integer>
</dict>
<key>message</key>
<string>Entered call from 'BN_bin2bn'</string>
</dict>
<dict>
<key>edges</key>
<array>
<dict>
<key>end</key>
<array>
<dict>
<key>col</key>
<integer>5</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>288</integer>
</dict>
<dict>
<key>col</key>
<integer>10</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>288</integer>
</dict>
</array>
<key>start</key>
<array>
<dict>
<key>col</key>
<integer>1</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>286</integer>
</dict>
<dict>
<key>col</key>
<integer>6</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>286</integer>
</dict>
</array>
</dict>
</array>
<key>kind</key>
<string>control</string>
</dict>
<dict>
<key>edges</key>
<array>
<dict>
<key>end</key>
<array>
<dict>
<key>col</key>
<integer>5</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>290</integer>
</dict>
<dict>
<key>col</key>
<integer>6</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>290</integer>
</dict>
</array>
<key>start</key>
<array>
<dict>
<key>col</key>
<integer>5</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>288</integer>
</dict>
<dict>
<key>col</key>
<integer>10</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>288</integer>
</dict>
</array>
</dict>
</array>
<key>kind</key>
<string>control</string>
</dict>
<dict>
<key>edges</key>
<array>
<dict>
<key>end</key>
<array>
<dict>
<key>col</key>
<integer>5</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>294</integer>
</dict>
<dict>
<key>col</key>
<integer>7</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>294</integer>
</dict>
</array>
<key>start</key>
<array>
<dict>
<key>col</key>
<integer>5</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>290</integer>
</dict>
<dict>
<key>col</key>
<integer>6</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>290</integer>
</dict>
</array>
</dict>
</array>
<key>kind</key>
<string>control</string>
</dict>
<dict>
<key>edges</key>
<array>
<dict>
<key>end</key>
<array>
<dict>
<key>col</key>
<integer>5</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>298</integer>
</dict>
<dict>
<key>col</key>
<integer>7</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>298</integer>
</dict>
</array>
<key>start</key>
<array>
<dict>
<key>col</key>
<integer>5</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>294</integer>
</dict>
<dict>
<key>col</key>
<integer>7</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>294</integer>
</dict>
</array>
</dict>
</array>
<key>kind</key>
<string>control</string>
</dict>
<dict>
<key>depth</key>
<integer>1</integer>
<key>extended_message</key>
<string>Null pointer value stored to field 'd'</string>
<key>kind</key>
<string>event</string>
<key>location</key>
<dict>
<key>col</key>
<integer>5</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>298</integer>
</dict>
<key>message</key>
<string>Null pointer value stored to field 'd'</string>
<key>ranges</key>
<array>
<array>
<dict>
<key>col</key>
<integer>5</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>298</integer>
</dict>
<dict>
<key>col</key>
<integer>17</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>298</integer>
</dict>
</array>
</array>
</dict>
<dict>
<key>edges</key>
<array>
<dict>
<key>end</key>
<array>
<dict>
<key>col</key>
<integer>5</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>300</integer>
</dict>
<dict>
<key>col</key>
<integer>10</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>300</integer>
</dict>
</array>
<key>start</key>
<array>
<dict>
<key>col</key>
<integer>5</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>298</integer>
</dict>
<dict>
<key>col</key>
<integer>7</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>298</integer>
</dict>
</array>
</dict>
</array>
<key>kind</key>
<string>control</string>
</dict>
<dict>
<key>depth</key>
<integer>0</integer>
<key>extended_message</key>
<string>Returning from 'BN_new'</string>
<key>kind</key>
<string>event</string>
<key>location</key>
<dict>
<key>col</key>
<integer>20</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>625</integer>
</dict>
<key>message</key>
<string>Returning from 'BN_new'</string>
<key>ranges</key>
<array>
<array>
<dict>
<key>col</key>
<integer>20</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>625</integer>
</dict>
<dict>
<key>col</key>
<integer>27</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>625</integer>
</dict>
</array>
</array>
</dict>
<dict>
<key>edges</key>
<array>
<dict>
<key>end</key>
<array>
<dict>
<key>col</key>
<integer>9</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>625</integer>
</dict>
<dict>
<key>col</key>
<integer>11</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>625</integer>
</dict>
</array>
<key>start</key>
<array>
<dict>
<key>col</key>
<integer>20</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>625</integer>
</dict>
<dict>
<key>col</key>
<integer>25</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>625</integer>
</dict>
</array>
</dict>
</array>
<key>kind</key>
<string>control</string>
</dict>
<dict>
<key>edges</key>
<array>
<dict>
<key>end</key>
<array>
<dict>
<key>col</key>
<integer>5</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>626</integer>
</dict>
<dict>
<key>col</key>
<integer>6</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>626</integer>
</dict>
</array>
<key>start</key>
<array>
<dict>
<key>col</key>
<integer>9</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>625</integer>
</dict>
<dict>
<key>col</key>
<integer>11</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>625</integer>
</dict>
</array>
</dict>
</array>
<key>kind</key>
<string>control</string>
</dict>
<dict>
<key>edges</key>
<array>
<dict>
<key>end</key>
<array>
<dict>
<key>col</key>
<integer>5</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>629</integer>
</dict>
<dict>
<key>col</key>
<integer>5</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>629</integer>
</dict>
</array>
<key>start</key>
<array>
<dict>
<key>col</key>
<integer>5</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>626</integer>
</dict>
<dict>
<key>col</key>
<integer>6</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>626</integer>
</dict>
</array>
</dict>
</array>
<key>kind</key>
<string>control</string>
</dict>
<dict>
<key>edges</key>
<array>
<dict>
<key>end</key>
<array>
<dict>
<key>col</key>
<integer>5</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>631</integer>
</dict>
<dict>
<key>col</key>
<integer>6</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>631</integer>
</dict>
</array>
<key>start</key>
<array>
<dict>
<key>col</key>
<integer>5</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>629</integer>
</dict>
<dict>
<key>col</key>
<integer>5</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>629</integer>
</dict>
</array>
</dict>
</array>
<key>kind</key>
<string>control</string>
</dict>
<dict>
<key>edges</key>
<array>
<dict>
<key>end</key>
<array>
<dict>
<key>col</key>
<integer>9</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>631</integer>
</dict>
<dict>
<key>col</key>
<integer>9</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>631</integer>
</dict>
</array>
<key>start</key>
<array>
<dict>
<key>col</key>
<integer>5</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>631</integer>
</dict>
<dict>
<key>col</key>
<integer>6</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>631</integer>
</dict>
</array>
</dict>
</array>
<key>kind</key>
<string>control</string>
</dict>
<dict>
<key>depth</key>
<integer>0</integer>
<key>extended_message</key>
<string>Assuming 'n' is not equal to 0</string>
<key>kind</key>
<string>event</string>
<key>location</key>
<dict>
<key>col</key>
<integer>9</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>631</integer>
</dict>
<key>message</key>
<string>Assuming 'n' is not equal to 0</string>
<key>ranges</key>
<array>
<array>
<dict>
<key>col</key>
<integer>9</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>631</integer>
</dict>
<dict>
<key>col</key>
<integer>14</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>631</integer>
</dict>
</array>
</array>
</dict>
<dict>
<key>edges</key>
<array>
<dict>
<key>end</key>
<array>
<dict>
<key>col</key>
<integer>5</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>635</integer>
</dict>
<dict>
<key>col</key>
<integer>5</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>635</integer>
</dict>
</array>
<key>start</key>
<array>
<dict>
<key>col</key>
<integer>9</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>631</integer>
</dict>
<dict>
<key>col</key>
<integer>9</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>631</integer>
</dict>
</array>
</dict>
</array>
<key>kind</key>
<string>control</string>
</dict>
<dict>
<key>edges</key>
<array>
<dict>
<key>end</key>
<array>
<dict>
<key>col</key>
<integer>5</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>637</integer>
</dict>
<dict>
<key>col</key>
<integer>6</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>637</integer>
</dict>
</array>
<key>start</key>
<array>
<dict>
<key>col</key>
<integer>5</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>635</integer>
</dict>
<dict>
<key>col</key>
<integer>5</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>635</integer>
</dict>
</array>
</dict>
</array>
<key>kind</key>
<string>control</string>
</dict>
<dict>
<key>edges</key>
<array>
<dict>
<key>end</key>
<array>
<dict>
<key>col</key>
<integer>9</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>637</integer>
</dict>
<dict>
<key>col</key>
<integer>18</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>637</integer>
</dict>
</array>
<key>start</key>
<array>
<dict>
<key>col</key>
<integer>5</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>637</integer>
</dict>
<dict>
<key>col</key>
<integer>6</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>637</integer>
</dict>
</array>
</dict>
</array>
<key>kind</key>
<string>control</string>
</dict>
<dict>
<key>edges</key>
<array>
<dict>
<key>end</key>
<array>
<dict>
<key>col</key>
<integer>9</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>637</integer>
</dict>
<dict>
<key>col</key>
<integer>18</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>637</integer>
</dict>
</array>
<key>start</key>
<array>
<dict>
<key>col</key>
<integer>9</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>637</integer>
</dict>
<dict>
<key>col</key>
<integer>18</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>637</integer>
</dict>
</array>
</dict>
</array>
<key>kind</key>
<string>control</string>
</dict>
<dict>
<key>edges</key>
<array>
<dict>
<key>end</key>
<array>
<dict>
<key>col</key>
<integer>9</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>637</integer>
</dict>
<dict>
<key>col</key>
<integer>18</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>637</integer>
</dict>
</array>
<key>start</key>
<array>
<dict>
<key>col</key>
<integer>9</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>637</integer>
</dict>
<dict>
<key>col</key>
<integer>18</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>637</integer>
</dict>
</array>
</dict>
</array>
<key>kind</key>
<string>control</string>
</dict>
<dict>
<key>edges</key>
<array>
<dict>
<key>end</key>
<array>
<dict>
<key>col</key>
<integer>5</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>642</integer>
</dict>
<dict>
<key>col</key>
<integer>7</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>642</integer>
</dict>
</array>
<key>start</key>
<array>
<dict>
<key>col</key>
<integer>9</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>637</integer>
</dict>
<dict>
<key>col</key>
<integer>18</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>637</integer>
</dict>
</array>
</dict>
</array>
<key>kind</key>
<string>control</string>
</dict>
<dict>
<key>edges</key>
<array>
<dict>
<key>end</key>
<array>
<dict>
<key>col</key>
<integer>5</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>644</integer>
</dict>
<dict>
<key>col</key>
<integer>9</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>644</integer>
</dict>
</array>
<key>start</key>
<array>
<dict>
<key>col</key>
<integer>5</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>642</integer>
</dict>
<dict>
<key>col</key>
<integer>7</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>642</integer>
</dict>
</array>
</dict>
</array>
<key>kind</key>
<string>control</string>
</dict>
<dict>
<key>depth</key>
<integer>0</integer>
<key>extended_message</key>
<string>Entering loop body</string>
<key>kind</key>
<string>event</string>
<key>location</key>
<dict>
<key>col</key>
<integer>12</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>644</integer>
</dict>
<key>message</key>
<string>Entering loop body</string>
<key>ranges</key>
<array>
<array>
<dict>
<key>col</key>
<integer>12</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>644</integer>
</dict>
<dict>
<key>col</key>
<integer>14</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>644</integer>
</dict>
</array>
</array>
</dict>
<dict>
<key>edges</key>
<array>
<dict>
<key>end</key>
<array>
<dict>
<key>col</key>
<integer>9</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>645</integer>
</dict>
<dict>
<key>col</key>
<integer>9</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>645</integer>
</dict>
</array>
<key>start</key>
<array>
<dict>
<key>col</key>
<integer>5</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>644</integer>
</dict>
<dict>
<key>col</key>
<integer>9</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>644</integer>
</dict>
</array>
</dict>
</array>
<key>kind</key>
<string>control</string>
</dict>
<dict>
<key>edges</key>
<array>
<dict>
<key>end</key>
<array>
<dict>
<key>col</key>
<integer>9</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>646</integer>
</dict>
<dict>
<key>col</key>
<integer>10</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>646</integer>
</dict>
</array>
<key>start</key>
<array>
<dict>
<key>col</key>
<integer>9</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>645</integer>
</dict>
<dict>
<key>col</key>
<integer>9</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>645</integer>
</dict>
</array>
</dict>
</array>
<key>kind</key>
<string>control</string>
</dict>
<dict>
<key>edges</key>
<array>
<dict>
<key>end</key>
<array>
<dict>
<key>col</key>
<integer>13</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>647</integer>
</dict>
<dict>
<key>col</key>
<integer>15</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>647</integer>
</dict>
</array>
<key>start</key>
<array>
<dict>
<key>col</key>
<integer>9</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>646</integer>
</dict>
<dict>
<key>col</key>
<integer>10</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>646</integer>
</dict>
</array>
</dict>
</array>
<key>kind</key>
<string>control</string>
</dict>
<dict>
<key>edges</key>
<array>
<dict>
<key>end</key>
<array>
<dict>
<key>col</key>
<integer>25</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>647</integer>
</dict>
<dict>
<key>col</key>
<integer>25</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>647</integer>
</dict>
</array>
<key>start</key>
<array>
<dict>
<key>col</key>
<integer>13</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>647</integer>
</dict>
<dict>
<key>col</key>
<integer>15</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>647</integer>
</dict>
</array>
</dict>
</array>
<key>kind</key>
<string>control</string>
</dict>
<dict>
<key>depth</key>
<integer>0</integer>
<key>extended_message</key>
<string>Array access (via field 'd') results in a null pointer dereference</string>
<key>kind</key>
<string>event</string>
<key>location</key>
<dict>
<key>col</key>
<integer>25</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>647</integer>
</dict>
<key>message</key>
<string>Array access (via field 'd') results in a null pointer dereference</string>
<key>ranges</key>
<array>
<array>
<dict>
<key>col</key>
<integer>18</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>647</integer>
</dict>
<dict>
<key>col</key>
<integer>18</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>647</integer>
</dict>
</array>
</array>
</dict>
</array>
<key>type</key>
<string>Dereference of null pointer</string>
</dict>
</array>
<key>files</key>
<array>
<string>bn_lib.c</string>
</array>
</dict>
</plist>