blob: df4c6cf7eb1b150647fcda20be23bbb1cd44cde8 [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-e74284.html</string>
</array>
<key>category</key>
<string>Logic error</string>
<key>check_name</key>
<string>cplusplus.NewDelete</string>
<key>description</key>
<string>Null pointer argument in call to memory copy function</string>
<key>issue_context</key>
<string>AES_ige_encrypt</string>
<key>issue_context_kind</key>
<string>function</string>
<key>issue_hash_content_of_line_in_context</key>
<string>804951ca953be72e033cd82f9af14b7a</string>
<key>issue_hash_function_offset</key>
<string>34</string>
<key>location</key>
<dict>
<key>col</key>
<integer>13</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>116</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>84</integer>
</dict>
<dict>
<key>col</key>
<integer>10</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>84</integer>
</dict>
</array>
<key>start</key>
<array>
<dict>
<key>col</key>
<integer>5</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>83</integer>
</dict>
<dict>
<key>col</key>
<integer>10</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>83</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>86</integer>
</dict>
<dict>
<key>col</key>
<integer>18</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>86</integer>
</dict>
</array>
<key>start</key>
<array>
<dict>
<key>col</key>
<integer>5</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>84</integer>
</dict>
<dict>
<key>col</key>
<integer>10</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>84</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>86</integer>
</dict>
<dict>
<key>col</key>
<integer>18</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>86</integer>
</dict>
</array>
<key>start</key>
<array>
<dict>
<key>col</key>
<integer>5</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>86</integer>
</dict>
<dict>
<key>col</key>
<integer>18</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>86</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>86</integer>
</dict>
<dict>
<key>col</key>
<integer>18</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>86</integer>
</dict>
</array>
<key>start</key>
<array>
<dict>
<key>col</key>
<integer>5</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>86</integer>
</dict>
<dict>
<key>col</key>
<integer>18</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>86</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>86</integer>
</dict>
<dict>
<key>col</key>
<integer>18</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>86</integer>
</dict>
</array>
<key>start</key>
<array>
<dict>
<key>col</key>
<integer>5</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>86</integer>
</dict>
<dict>
<key>col</key>
<integer>18</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>86</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>86</integer>
</dict>
<dict>
<key>col</key>
<integer>18</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>86</integer>
</dict>
</array>
<key>start</key>
<array>
<dict>
<key>col</key>
<integer>5</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>86</integer>
</dict>
<dict>
<key>col</key>
<integer>18</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>86</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>86</integer>
</dict>
<dict>
<key>col</key>
<integer>18</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>86</integer>
</dict>
</array>
<key>start</key>
<array>
<dict>
<key>col</key>
<integer>5</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>86</integer>
</dict>
<dict>
<key>col</key>
<integer>18</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>86</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>86</integer>
</dict>
<dict>
<key>col</key>
<integer>18</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>86</integer>
</dict>
</array>
<key>start</key>
<array>
<dict>
<key>col</key>
<integer>5</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>86</integer>
</dict>
<dict>
<key>col</key>
<integer>18</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>86</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>86</integer>
</dict>
<dict>
<key>col</key>
<integer>18</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>86</integer>
</dict>
</array>
<key>start</key>
<array>
<dict>
<key>col</key>
<integer>5</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>86</integer>
</dict>
<dict>
<key>col</key>
<integer>18</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>86</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>86</integer>
</dict>
<dict>
<key>col</key>
<integer>18</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>86</integer>
</dict>
</array>
<key>start</key>
<array>
<dict>
<key>col</key>
<integer>5</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>86</integer>
</dict>
<dict>
<key>col</key>
<integer>18</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>86</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 pointer value is null</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>86</integer>
</dict>
<key>message</key>
<string>Assuming pointer value is null</string>
<key>ranges</key>
<array>
<array>
<dict>
<key>col</key>
<integer>5</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>86</integer>
</dict>
<dict>
<key>col</key>
<integer>44</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>86</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>86</integer>
</dict>
<dict>
<key>col</key>
<integer>18</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>86</integer>
</dict>
</array>
<key>start</key>
<array>
<dict>
<key>col</key>
<integer>5</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>86</integer>
</dict>
<dict>
<key>col</key>
<integer>18</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>86</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>87</integer>
</dict>
<dict>
<key>col</key>
<integer>18</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>87</integer>
</dict>
</array>
<key>start</key>
<array>
<dict>
<key>col</key>
<integer>5</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>86</integer>
</dict>
<dict>
<key>col</key>
<integer>18</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>86</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>87</integer>
</dict>
<dict>
<key>col</key>
<integer>18</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>87</integer>
</dict>
</array>
<key>start</key>
<array>
<dict>
<key>col</key>
<integer>5</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>87</integer>
</dict>
<dict>
<key>col</key>
<integer>18</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>87</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>87</integer>
</dict>
<dict>
<key>col</key>
<integer>18</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>87</integer>
</dict>
</array>
<key>start</key>
<array>
<dict>
<key>col</key>
<integer>5</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>87</integer>
</dict>
<dict>
<key>col</key>
<integer>18</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>87</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 'enc' is equal to 1</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>87</integer>
</dict>
<key>message</key>
<string>Assuming 'enc' is equal to 1</string>
<key>ranges</key>
<array>
<array>
<dict>
<key>col</key>
<integer>5</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>87</integer>
</dict>
<dict>
<key>col</key>
<integer>64</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>87</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>87</integer>
</dict>
<dict>
<key>col</key>
<integer>18</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>87</integer>
</dict>
</array>
<key>start</key>
<array>
<dict>
<key>col</key>
<integer>5</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>87</integer>
</dict>
<dict>
<key>col</key>
<integer>18</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>87</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>90</integer>
</dict>
<dict>
<key>col</key>
<integer>7</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>90</integer>
</dict>
</array>
<key>start</key>
<array>
<dict>
<key>col</key>
<integer>5</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>87</integer>
</dict>
<dict>
<key>col</key>
<integer>18</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>87</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>93</integer>
</dict>
<dict>
<key>col</key>
<integer>10</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>93</integer>
</dict>
</array>
<key>start</key>
<array>
<dict>
<key>col</key>
<integer>5</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>90</integer>
</dict>
<dict>
<key>col</key>
<integer>7</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>90</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>93</integer>
</dict>
<dict>
<key>col</key>
<integer>14</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>93</integer>
</dict>
</array>
<key>start</key>
<array>
<dict>
<key>col</key>
<integer>9</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>93</integer>
</dict>
<dict>
<key>col</key>
<integer>10</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>93</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 'in' is not equal to 'out'</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>93</integer>
</dict>
<key>message</key>
<string>Assuming 'in' is not equal to 'out'</string>
<key>ranges</key>
<array>
<array>
<dict>
<key>col</key>
<integer>13</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>93</integer>
</dict>
<dict>
<key>col</key>
<integer>21</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>93</integer>
</dict>
</array>
</array>
</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>97</integer>
</dict>
<dict>
<key>col</key>
<integer>23</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>97</integer>
</dict>
</array>
<key>start</key>
<array>
<dict>
<key>col</key>
<integer>13</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>93</integer>
</dict>
<dict>
<key>col</key>
<integer>14</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>93</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>100</integer>
</dict>
<dict>
<key>col</key>
<integer>17</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>100</integer>
</dict>
</array>
<key>start</key>
<array>
<dict>
<key>col</key>
<integer>13</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>97</integer>
</dict>
<dict>
<key>col</key>
<integer>23</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>97</integer>
</dict>
</array>
</dict>
</array>
<key>kind</key>
<string>control</string>
</dict>
<dict>
<key>depth</key>
<integer>0</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>20</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>100</integer>
</dict>
<key>message</key>
<string>Loop body executed 0 times</string>
<key>ranges</key>
<array>
<array>
<dict>
<key>col</key>
<integer>20</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>100</integer>
</dict>
<dict>
<key>col</key>
<integer>22</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>100</integer>
</dict>
</array>
</array>
</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>116</integer>
</dict>
<dict>
<key>col</key>
<integer>18</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>116</integer>
</dict>
</array>
<key>start</key>
<array>
<dict>
<key>col</key>
<integer>13</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>100</integer>
</dict>
<dict>
<key>col</key>
<integer>17</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>100</integer>
</dict>
</array>
</dict>
</array>
<key>kind</key>
<string>control</string>
</dict>
<dict>
<key>depth</key>
<integer>0</integer>
<key>extended_message</key>
<string>Null pointer argument in call to memory copy function</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>116</integer>
</dict>
<key>message</key>
<string>Null pointer argument in call to memory copy function</string>
<key>ranges</key>
<array>
<array>
<dict>
<key>col</key>
<integer>13</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>116</integer>
</dict>
<dict>
<key>col</key>
<integer>51</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>116</integer>
</dict>
</array>
</array>
</dict>
</array>
<key>type</key>
<string>Unix API</string>
</dict>
<dict>
<key>HTMLDiagnostics_files</key>
<array>
<string>report-93a357.html</string>
</array>
<key>category</key>
<string>Logic error</string>
<key>check_name</key>
<string>core.NullDereference</string>
<key>description</key>
<string>Dereference of null pointer</string>
<key>issue_context</key>
<string>AES_ige_encrypt</string>
<key>issue_context_kind</key>
<string>function</string>
<key>issue_hash_content_of_line_in_context</key>
<string>be1437013c66132b12610c0b0a89b21a</string>
<key>issue_hash_function_offset</key>
<string>41</string>
<key>location</key>
<dict>
<key>col</key>
<integer>13</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>123</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>84</integer>
</dict>
<dict>
<key>col</key>
<integer>10</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>84</integer>
</dict>
</array>
<key>start</key>
<array>
<dict>
<key>col</key>
<integer>5</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>83</integer>
</dict>
<dict>
<key>col</key>
<integer>10</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>83</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>86</integer>
</dict>
<dict>
<key>col</key>
<integer>18</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>86</integer>
</dict>
</array>
<key>start</key>
<array>
<dict>
<key>col</key>
<integer>5</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>84</integer>
</dict>
<dict>
<key>col</key>
<integer>10</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>84</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>86</integer>
</dict>
<dict>
<key>col</key>
<integer>18</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>86</integer>
</dict>
</array>
<key>start</key>
<array>
<dict>
<key>col</key>
<integer>5</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>86</integer>
</dict>
<dict>
<key>col</key>
<integer>18</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>86</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>86</integer>
</dict>
<dict>
<key>col</key>
<integer>18</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>86</integer>
</dict>
</array>
<key>start</key>
<array>
<dict>
<key>col</key>
<integer>5</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>86</integer>
</dict>
<dict>
<key>col</key>
<integer>18</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>86</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>86</integer>
</dict>
<dict>
<key>col</key>
<integer>18</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>86</integer>
</dict>
</array>
<key>start</key>
<array>
<dict>
<key>col</key>
<integer>5</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>86</integer>
</dict>
<dict>
<key>col</key>
<integer>18</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>86</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>86</integer>
</dict>
<dict>
<key>col</key>
<integer>18</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>86</integer>
</dict>
</array>
<key>start</key>
<array>
<dict>
<key>col</key>
<integer>5</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>86</integer>
</dict>
<dict>
<key>col</key>
<integer>18</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>86</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>86</integer>
</dict>
<dict>
<key>col</key>
<integer>18</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>86</integer>
</dict>
</array>
<key>start</key>
<array>
<dict>
<key>col</key>
<integer>5</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>86</integer>
</dict>
<dict>
<key>col</key>
<integer>18</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>86</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>86</integer>
</dict>
<dict>
<key>col</key>
<integer>18</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>86</integer>
</dict>
</array>
<key>start</key>
<array>
<dict>
<key>col</key>
<integer>5</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>86</integer>
</dict>
<dict>
<key>col</key>
<integer>18</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>86</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>86</integer>
</dict>
<dict>
<key>col</key>
<integer>18</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>86</integer>
</dict>
</array>
<key>start</key>
<array>
<dict>
<key>col</key>
<integer>5</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>86</integer>
</dict>
<dict>
<key>col</key>
<integer>18</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>86</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>86</integer>
</dict>
<dict>
<key>col</key>
<integer>18</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>86</integer>
</dict>
</array>
<key>start</key>
<array>
<dict>
<key>col</key>
<integer>5</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>86</integer>
</dict>
<dict>
<key>col</key>
<integer>18</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>86</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 pointer value is null</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>86</integer>
</dict>
<key>message</key>
<string>Assuming pointer value is null</string>
<key>ranges</key>
<array>
<array>
<dict>
<key>col</key>
<integer>5</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>86</integer>
</dict>
<dict>
<key>col</key>
<integer>44</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>86</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>86</integer>
</dict>
<dict>
<key>col</key>
<integer>18</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>86</integer>
</dict>
</array>
<key>start</key>
<array>
<dict>
<key>col</key>
<integer>5</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>86</integer>
</dict>
<dict>
<key>col</key>
<integer>18</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>86</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>87</integer>
</dict>
<dict>
<key>col</key>
<integer>18</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>87</integer>
</dict>
</array>
<key>start</key>
<array>
<dict>
<key>col</key>
<integer>5</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>86</integer>
</dict>
<dict>
<key>col</key>
<integer>18</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>86</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>87</integer>
</dict>
<dict>
<key>col</key>
<integer>18</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>87</integer>
</dict>
</array>
<key>start</key>
<array>
<dict>
<key>col</key>
<integer>5</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>87</integer>
</dict>
<dict>
<key>col</key>
<integer>18</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>87</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>87</integer>
</dict>
<dict>
<key>col</key>
<integer>18</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>87</integer>
</dict>
</array>
<key>start</key>
<array>
<dict>
<key>col</key>
<integer>5</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>87</integer>
</dict>
<dict>
<key>col</key>
<integer>18</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>87</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 'enc' is equal to 1</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>87</integer>
</dict>
<key>message</key>
<string>Assuming 'enc' is equal to 1</string>
<key>ranges</key>
<array>
<array>
<dict>
<key>col</key>
<integer>5</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>87</integer>
</dict>
<dict>
<key>col</key>
<integer>64</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>87</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>87</integer>
</dict>
<dict>
<key>col</key>
<integer>18</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>87</integer>
</dict>
</array>
<key>start</key>
<array>
<dict>
<key>col</key>
<integer>5</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>87</integer>
</dict>
<dict>
<key>col</key>
<integer>18</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>87</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>90</integer>
</dict>
<dict>
<key>col</key>
<integer>7</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>90</integer>
</dict>
</array>
<key>start</key>
<array>
<dict>
<key>col</key>
<integer>5</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>87</integer>
</dict>
<dict>
<key>col</key>
<integer>18</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>87</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>93</integer>
</dict>
<dict>
<key>col</key>
<integer>10</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>93</integer>
</dict>
</array>
<key>start</key>
<array>
<dict>
<key>col</key>
<integer>5</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>90</integer>
</dict>
<dict>
<key>col</key>
<integer>7</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>90</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>93</integer>
</dict>
<dict>
<key>col</key>
<integer>14</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>93</integer>
</dict>
</array>
<key>start</key>
<array>
<dict>
<key>col</key>
<integer>9</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>93</integer>
</dict>
<dict>
<key>col</key>
<integer>10</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>93</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 'in' is equal to 'out'</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>93</integer>
</dict>
<key>message</key>
<string>Assuming 'in' is equal to 'out'</string>
<key>ranges</key>
<array>
<array>
<dict>
<key>col</key>
<integer>13</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>93</integer>
</dict>
<dict>
<key>col</key>
<integer>21</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>93</integer>
</dict>
</array>
</array>
</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>119</integer>
</dict>
<dict>
<key>col</key>
<integer>27</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>119</integer>
</dict>
</array>
<key>start</key>
<array>
<dict>
<key>col</key>
<integer>13</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>93</integer>
</dict>
<dict>
<key>col</key>
<integer>14</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>93</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>123</integer>
</dict>
<dict>
<key>col</key>
<integer>22</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>123</integer>
</dict>
</array>
<key>start</key>
<array>
<dict>
<key>col</key>
<integer>25</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>119</integer>
</dict>
<dict>
<key>col</key>
<integer>27</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>119</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>123</integer>
</dict>
<dict>
<key>col</key>
<integer>22</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>123</integer>
</dict>
</array>
<key>start</key>
<array>
<dict>
<key>col</key>
<integer>13</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>123</integer>
</dict>
<dict>
<key>col</key>
<integer>22</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>123</integer>
</dict>
</array>
</dict>
</array>
<key>kind</key>
<string>control</string>
</dict>
<dict>
<key>depth</key>
<integer>0</integer>
<key>extended_message</key>
<string>Dereference of null pointer</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>123</integer>
</dict>
<key>message</key>
<string>Dereference of null pointer</string>
<key>ranges</key>
<array>
<array>
<dict>
<key>col</key>
<integer>13</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>123</integer>
</dict>
<dict>
<key>col</key>
<integer>32</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>123</integer>
</dict>
</array>
</array>
</dict>
</array>
<key>type</key>
<string>Dereference of null pointer</string>
</dict>
<dict>
<key>HTMLDiagnostics_files</key>
<array>
<string>report-6252a1.html</string>
</array>
<key>category</key>
<string>Logic error</string>
<key>check_name</key>
<string>core.NullDereference</string>
<key>description</key>
<string>Dereference of null pointer</string>
<key>issue_context</key>
<string>AES_ige_encrypt</string>
<key>issue_context_kind</key>
<string>function</string>
<key>issue_hash_content_of_line_in_context</key>
<string>b8fae4e548a2cdab27b3442a8c7356b6</string>
<key>issue_hash_function_offset</key>
<string>45</string>
<key>location</key>
<dict>
<key>col</key>
<integer>17</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>127</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>84</integer>
</dict>
<dict>
<key>col</key>
<integer>10</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>84</integer>
</dict>
</array>
<key>start</key>
<array>
<dict>
<key>col</key>
<integer>5</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>83</integer>
</dict>
<dict>
<key>col</key>
<integer>10</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>83</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>86</integer>
</dict>
<dict>
<key>col</key>
<integer>18</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>86</integer>
</dict>
</array>
<key>start</key>
<array>
<dict>
<key>col</key>
<integer>5</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>84</integer>
</dict>
<dict>
<key>col</key>
<integer>10</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>84</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>86</integer>
</dict>
<dict>
<key>col</key>
<integer>18</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>86</integer>
</dict>
</array>
<key>start</key>
<array>
<dict>
<key>col</key>
<integer>5</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>86</integer>
</dict>
<dict>
<key>col</key>
<integer>18</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>86</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>86</integer>
</dict>
<dict>
<key>col</key>
<integer>18</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>86</integer>
</dict>
</array>
<key>start</key>
<array>
<dict>
<key>col</key>
<integer>5</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>86</integer>
</dict>
<dict>
<key>col</key>
<integer>18</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>86</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>86</integer>
</dict>
<dict>
<key>col</key>
<integer>18</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>86</integer>
</dict>
</array>
<key>start</key>
<array>
<dict>
<key>col</key>
<integer>5</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>86</integer>
</dict>
<dict>
<key>col</key>
<integer>18</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>86</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>86</integer>
</dict>
<dict>
<key>col</key>
<integer>18</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>86</integer>
</dict>
</array>
<key>start</key>
<array>
<dict>
<key>col</key>
<integer>5</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>86</integer>
</dict>
<dict>
<key>col</key>
<integer>18</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>86</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 pointer value is null</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>86</integer>
</dict>
<key>message</key>
<string>Assuming pointer value is null</string>
<key>ranges</key>
<array>
<array>
<dict>
<key>col</key>
<integer>5</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>86</integer>
</dict>
<dict>
<key>col</key>
<integer>44</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>86</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>86</integer>
</dict>
<dict>
<key>col</key>
<integer>18</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>86</integer>
</dict>
</array>
<key>start</key>
<array>
<dict>
<key>col</key>
<integer>5</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>86</integer>
</dict>
<dict>
<key>col</key>
<integer>18</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>86</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>87</integer>
</dict>
<dict>
<key>col</key>
<integer>18</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>87</integer>
</dict>
</array>
<key>start</key>
<array>
<dict>
<key>col</key>
<integer>5</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>86</integer>
</dict>
<dict>
<key>col</key>
<integer>18</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>86</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>87</integer>
</dict>
<dict>
<key>col</key>
<integer>18</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>87</integer>
</dict>
</array>
<key>start</key>
<array>
<dict>
<key>col</key>
<integer>5</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>87</integer>
</dict>
<dict>
<key>col</key>
<integer>18</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>87</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>87</integer>
</dict>
<dict>
<key>col</key>
<integer>18</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>87</integer>
</dict>
</array>
<key>start</key>
<array>
<dict>
<key>col</key>
<integer>5</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>87</integer>
</dict>
<dict>
<key>col</key>
<integer>18</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>87</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 'enc' is equal to 1</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>87</integer>
</dict>
<key>message</key>
<string>Assuming 'enc' is equal to 1</string>
<key>ranges</key>
<array>
<array>
<dict>
<key>col</key>
<integer>5</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>87</integer>
</dict>
<dict>
<key>col</key>
<integer>64</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>87</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>87</integer>
</dict>
<dict>
<key>col</key>
<integer>18</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>87</integer>
</dict>
</array>
<key>start</key>
<array>
<dict>
<key>col</key>
<integer>5</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>87</integer>
</dict>
<dict>
<key>col</key>
<integer>18</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>87</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>90</integer>
</dict>
<dict>
<key>col</key>
<integer>7</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>90</integer>
</dict>
</array>
<key>start</key>
<array>
<dict>
<key>col</key>
<integer>5</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>87</integer>
</dict>
<dict>
<key>col</key>
<integer>18</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>87</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>93</integer>
</dict>
<dict>
<key>col</key>
<integer>10</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>93</integer>
</dict>
</array>
<key>start</key>
<array>
<dict>
<key>col</key>
<integer>5</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>90</integer>
</dict>
<dict>
<key>col</key>
<integer>7</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>90</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>93</integer>
</dict>
<dict>
<key>col</key>
<integer>14</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>93</integer>
</dict>
</array>
<key>start</key>
<array>
<dict>
<key>col</key>
<integer>9</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>93</integer>
</dict>
<dict>
<key>col</key>
<integer>10</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>93</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 'in' is equal to 'out'</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>93</integer>
</dict>
<key>message</key>
<string>Assuming 'in' is equal to 'out'</string>
<key>ranges</key>
<array>
<array>
<dict>
<key>col</key>
<integer>13</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>93</integer>
</dict>
<dict>
<key>col</key>
<integer>21</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>93</integer>
</dict>
</array>
</array>
</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>119</integer>
</dict>
<dict>
<key>col</key>
<integer>27</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>119</integer>
</dict>
</array>
<key>start</key>
<array>
<dict>
<key>col</key>
<integer>13</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>93</integer>
</dict>
<dict>
<key>col</key>
<integer>14</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>93</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>126</integer>
</dict>
<dict>
<key>col</key>
<integer>17</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>126</integer>
</dict>
</array>
<key>start</key>
<array>
<dict>
<key>col</key>
<integer>25</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>119</integer>
</dict>
<dict>
<key>col</key>
<integer>27</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>119</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>20</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>126</integer>
</dict>
<key>message</key>
<string>Entering loop body</string>
<key>ranges</key>
<array>
<array>
<dict>
<key>col</key>
<integer>20</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>126</integer>
</dict>
<dict>
<key>col</key>
<integer>22</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>126</integer>
</dict>
</array>
</array>
</dict>
<dict>
<key>edges</key>
<array>
<dict>
<key>end</key>
<array>
<dict>
<key>col</key>
<integer>17</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>127</integer>
</dict>
<dict>
<key>col</key>
<integer>26</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>127</integer>
</dict>
</array>
<key>start</key>
<array>
<dict>
<key>col</key>
<integer>13</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>126</integer>
</dict>
<dict>
<key>col</key>
<integer>17</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>126</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>17</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>127</integer>
</dict>
<dict>
<key>col</key>
<integer>26</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>127</integer>
</dict>
</array>
<key>start</key>
<array>
<dict>
<key>col</key>
<integer>17</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>127</integer>
</dict>
<dict>
<key>col</key>
<integer>26</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>127</integer>
</dict>
</array>
</dict>
</array>
<key>kind</key>
<string>control</string>
</dict>
<dict>
<key>depth</key>
<integer>0</integer>
<key>extended_message</key>
<string>Dereference of null pointer</string>
<key>kind</key>
<string>event</string>
<key>location</key>
<dict>
<key>col</key>
<integer>17</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>127</integer>
</dict>
<key>message</key>
<string>Dereference of null pointer</string>
<key>ranges</key>
<array>
<array>
<dict>
<key>col</key>
<integer>17</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>127</integer>
</dict>
<dict>
<key>col</key>
<integer>35</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>127</integer>
</dict>
</array>
</array>
</dict>
</array>
<key>type</key>
<string>Dereference of null pointer</string>
</dict>
<dict>
<key>HTMLDiagnostics_files</key>
<array>
<string>report-afc423.html</string>
</array>
<key>category</key>
<string>Logic error</string>
<key>check_name</key>
<string>cplusplus.NewDelete</string>
<key>description</key>
<string>Null pointer argument in call to memory copy function</string>
<key>issue_context</key>
<string>AES_ige_encrypt</string>
<key>issue_context_kind</key>
<string>function</string>
<key>issue_hash_content_of_line_in_context</key>
<string>804951ca953be72e033cd82f9af14b7a</string>
<key>issue_hash_function_offset</key>
<string>87</string>
<key>location</key>
<dict>
<key>col</key>
<integer>13</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>169</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>84</integer>
</dict>
<dict>
<key>col</key>
<integer>10</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>84</integer>
</dict>
</array>
<key>start</key>
<array>
<dict>
<key>col</key>
<integer>5</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>83</integer>
</dict>
<dict>
<key>col</key>
<integer>10</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>83</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>86</integer>
</dict>
<dict>
<key>col</key>
<integer>18</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>86</integer>
</dict>
</array>
<key>start</key>
<array>
<dict>
<key>col</key>
<integer>5</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>84</integer>
</dict>
<dict>
<key>col</key>
<integer>10</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>84</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>86</integer>
</dict>
<dict>
<key>col</key>
<integer>18</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>86</integer>
</dict>
</array>
<key>start</key>
<array>
<dict>
<key>col</key>
<integer>5</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>86</integer>
</dict>
<dict>
<key>col</key>
<integer>18</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>86</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>86</integer>
</dict>
<dict>
<key>col</key>
<integer>18</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>86</integer>
</dict>
</array>
<key>start</key>
<array>
<dict>
<key>col</key>
<integer>5</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>86</integer>
</dict>
<dict>
<key>col</key>
<integer>18</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>86</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>86</integer>
</dict>
<dict>
<key>col</key>
<integer>18</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>86</integer>
</dict>
</array>
<key>start</key>
<array>
<dict>
<key>col</key>
<integer>5</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>86</integer>
</dict>
<dict>
<key>col</key>
<integer>18</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>86</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>86</integer>
</dict>
<dict>
<key>col</key>
<integer>18</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>86</integer>
</dict>
</array>
<key>start</key>
<array>
<dict>
<key>col</key>
<integer>5</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>86</integer>
</dict>
<dict>
<key>col</key>
<integer>18</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>86</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>86</integer>
</dict>
<dict>
<key>col</key>
<integer>18</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>86</integer>
</dict>
</array>
<key>start</key>
<array>
<dict>
<key>col</key>
<integer>5</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>86</integer>
</dict>
<dict>
<key>col</key>
<integer>18</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>86</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>86</integer>
</dict>
<dict>
<key>col</key>
<integer>18</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>86</integer>
</dict>
</array>
<key>start</key>
<array>
<dict>
<key>col</key>
<integer>5</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>86</integer>
</dict>
<dict>
<key>col</key>
<integer>18</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>86</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>86</integer>
</dict>
<dict>
<key>col</key>
<integer>18</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>86</integer>
</dict>
</array>
<key>start</key>
<array>
<dict>
<key>col</key>
<integer>5</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>86</integer>
</dict>
<dict>
<key>col</key>
<integer>18</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>86</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>86</integer>
</dict>
<dict>
<key>col</key>
<integer>18</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>86</integer>
</dict>
</array>
<key>start</key>
<array>
<dict>
<key>col</key>
<integer>5</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>86</integer>
</dict>
<dict>
<key>col</key>
<integer>18</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>86</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 pointer value is null</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>86</integer>
</dict>
<key>message</key>
<string>Assuming pointer value is null</string>
<key>ranges</key>
<array>
<array>
<dict>
<key>col</key>
<integer>5</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>86</integer>
</dict>
<dict>
<key>col</key>
<integer>44</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>86</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>86</integer>
</dict>
<dict>
<key>col</key>
<integer>18</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>86</integer>
</dict>
</array>
<key>start</key>
<array>
<dict>
<key>col</key>
<integer>5</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>86</integer>
</dict>
<dict>
<key>col</key>
<integer>18</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>86</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>87</integer>
</dict>
<dict>
<key>col</key>
<integer>18</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>87</integer>
</dict>
</array>
<key>start</key>
<array>
<dict>
<key>col</key>
<integer>5</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>86</integer>
</dict>
<dict>
<key>col</key>
<integer>18</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>86</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>87</integer>
</dict>
<dict>
<key>col</key>
<integer>18</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>87</integer>
</dict>
</array>
<key>start</key>
<array>
<dict>
<key>col</key>
<integer>5</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>87</integer>
</dict>
<dict>
<key>col</key>
<integer>18</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>87</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>87</integer>
</dict>
<dict>
<key>col</key>
<integer>18</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>87</integer>
</dict>
</array>
<key>start</key>
<array>
<dict>
<key>col</key>
<integer>5</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>87</integer>
</dict>
<dict>
<key>col</key>
<integer>18</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>87</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 'enc' is not equal to 1</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>87</integer>
</dict>
<key>message</key>
<string>Assuming 'enc' is not equal to 1</string>
<key>ranges</key>
<array>
<array>
<dict>
<key>col</key>
<integer>5</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>87</integer>
</dict>
<dict>
<key>col</key>
<integer>64</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>87</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>87</integer>
</dict>
<dict>
<key>col</key>
<integer>18</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>87</integer>
</dict>
</array>
<key>start</key>
<array>
<dict>
<key>col</key>
<integer>5</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>87</integer>
</dict>
<dict>
<key>col</key>
<integer>18</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>87</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 'enc' is equal to 0</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>87</integer>
</dict>
<key>message</key>
<string>Assuming 'enc' is equal to 0</string>
<key>ranges</key>
<array>
<array>
<dict>
<key>col</key>
<integer>5</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>87</integer>
</dict>
<dict>
<key>col</key>
<integer>64</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>87</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>87</integer>
</dict>
<dict>
<key>col</key>
<integer>18</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>87</integer>
</dict>
</array>
<key>start</key>
<array>
<dict>
<key>col</key>
<integer>5</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>87</integer>
</dict>
<dict>
<key>col</key>
<integer>18</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>87</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>90</integer>
</dict>
<dict>
<key>col</key>
<integer>7</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>90</integer>
</dict>
</array>
<key>start</key>
<array>
<dict>
<key>col</key>
<integer>5</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>87</integer>
</dict>
<dict>
<key>col</key>
<integer>18</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>87</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>145</integer>
</dict>
<dict>
<key>col</key>
<integer>10</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>145</integer>
</dict>
</array>
<key>start</key>
<array>
<dict>
<key>col</key>
<integer>5</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>90</integer>
</dict>
<dict>
<key>col</key>
<integer>7</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>90</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>145</integer>
</dict>
<dict>
<key>col</key>
<integer>14</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>145</integer>
</dict>
</array>
<key>start</key>
<array>
<dict>
<key>col</key>
<integer>9</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>145</integer>
</dict>
<dict>
<key>col</key>
<integer>10</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>145</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 'in' is not equal to 'out'</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>145</integer>
</dict>
<key>message</key>
<string>Assuming 'in' is not equal to 'out'</string>
<key>ranges</key>
<array>
<array>
<dict>
<key>col</key>
<integer>13</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>145</integer>
</dict>
<dict>
<key>col</key>
<integer>21</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>145</integer>
</dict>
</array>
</array>
</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>149</integer>
</dict>
<dict>
<key>col</key>
<integer>23</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>149</integer>
</dict>
</array>
<key>start</key>
<array>
<dict>
<key>col</key>
<integer>13</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>145</integer>
</dict>
<dict>
<key>col</key>
<integer>14</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>145</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>152</integer>
</dict>
<dict>
<key>col</key>
<integer>17</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>152</integer>
</dict>
</array>
<key>start</key>
<array>
<dict>
<key>col</key>
<integer>13</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>149</integer>
</dict>
<dict>
<key>col</key>
<integer>23</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>149</integer>
</dict>
</array>
</dict>
</array>
<key>kind</key>
<string>control</string>
</dict>
<dict>
<key>depth</key>
<integer>0</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>20</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>152</integer>
</dict>
<key>message</key>
<string>Loop body executed 0 times</string>
<key>ranges</key>
<array>
<array>
<dict>
<key>col</key>
<integer>20</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>152</integer>
</dict>
<dict>
<key>col</key>
<integer>22</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>152</integer>
</dict>
</array>
</array>
</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>169</integer>
</dict>
<dict>
<key>col</key>
<integer>18</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>169</integer>
</dict>
</array>
<key>start</key>
<array>
<dict>
<key>col</key>
<integer>13</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>152</integer>
</dict>
<dict>
<key>col</key>
<integer>17</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>152</integer>
</dict>
</array>
</dict>
</array>
<key>kind</key>
<string>control</string>
</dict>
<dict>
<key>depth</key>
<integer>0</integer>
<key>extended_message</key>
<string>Null pointer argument in call to memory copy function</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>169</integer>
</dict>
<key>message</key>
<string>Null pointer argument in call to memory copy function</string>
<key>ranges</key>
<array>
<array>
<dict>
<key>col</key>
<integer>13</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>169</integer>
</dict>
<dict>
<key>col</key>
<integer>51</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>169</integer>
</dict>
</array>
</array>
</dict>
</array>
<key>type</key>
<string>Unix API</string>
</dict>
<dict>
<key>HTMLDiagnostics_files</key>
<array>
<string>report-8b8b2d.html</string>
</array>
<key>category</key>
<string>Logic error</string>
<key>check_name</key>
<string>core.NullDereference</string>
<key>description</key>
<string>Dereference of null pointer</string>
<key>issue_context</key>
<string>AES_ige_encrypt</string>
<key>issue_context_kind</key>
<string>function</string>
<key>issue_hash_content_of_line_in_context</key>
<string>be1437013c66132b12610c0b0a89b21a</string>
<key>issue_hash_function_offset</key>
<string>94</string>
<key>location</key>
<dict>
<key>col</key>
<integer>13</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>176</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>84</integer>
</dict>
<dict>
<key>col</key>
<integer>10</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>84</integer>
</dict>
</array>
<key>start</key>
<array>
<dict>
<key>col</key>
<integer>5</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>83</integer>
</dict>
<dict>
<key>col</key>
<integer>10</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>83</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>86</integer>
</dict>
<dict>
<key>col</key>
<integer>18</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>86</integer>
</dict>
</array>
<key>start</key>
<array>
<dict>
<key>col</key>
<integer>5</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>84</integer>
</dict>
<dict>
<key>col</key>
<integer>10</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>84</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>86</integer>
</dict>
<dict>
<key>col</key>
<integer>18</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>86</integer>
</dict>
</array>
<key>start</key>
<array>
<dict>
<key>col</key>
<integer>5</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>86</integer>
</dict>
<dict>
<key>col</key>
<integer>18</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>86</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>86</integer>
</dict>
<dict>
<key>col</key>
<integer>18</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>86</integer>
</dict>
</array>
<key>start</key>
<array>
<dict>
<key>col</key>
<integer>5</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>86</integer>
</dict>
<dict>
<key>col</key>
<integer>18</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>86</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>86</integer>
</dict>
<dict>
<key>col</key>
<integer>18</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>86</integer>
</dict>
</array>
<key>start</key>
<array>
<dict>
<key>col</key>
<integer>5</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>86</integer>
</dict>
<dict>
<key>col</key>
<integer>18</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>86</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>86</integer>
</dict>
<dict>
<key>col</key>
<integer>18</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>86</integer>
</dict>
</array>
<key>start</key>
<array>
<dict>
<key>col</key>
<integer>5</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>86</integer>
</dict>
<dict>
<key>col</key>
<integer>18</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>86</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>86</integer>
</dict>
<dict>
<key>col</key>
<integer>18</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>86</integer>
</dict>
</array>
<key>start</key>
<array>
<dict>
<key>col</key>
<integer>5</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>86</integer>
</dict>
<dict>
<key>col</key>
<integer>18</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>86</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>86</integer>
</dict>
<dict>
<key>col</key>
<integer>18</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>86</integer>
</dict>
</array>
<key>start</key>
<array>
<dict>
<key>col</key>
<integer>5</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>86</integer>
</dict>
<dict>
<key>col</key>
<integer>18</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>86</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>86</integer>
</dict>
<dict>
<key>col</key>
<integer>18</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>86</integer>
</dict>
</array>
<key>start</key>
<array>
<dict>
<key>col</key>
<integer>5</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>86</integer>
</dict>
<dict>
<key>col</key>
<integer>18</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>86</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>86</integer>
</dict>
<dict>
<key>col</key>
<integer>18</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>86</integer>
</dict>
</array>
<key>start</key>
<array>
<dict>
<key>col</key>
<integer>5</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>86</integer>
</dict>
<dict>
<key>col</key>
<integer>18</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>86</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 pointer value is null</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>86</integer>
</dict>
<key>message</key>
<string>Assuming pointer value is null</string>
<key>ranges</key>
<array>
<array>
<dict>
<key>col</key>
<integer>5</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>86</integer>
</dict>
<dict>
<key>col</key>
<integer>44</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>86</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>86</integer>
</dict>
<dict>
<key>col</key>
<integer>18</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>86</integer>
</dict>
</array>
<key>start</key>
<array>
<dict>
<key>col</key>
<integer>5</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>86</integer>
</dict>
<dict>
<key>col</key>
<integer>18</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>86</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>87</integer>
</dict>
<dict>
<key>col</key>
<integer>18</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>87</integer>
</dict>
</array>
<key>start</key>
<array>
<dict>
<key>col</key>
<integer>5</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>86</integer>
</dict>
<dict>
<key>col</key>
<integer>18</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>86</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>87</integer>
</dict>
<dict>
<key>col</key>
<integer>18</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>87</integer>
</dict>
</array>
<key>start</key>
<array>
<dict>
<key>col</key>
<integer>5</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>87</integer>
</dict>
<dict>
<key>col</key>
<integer>18</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>87</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>87</integer>
</dict>
<dict>
<key>col</key>
<integer>18</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>87</integer>
</dict>
</array>
<key>start</key>
<array>
<dict>
<key>col</key>
<integer>5</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>87</integer>
</dict>
<dict>
<key>col</key>
<integer>18</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>87</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 'enc' is not equal to 1</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>87</integer>
</dict>
<key>message</key>
<string>Assuming 'enc' is not equal to 1</string>
<key>ranges</key>
<array>
<array>
<dict>
<key>col</key>
<integer>5</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>87</integer>
</dict>
<dict>
<key>col</key>
<integer>64</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>87</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>87</integer>
</dict>
<dict>
<key>col</key>
<integer>18</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>87</integer>
</dict>
</array>
<key>start</key>
<array>
<dict>
<key>col</key>
<integer>5</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>87</integer>
</dict>
<dict>
<key>col</key>
<integer>18</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>87</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 'enc' is equal to 0</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>87</integer>
</dict>
<key>message</key>
<string>Assuming 'enc' is equal to 0</string>
<key>ranges</key>
<array>
<array>
<dict>
<key>col</key>
<integer>5</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>87</integer>
</dict>
<dict>
<key>col</key>
<integer>64</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>87</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>87</integer>
</dict>
<dict>
<key>col</key>
<integer>18</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>87</integer>
</dict>
</array>
<key>start</key>
<array>
<dict>
<key>col</key>
<integer>5</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>87</integer>
</dict>
<dict>
<key>col</key>
<integer>18</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>87</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>90</integer>
</dict>
<dict>
<key>col</key>
<integer>7</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>90</integer>
</dict>
</array>
<key>start</key>
<array>
<dict>
<key>col</key>
<integer>5</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>87</integer>
</dict>
<dict>
<key>col</key>
<integer>18</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>87</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>145</integer>
</dict>
<dict>
<key>col</key>
<integer>10</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>145</integer>
</dict>
</array>
<key>start</key>
<array>
<dict>
<key>col</key>
<integer>5</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>90</integer>
</dict>
<dict>
<key>col</key>
<integer>7</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>90</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>145</integer>
</dict>
<dict>
<key>col</key>
<integer>14</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>145</integer>
</dict>
</array>
<key>start</key>
<array>
<dict>
<key>col</key>
<integer>9</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>145</integer>
</dict>
<dict>
<key>col</key>
<integer>10</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>145</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 'in' is equal to 'out'</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>145</integer>
</dict>
<key>message</key>
<string>Assuming 'in' is equal to 'out'</string>
<key>ranges</key>
<array>
<array>
<dict>
<key>col</key>
<integer>13</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>145</integer>
</dict>
<dict>
<key>col</key>
<integer>21</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>145</integer>
</dict>
</array>
</array>
</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>172</integer>
</dict>
<dict>
<key>col</key>
<integer>27</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>172</integer>
</dict>
</array>
<key>start</key>
<array>
<dict>
<key>col</key>
<integer>13</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>145</integer>
</dict>
<dict>
<key>col</key>
<integer>14</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>145</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>176</integer>
</dict>
<dict>
<key>col</key>
<integer>22</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>176</integer>
</dict>
</array>
<key>start</key>
<array>
<dict>
<key>col</key>
<integer>25</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>172</integer>
</dict>
<dict>
<key>col</key>
<integer>27</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>172</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>176</integer>
</dict>
<dict>
<key>col</key>
<integer>22</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>176</integer>
</dict>
</array>
<key>start</key>
<array>
<dict>
<key>col</key>
<integer>13</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>176</integer>
</dict>
<dict>
<key>col</key>
<integer>22</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>176</integer>
</dict>
</array>
</dict>
</array>
<key>kind</key>
<string>control</string>
</dict>
<dict>
<key>depth</key>
<integer>0</integer>
<key>extended_message</key>
<string>Dereference of null pointer</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>176</integer>
</dict>
<key>message</key>
<string>Dereference of null pointer</string>
<key>ranges</key>
<array>
<array>
<dict>
<key>col</key>
<integer>13</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>176</integer>
</dict>
<dict>
<key>col</key>
<integer>32</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>176</integer>
</dict>
</array>
</array>
</dict>
</array>
<key>type</key>
<string>Dereference of null pointer</string>
</dict>
<dict>
<key>HTMLDiagnostics_files</key>
<array>
<string>report-8f2148.html</string>
</array>
<key>category</key>
<string>Logic error</string>
<key>check_name</key>
<string>core.NullDereference</string>
<key>description</key>
<string>Dereference of null pointer</string>
<key>issue_context</key>
<string>AES_ige_encrypt</string>
<key>issue_context_kind</key>
<string>function</string>
<key>issue_hash_content_of_line_in_context</key>
<string>b8fae4e548a2cdab27b3442a8c7356b6</string>
<key>issue_hash_function_offset</key>
<string>98</string>
<key>location</key>
<dict>
<key>col</key>
<integer>17</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>180</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>84</integer>
</dict>
<dict>
<key>col</key>
<integer>10</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>84</integer>
</dict>
</array>
<key>start</key>
<array>
<dict>
<key>col</key>
<integer>5</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>83</integer>
</dict>
<dict>
<key>col</key>
<integer>10</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>83</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>86</integer>
</dict>
<dict>
<key>col</key>
<integer>18</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>86</integer>
</dict>
</array>
<key>start</key>
<array>
<dict>
<key>col</key>
<integer>5</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>84</integer>
</dict>
<dict>
<key>col</key>
<integer>10</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>84</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>86</integer>
</dict>
<dict>
<key>col</key>
<integer>18</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>86</integer>
</dict>
</array>
<key>start</key>
<array>
<dict>
<key>col</key>
<integer>5</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>86</integer>
</dict>
<dict>
<key>col</key>
<integer>18</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>86</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>86</integer>
</dict>
<dict>
<key>col</key>
<integer>18</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>86</integer>
</dict>
</array>
<key>start</key>
<array>
<dict>
<key>col</key>
<integer>5</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>86</integer>
</dict>
<dict>
<key>col</key>
<integer>18</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>86</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>86</integer>
</dict>
<dict>
<key>col</key>
<integer>18</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>86</integer>
</dict>
</array>
<key>start</key>
<array>
<dict>
<key>col</key>
<integer>5</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>86</integer>
</dict>
<dict>
<key>col</key>
<integer>18</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>86</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>86</integer>
</dict>
<dict>
<key>col</key>
<integer>18</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>86</integer>
</dict>
</array>
<key>start</key>
<array>
<dict>
<key>col</key>
<integer>5</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>86</integer>
</dict>
<dict>
<key>col</key>
<integer>18</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>86</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 pointer value is null</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>86</integer>
</dict>
<key>message</key>
<string>Assuming pointer value is null</string>
<key>ranges</key>
<array>
<array>
<dict>
<key>col</key>
<integer>5</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>86</integer>
</dict>
<dict>
<key>col</key>
<integer>44</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>86</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>86</integer>
</dict>
<dict>
<key>col</key>
<integer>18</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>86</integer>
</dict>
</array>
<key>start</key>
<array>
<dict>
<key>col</key>
<integer>5</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>86</integer>
</dict>
<dict>
<key>col</key>
<integer>18</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>86</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>87</integer>
</dict>
<dict>
<key>col</key>
<integer>18</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>87</integer>
</dict>
</array>
<key>start</key>
<array>
<dict>
<key>col</key>
<integer>5</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>86</integer>
</dict>
<dict>
<key>col</key>
<integer>18</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>86</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>87</integer>
</dict>
<dict>
<key>col</key>
<integer>18</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>87</integer>
</dict>
</array>
<key>start</key>
<array>
<dict>
<key>col</key>
<integer>5</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>87</integer>
</dict>
<dict>
<key>col</key>
<integer>18</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>87</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>87</integer>
</dict>
<dict>
<key>col</key>
<integer>18</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>87</integer>
</dict>
</array>
<key>start</key>
<array>
<dict>
<key>col</key>
<integer>5</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>87</integer>
</dict>
<dict>
<key>col</key>
<integer>18</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>87</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 'enc' is not equal to 1</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>87</integer>
</dict>
<key>message</key>
<string>Assuming 'enc' is not equal to 1</string>
<key>ranges</key>
<array>
<array>
<dict>
<key>col</key>
<integer>5</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>87</integer>
</dict>
<dict>
<key>col</key>
<integer>64</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>87</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>87</integer>
</dict>
<dict>
<key>col</key>
<integer>18</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>87</integer>
</dict>
</array>
<key>start</key>
<array>
<dict>
<key>col</key>
<integer>5</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>87</integer>
</dict>
<dict>
<key>col</key>
<integer>18</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>87</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 'enc' is equal to 0</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>87</integer>
</dict>
<key>message</key>
<string>Assuming 'enc' is equal to 0</string>
<key>ranges</key>
<array>
<array>
<dict>
<key>col</key>
<integer>5</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>87</integer>
</dict>
<dict>
<key>col</key>
<integer>64</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>87</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>87</integer>
</dict>
<dict>
<key>col</key>
<integer>18</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>87</integer>
</dict>
</array>
<key>start</key>
<array>
<dict>
<key>col</key>
<integer>5</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>87</integer>
</dict>
<dict>
<key>col</key>
<integer>18</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>87</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>90</integer>
</dict>
<dict>
<key>col</key>
<integer>7</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>90</integer>
</dict>
</array>
<key>start</key>
<array>
<dict>
<key>col</key>
<integer>5</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>87</integer>
</dict>
<dict>
<key>col</key>
<integer>18</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>87</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>145</integer>
</dict>
<dict>
<key>col</key>
<integer>10</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>145</integer>
</dict>
</array>
<key>start</key>
<array>
<dict>
<key>col</key>
<integer>5</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>90</integer>
</dict>
<dict>
<key>col</key>
<integer>7</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>90</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>145</integer>
</dict>
<dict>
<key>col</key>
<integer>14</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>145</integer>
</dict>
</array>
<key>start</key>
<array>
<dict>
<key>col</key>
<integer>9</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>145</integer>
</dict>
<dict>
<key>col</key>
<integer>10</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>145</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 'in' is equal to 'out'</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>145</integer>
</dict>
<key>message</key>
<string>Assuming 'in' is equal to 'out'</string>
<key>ranges</key>
<array>
<array>
<dict>
<key>col</key>
<integer>13</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>145</integer>
</dict>
<dict>
<key>col</key>
<integer>21</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>145</integer>
</dict>
</array>
</array>
</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>172</integer>
</dict>
<dict>
<key>col</key>
<integer>27</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>172</integer>
</dict>
</array>
<key>start</key>
<array>
<dict>
<key>col</key>
<integer>13</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>145</integer>
</dict>
<dict>
<key>col</key>
<integer>14</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>145</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>179</integer>
</dict>
<dict>
<key>col</key>
<integer>17</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>179</integer>
</dict>
</array>
<key>start</key>
<array>
<dict>
<key>col</key>
<integer>25</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>172</integer>
</dict>
<dict>
<key>col</key>
<integer>27</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>172</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>20</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>179</integer>
</dict>
<key>message</key>
<string>Entering loop body</string>
<key>ranges</key>
<array>
<array>
<dict>
<key>col</key>
<integer>20</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>179</integer>
</dict>
<dict>
<key>col</key>
<integer>22</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>179</integer>
</dict>
</array>
</array>
</dict>
<dict>
<key>edges</key>
<array>
<dict>
<key>end</key>
<array>
<dict>
<key>col</key>
<integer>17</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>180</integer>
</dict>
<dict>
<key>col</key>
<integer>26</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>180</integer>
</dict>
</array>
<key>start</key>
<array>
<dict>
<key>col</key>
<integer>13</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>179</integer>
</dict>
<dict>
<key>col</key>
<integer>17</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>179</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>17</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>180</integer>
</dict>
<dict>
<key>col</key>
<integer>26</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>180</integer>
</dict>
</array>
<key>start</key>
<array>
<dict>
<key>col</key>
<integer>17</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>180</integer>
</dict>
<dict>
<key>col</key>
<integer>26</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>180</integer>
</dict>
</array>
</dict>
</array>
<key>kind</key>
<string>control</string>
</dict>
<dict>
<key>depth</key>
<integer>0</integer>
<key>extended_message</key>
<string>Dereference of null pointer</string>
<key>kind</key>
<string>event</string>
<key>location</key>
<dict>
<key>col</key>
<integer>17</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>180</integer>
</dict>
<key>message</key>
<string>Dereference of null pointer</string>
<key>ranges</key>
<array>
<array>
<dict>
<key>col</key>
<integer>17</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>180</integer>
</dict>
<dict>
<key>col</key>
<integer>35</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>180</integer>
</dict>
</array>
</array>
</dict>
</array>
<key>type</key>
<string>Dereference of null pointer</string>
</dict>
<dict>
<key>HTMLDiagnostics_files</key>
<array>
<string>report-6e77d5.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 'out') results in a null pointer dereference</string>
<key>issue_context</key>
<string>AES_bi_ige_encrypt</string>
<key>issue_context_kind</key>
<string>function</string>
<key>issue_hash_content_of_line_in_context</key>
<string>1d53b8946b682f7512eede0435cdc8e4</string>
<key>issue_hash_function_offset</key>
<string>25</string>
<key>location</key>
<dict>
<key>col</key>
<integer>24</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>237</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>220</integer>
</dict>
<dict>
<key>col</key>
<integer>9</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>220</integer>
</dict>
</array>
<key>start</key>
<array>
<dict>
<key>col</key>
<integer>5</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>213</integer>
</dict>
<dict>
<key>col</key>
<integer>10</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>213</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>222</integer>
</dict>
<dict>
<key>col</key>
<integer>18</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>222</integer>
</dict>
</array>
<key>start</key>
<array>
<dict>
<key>col</key>
<integer>5</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>220</integer>
</dict>
<dict>
<key>col</key>
<integer>9</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>220</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>222</integer>
</dict>
<dict>
<key>col</key>
<integer>18</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>222</integer>
</dict>
</array>
<key>start</key>
<array>
<dict>
<key>col</key>
<integer>5</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>222</integer>
</dict>
<dict>
<key>col</key>
<integer>18</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>222</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>222</integer>
</dict>
<dict>
<key>col</key>
<integer>18</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>222</integer>
</dict>
</array>
<key>start</key>
<array>
<dict>
<key>col</key>
<integer>5</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>222</integer>
</dict>
<dict>
<key>col</key>
<integer>18</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>222</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>222</integer>
</dict>
<dict>
<key>col</key>
<integer>18</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>222</integer>
</dict>
</array>
<key>start</key>
<array>
<dict>
<key>col</key>
<integer>5</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>222</integer>
</dict>
<dict>
<key>col</key>
<integer>18</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>222</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>222</integer>
</dict>
<dict>
<key>col</key>
<integer>18</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>222</integer>
</dict>
</array>
<key>start</key>
<array>
<dict>
<key>col</key>
<integer>5</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>222</integer>
</dict>
<dict>
<key>col</key>
<integer>18</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>222</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>222</integer>
</dict>
<dict>
<key>col</key>
<integer>18</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>222</integer>
</dict>
</array>
<key>start</key>
<array>
<dict>
<key>col</key>
<integer>5</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>222</integer>
</dict>
<dict>
<key>col</key>
<integer>18</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>222</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>222</integer>
</dict>
<dict>
<key>col</key>
<integer>18</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>222</integer>
</dict>
</array>
<key>start</key>
<array>
<dict>
<key>col</key>
<integer>5</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>222</integer>
</dict>
<dict>
<key>col</key>
<integer>18</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>222</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 pointer value is null</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>222</integer>
</dict>
<key>message</key>
<string>Assuming pointer value is null</string>
<key>ranges</key>
<array>
<array>
<dict>
<key>col</key>
<integer>5</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>222</integer>
</dict>
<dict>
<key>col</key>
<integer>44</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>222</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>222</integer>
</dict>
<dict>
<key>col</key>
<integer>18</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>222</integer>
</dict>
</array>
<key>start</key>
<array>
<dict>
<key>col</key>
<integer>5</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>222</integer>
</dict>
<dict>
<key>col</key>
<integer>18</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>222</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>223</integer>
</dict>
<dict>
<key>col</key>
<integer>18</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>223</integer>
</dict>
</array>
<key>start</key>
<array>
<dict>
<key>col</key>
<integer>5</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>222</integer>
</dict>
<dict>
<key>col</key>
<integer>18</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>222</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>223</integer>
</dict>
<dict>
<key>col</key>
<integer>18</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>223</integer>
</dict>
</array>
<key>start</key>
<array>
<dict>
<key>col</key>
<integer>5</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>223</integer>
</dict>
<dict>
<key>col</key>
<integer>18</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>223</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>223</integer>
</dict>
<dict>
<key>col</key>
<integer>18</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>223</integer>
</dict>
</array>
<key>start</key>
<array>
<dict>
<key>col</key>
<integer>5</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>223</integer>
</dict>
<dict>
<key>col</key>
<integer>18</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>223</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 'enc' is equal to 1</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>223</integer>
</dict>
<key>message</key>
<string>Assuming 'enc' is equal to 1</string>
<key>ranges</key>
<array>
<array>
<dict>
<key>col</key>
<integer>5</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>223</integer>
</dict>
<dict>
<key>col</key>
<integer>64</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>223</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>223</integer>
</dict>
<dict>
<key>col</key>
<integer>18</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>223</integer>
</dict>
</array>
<key>start</key>
<array>
<dict>
<key>col</key>
<integer>5</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>223</integer>
</dict>
<dict>
<key>col</key>
<integer>18</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>223</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>224</integer>
</dict>
<dict>
<key>col</key>
<integer>18</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>224</integer>
</dict>
</array>
<key>start</key>
<array>
<dict>
<key>col</key>
<integer>5</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>223</integer>
</dict>
<dict>
<key>col</key>
<integer>18</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>223</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>233</integer>
</dict>
<dict>
<key>col</key>
<integer>10</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>233</integer>
</dict>
</array>
<key>start</key>
<array>
<dict>
<key>col</key>
<integer>5</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>224</integer>
</dict>
<dict>
<key>col</key>
<integer>18</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>224</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>235</integer>
</dict>
<dict>
<key>col</key>
<integer>13</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>235</integer>
</dict>
</array>
<key>start</key>
<array>
<dict>
<key>col</key>
<integer>9</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>233</integer>
</dict>
<dict>
<key>col</key>
<integer>10</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>233</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>16</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>235</integer>
</dict>
<dict>
<key>col</key>
<integer>18</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>235</integer>
</dict>
</array>
<key>start</key>
<array>
<dict>
<key>col</key>
<integer>9</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>235</integer>
</dict>
<dict>
<key>col</key>
<integer>13</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>235</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 'len' is &gt;= 16</string>
<key>kind</key>
<string>event</string>
<key>location</key>
<dict>
<key>col</key>
<integer>16</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>235</integer>
</dict>
<key>message</key>
<string>Assuming 'len' is &gt;= 16</string>
<key>ranges</key>
<array>
<array>
<dict>
<key>col</key>
<integer>16</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>235</integer>
</dict>
<dict>
<key>col</key>
<integer>36</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>235</integer>
</dict>
</array>
</array>
</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>16</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>235</integer>
</dict>
<key>message</key>
<string>Entering loop body</string>
<key>ranges</key>
<array>
<array>
<dict>
<key>col</key>
<integer>16</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>235</integer>
</dict>
<dict>
<key>col</key>
<integer>36</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>235</integer>
</dict>
</array>
</array>
</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>236</integer>
</dict>
<dict>
<key>col</key>
<integer>15</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>236</integer>
</dict>
</array>
<key>start</key>
<array>
<dict>
<key>col</key>
<integer>16</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>235</integer>
</dict>
<dict>
<key>col</key>
<integer>18</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>235</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>25</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>236</integer>
</dict>
<key>message</key>
<string>Entering loop body</string>
<key>ranges</key>
<array>
<array>
<dict>
<key>col</key>
<integer>25</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>236</integer>
</dict>
<dict>
<key>col</key>
<integer>42</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>236</integer>
</dict>
</array>
</array>
</dict>
<dict>
<key>edges</key>
<array>
<dict>
<key>end</key>
<array>
<dict>
<key>col</key>
<integer>17</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>237</integer>
</dict>
<dict>
<key>col</key>
<integer>19</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>237</integer>
</dict>
</array>
<key>start</key>
<array>
<dict>
<key>col</key>
<integer>13</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>236</integer>
</dict>
<dict>
<key>col</key>
<integer>15</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>236</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>24</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>237</integer>
</dict>
<dict>
<key>col</key>
<integer>24</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>237</integer>
</dict>
</array>
<key>start</key>
<array>
<dict>
<key>col</key>
<integer>17</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>237</integer>
</dict>
<dict>
<key>col</key>
<integer>19</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>237</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 (from variable 'out') results in a null pointer dereference</string>
<key>kind</key>
<string>event</string>
<key>location</key>
<dict>
<key>col</key>
<integer>24</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>237</integer>
</dict>
<key>message</key>
<string>Array access (from variable 'out') results in a null pointer dereference</string>
<key>ranges</key>
<array>
<array>
<dict>
<key>col</key>
<integer>17</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>237</integer>
</dict>
<dict>
<key>col</key>
<integer>19</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>237</integer>
</dict>
</array>
</array>
</dict>
</array>
<key>type</key>
<string>Dereference of null pointer</string>
</dict>
<dict>
<key>HTMLDiagnostics_files</key>
<array>
<string>report-f02830.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 'in') results in a null pointer dereference</string>
<key>issue_context</key>
<string>AES_bi_ige_encrypt</string>
<key>issue_context_kind</key>
<string>function</string>
<key>issue_hash_content_of_line_in_context</key>
<string>a49db6720f3f6bb9ec7d746beff5c9cb</string>
<key>issue_hash_function_offset</key>
<string>25</string>
<key>location</key>
<dict>
<key>col</key>
<integer>26</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>237</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>220</integer>
</dict>
<dict>
<key>col</key>
<integer>9</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>220</integer>
</dict>
</array>
<key>start</key>
<array>
<dict>
<key>col</key>
<integer>5</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>213</integer>
</dict>
<dict>
<key>col</key>
<integer>10</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>213</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>222</integer>
</dict>
<dict>
<key>col</key>
<integer>18</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>222</integer>
</dict>
</array>
<key>start</key>
<array>
<dict>
<key>col</key>
<integer>5</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>220</integer>
</dict>
<dict>
<key>col</key>
<integer>9</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>220</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>222</integer>
</dict>
<dict>
<key>col</key>
<integer>18</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>222</integer>
</dict>
</array>
<key>start</key>
<array>
<dict>
<key>col</key>
<integer>5</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>222</integer>
</dict>
<dict>
<key>col</key>
<integer>18</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>222</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>222</integer>
</dict>
<dict>
<key>col</key>
<integer>18</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>222</integer>
</dict>
</array>
<key>start</key>
<array>
<dict>
<key>col</key>
<integer>5</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>222</integer>
</dict>
<dict>
<key>col</key>
<integer>18</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>222</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>222</integer>
</dict>
<dict>
<key>col</key>
<integer>18</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>222</integer>
</dict>
</array>
<key>start</key>
<array>
<dict>
<key>col</key>
<integer>5</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>222</integer>
</dict>
<dict>
<key>col</key>
<integer>18</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>222</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>222</integer>
</dict>
<dict>
<key>col</key>
<integer>18</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>222</integer>
</dict>
</array>
<key>start</key>
<array>
<dict>
<key>col</key>
<integer>5</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>222</integer>
</dict>
<dict>
<key>col</key>
<integer>18</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>222</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 pointer value is null</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>222</integer>
</dict>
<key>message</key>
<string>Assuming pointer value is null</string>
<key>ranges</key>
<array>
<array>
<dict>
<key>col</key>
<integer>5</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>222</integer>
</dict>
<dict>
<key>col</key>
<integer>44</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>222</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>222</integer>
</dict>
<dict>
<key>col</key>
<integer>18</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>222</integer>
</dict>
</array>
<key>start</key>
<array>
<dict>
<key>col</key>
<integer>5</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>222</integer>
</dict>
<dict>
<key>col</key>
<integer>18</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>222</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>223</integer>
</dict>
<dict>
<key>col</key>
<integer>18</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>223</integer>
</dict>
</array>
<key>start</key>
<array>
<dict>
<key>col</key>
<integer>5</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>222</integer>
</dict>
<dict>
<key>col</key>
<integer>18</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>222</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>223</integer>
</dict>
<dict>
<key>col</key>
<integer>18</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>223</integer>
</dict>
</array>
<key>start</key>
<array>
<dict>
<key>col</key>
<integer>5</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>223</integer>
</dict>
<dict>
<key>col</key>
<integer>18</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>223</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>223</integer>
</dict>
<dict>
<key>col</key>
<integer>18</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>223</integer>
</dict>
</array>
<key>start</key>
<array>
<dict>
<key>col</key>
<integer>5</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>223</integer>
</dict>
<dict>
<key>col</key>
<integer>18</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>223</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 'enc' is equal to 1</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>223</integer>
</dict>
<key>message</key>
<string>Assuming 'enc' is equal to 1</string>
<key>ranges</key>
<array>
<array>
<dict>
<key>col</key>
<integer>5</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>223</integer>
</dict>
<dict>
<key>col</key>
<integer>64</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>223</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>223</integer>
</dict>
<dict>
<key>col</key>
<integer>18</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>223</integer>
</dict>
</array>
<key>start</key>
<array>
<dict>
<key>col</key>
<integer>5</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>223</integer>
</dict>
<dict>
<key>col</key>
<integer>18</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>223</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>224</integer>
</dict>
<dict>
<key>col</key>
<integer>18</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>224</integer>
</dict>
</array>
<key>start</key>
<array>
<dict>
<key>col</key>
<integer>5</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>223</integer>
</dict>
<dict>
<key>col</key>
<integer>18</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>223</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>233</integer>
</dict>
<dict>
<key>col</key>
<integer>10</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>233</integer>
</dict>
</array>
<key>start</key>
<array>
<dict>
<key>col</key>
<integer>5</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>224</integer>
</dict>
<dict>
<key>col</key>
<integer>18</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>224</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>235</integer>
</dict>
<dict>
<key>col</key>
<integer>13</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>235</integer>
</dict>
</array>
<key>start</key>
<array>
<dict>
<key>col</key>
<integer>9</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>233</integer>
</dict>
<dict>
<key>col</key>
<integer>10</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>233</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>16</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>235</integer>
</dict>
<dict>
<key>col</key>
<integer>18</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>235</integer>
</dict>
</array>
<key>start</key>
<array>
<dict>
<key>col</key>
<integer>9</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>235</integer>
</dict>
<dict>
<key>col</key>
<integer>13</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>235</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 'len' is &gt;= 16</string>
<key>kind</key>
<string>event</string>
<key>location</key>
<dict>
<key>col</key>
<integer>16</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>235</integer>
</dict>
<key>message</key>
<string>Assuming 'len' is &gt;= 16</string>
<key>ranges</key>
<array>
<array>
<dict>
<key>col</key>
<integer>16</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>235</integer>
</dict>
<dict>
<key>col</key>
<integer>36</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>235</integer>
</dict>
</array>
</array>
</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>16</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>235</integer>
</dict>
<key>message</key>
<string>Entering loop body</string>
<key>ranges</key>
<array>
<array>
<dict>
<key>col</key>
<integer>16</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>235</integer>
</dict>
<dict>
<key>col</key>
<integer>36</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>235</integer>
</dict>
</array>
</array>
</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>236</integer>
</dict>
<dict>
<key>col</key>
<integer>15</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>236</integer>
</dict>
</array>
<key>start</key>
<array>
<dict>
<key>col</key>
<integer>16</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>235</integer>
</dict>
<dict>
<key>col</key>
<integer>18</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>235</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>25</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>236</integer>
</dict>
<key>message</key>
<string>Entering loop body</string>
<key>ranges</key>
<array>
<array>
<dict>
<key>col</key>
<integer>25</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>236</integer>
</dict>
<dict>
<key>col</key>
<integer>42</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>236</integer>
</dict>
</array>
</array>
</dict>
<dict>
<key>edges</key>
<array>
<dict>
<key>end</key>
<array>
<dict>
<key>col</key>
<integer>17</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>237</integer>
</dict>
<dict>
<key>col</key>
<integer>19</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>237</integer>
</dict>
</array>
<key>start</key>
<array>
<dict>
<key>col</key>
<integer>13</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>236</integer>
</dict>
<dict>
<key>col</key>
<integer>15</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>236</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>26</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>237</integer>
</dict>
<dict>
<key>col</key>
<integer>27</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>237</integer>
</dict>
</array>
<key>start</key>
<array>
<dict>
<key>col</key>
<integer>17</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>237</integer>
</dict>
<dict>
<key>col</key>
<integer>19</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>237</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 (from variable 'in') results in a null pointer dereference</string>
<key>kind</key>
<string>event</string>
<key>location</key>
<dict>
<key>col</key>
<integer>26</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>237</integer>
</dict>
<key>message</key>
<string>Array access (from variable 'in') results in a null pointer dereference</string>
<key>ranges</key>
<array>
<array>
<dict>
<key>col</key>
<integer>26</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>237</integer>
</dict>
<dict>
<key>col</key>
<integer>27</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>237</integer>
</dict>
</array>
</array>
</dict>
</array>
<key>type</key>
<string>Dereference of null pointer</string>
</dict>
<dict>
<key>HTMLDiagnostics_files</key>
<array>
<string>report-16d83b.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 'iv') results in a null pointer dereference</string>
<key>issue_context</key>
<string>AES_bi_ige_encrypt</string>
<key>issue_context_kind</key>
<string>function</string>
<key>issue_hash_content_of_line_in_context</key>
<string>04e74c39978740f6a57e3f38092d2bc1</string>
<key>issue_hash_function_offset</key>
<string>25</string>
<key>location</key>
<dict>
<key>col</key>
<integer>34</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>237</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>220</integer>
</dict>
<dict>
<key>col</key>
<integer>9</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>220</integer>
</dict>
</array>
<key>start</key>
<array>
<dict>
<key>col</key>
<integer>5</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>213</integer>
</dict>
<dict>
<key>col</key>
<integer>10</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>213</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>222</integer>
</dict>
<dict>
<key>col</key>
<integer>18</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>222</integer>
</dict>
</array>
<key>start</key>
<array>
<dict>
<key>col</key>
<integer>5</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>220</integer>
</dict>
<dict>
<key>col</key>
<integer>9</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>220</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>222</integer>
</dict>
<dict>
<key>col</key>
<integer>18</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>222</integer>
</dict>
</array>
<key>start</key>
<array>
<dict>
<key>col</key>
<integer>5</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>222</integer>
</dict>
<dict>
<key>col</key>
<integer>18</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>222</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>222</integer>
</dict>
<dict>
<key>col</key>
<integer>18</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>222</integer>
</dict>
</array>
<key>start</key>
<array>
<dict>
<key>col</key>
<integer>5</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>222</integer>
</dict>
<dict>
<key>col</key>
<integer>18</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>222</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>222</integer>
</dict>
<dict>
<key>col</key>
<integer>18</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>222</integer>
</dict>
</array>
<key>start</key>
<array>
<dict>
<key>col</key>
<integer>5</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>222</integer>
</dict>
<dict>
<key>col</key>
<integer>18</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>222</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>222</integer>
</dict>
<dict>
<key>col</key>
<integer>18</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>222</integer>
</dict>
</array>
<key>start</key>
<array>
<dict>
<key>col</key>
<integer>5</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>222</integer>
</dict>
<dict>
<key>col</key>
<integer>18</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>222</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>222</integer>
</dict>
<dict>
<key>col</key>
<integer>18</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>222</integer>
</dict>
</array>
<key>start</key>
<array>
<dict>
<key>col</key>
<integer>5</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>222</integer>
</dict>
<dict>
<key>col</key>
<integer>18</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>222</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>222</integer>
</dict>
<dict>
<key>col</key>
<integer>18</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>222</integer>
</dict>
</array>
<key>start</key>
<array>
<dict>
<key>col</key>
<integer>5</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>222</integer>
</dict>
<dict>
<key>col</key>
<integer>18</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>222</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>222</integer>
</dict>
<dict>
<key>col</key>
<integer>18</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>222</integer>
</dict>
</array>
<key>start</key>
<array>
<dict>
<key>col</key>
<integer>5</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>222</integer>
</dict>
<dict>
<key>col</key>
<integer>18</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>222</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>222</integer>
</dict>
<dict>
<key>col</key>
<integer>18</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>222</integer>
</dict>
</array>
<key>start</key>
<array>
<dict>
<key>col</key>
<integer>5</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>222</integer>
</dict>
<dict>
<key>col</key>
<integer>18</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>222</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 pointer value is null</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>222</integer>
</dict>
<key>message</key>
<string>Assuming pointer value is null</string>
<key>ranges</key>
<array>
<array>
<dict>
<key>col</key>
<integer>5</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>222</integer>
</dict>
<dict>
<key>col</key>
<integer>44</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>222</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>222</integer>
</dict>
<dict>
<key>col</key>
<integer>18</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>222</integer>
</dict>
</array>
<key>start</key>
<array>
<dict>
<key>col</key>
<integer>5</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>222</integer>
</dict>
<dict>
<key>col</key>
<integer>18</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>222</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>223</integer>
</dict>
<dict>
<key>col</key>
<integer>18</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>223</integer>
</dict>
</array>
<key>start</key>
<array>
<dict>
<key>col</key>
<integer>5</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>222</integer>
</dict>
<dict>
<key>col</key>
<integer>18</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>222</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>223</integer>
</dict>
<dict>
<key>col</key>
<integer>18</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>223</integer>
</dict>
</array>
<key>start</key>
<array>
<dict>
<key>col</key>
<integer>5</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>223</integer>
</dict>
<dict>
<key>col</key>
<integer>18</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>223</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>223</integer>
</dict>
<dict>
<key>col</key>
<integer>18</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>223</integer>
</dict>
</array>
<key>start</key>
<array>
<dict>
<key>col</key>
<integer>5</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>223</integer>
</dict>
<dict>
<key>col</key>
<integer>18</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>223</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 'enc' is equal to 1</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>223</integer>
</dict>
<key>message</key>
<string>Assuming 'enc' is equal to 1</string>
<key>ranges</key>
<array>
<array>
<dict>
<key>col</key>
<integer>5</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>223</integer>
</dict>
<dict>
<key>col</key>
<integer>64</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>223</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>223</integer>
</dict>
<dict>
<key>col</key>
<integer>18</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>223</integer>
</dict>
</array>
<key>start</key>
<array>
<dict>
<key>col</key>
<integer>5</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>223</integer>
</dict>
<dict>
<key>col</key>
<integer>18</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>223</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>224</integer>
</dict>
<dict>
<key>col</key>
<integer>18</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>224</integer>
</dict>
</array>
<key>start</key>
<array>
<dict>
<key>col</key>
<integer>5</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>223</integer>
</dict>
<dict>
<key>col</key>
<integer>18</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>223</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>233</integer>
</dict>
<dict>
<key>col</key>
<integer>10</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>233</integer>
</dict>
</array>
<key>start</key>
<array>
<dict>
<key>col</key>
<integer>5</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>224</integer>
</dict>
<dict>
<key>col</key>
<integer>18</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>224</integer>
</dict>
</array>
</dict>
</array>
<key>kind</key>
<string>control</string>
</dict>
<dict>
<key>depth</key>
<integer>0</integer>
<key>extended_message</key>
<string>Null pointer value stored to 'iv'</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>233</integer>
</dict>
<key>message</key>
<string>Null pointer value stored to 'iv'</string>
<key>ranges</key>
<array>
<array>
<dict>
<key>col</key>
<integer>9</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>233</integer>
</dict>
<dict>
<key>col</key>
<integer>17</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>233</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>235</integer>
</dict>
<dict>
<key>col</key>
<integer>13</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>235</integer>
</dict>
</array>
<key>start</key>
<array>
<dict>
<key>col</key>
<integer>9</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>233</integer>
</dict>
<dict>
<key>col</key>
<integer>10</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>233</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>16</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>235</integer>
</dict>
<dict>
<key>col</key>
<integer>18</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>235</integer>
</dict>
</array>
<key>start</key>
<array>
<dict>
<key>col</key>
<integer>9</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>235</integer>
</dict>
<dict>
<key>col</key>
<integer>13</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>235</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 'len' is &gt;= 16</string>
<key>kind</key>
<string>event</string>
<key>location</key>
<dict>
<key>col</key>
<integer>16</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>235</integer>
</dict>
<key>message</key>
<string>Assuming 'len' is &gt;= 16</string>
<key>ranges</key>
<array>
<array>
<dict>
<key>col</key>
<integer>16</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>235</integer>
</dict>
<dict>
<key>col</key>
<integer>36</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>235</integer>
</dict>
</array>
</array>
</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>16</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>235</integer>
</dict>
<key>message</key>
<string>Entering loop body</string>
<key>ranges</key>
<array>
<array>
<dict>
<key>col</key>
<integer>16</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>235</integer>
</dict>
<dict>
<key>col</key>
<integer>36</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>235</integer>
</dict>
</array>
</array>
</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>236</integer>
</dict>
<dict>
<key>col</key>
<integer>15</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>236</integer>
</dict>
</array>
<key>start</key>
<array>
<dict>
<key>col</key>
<integer>16</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>235</integer>
</dict>
<dict>
<key>col</key>
<integer>18</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>235</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>25</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>236</integer>
</dict>
<key>message</key>
<string>Entering loop body</string>
<key>ranges</key>
<array>
<array>
<dict>
<key>col</key>
<integer>25</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>236</integer>
</dict>
<dict>
<key>col</key>
<integer>42</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>236</integer>
</dict>
</array>
</array>
</dict>
<dict>
<key>edges</key>
<array>
<dict>
<key>end</key>
<array>
<dict>
<key>col</key>
<integer>17</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>237</integer>
</dict>
<dict>
<key>col</key>
<integer>19</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>237</integer>
</dict>
</array>
<key>start</key>
<array>
<dict>
<key>col</key>
<integer>13</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>236</integer>
</dict>
<dict>
<key>col</key>
<integer>15</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>236</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>34</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>237</integer>
</dict>
<dict>
<key>col</key>
<integer>35</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>237</integer>
</dict>
</array>
<key>start</key>
<array>
<dict>
<key>col</key>
<integer>17</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>237</integer>
</dict>
<dict>
<key>col</key>
<integer>19</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>237</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 (from variable 'iv') results in a null pointer dereference</string>
<key>kind</key>
<string>event</string>
<key>location</key>
<dict>
<key>col</key>
<integer>34</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>237</integer>
</dict>
<key>message</key>
<string>Array access (from variable 'iv') results in a null pointer dereference</string>
<key>ranges</key>
<array>
<array>
<dict>
<key>col</key>
<integer>34</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>237</integer>
</dict>
<dict>
<key>col</key>
<integer>35</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>237</integer>
</dict>
</array>
</array>
</dict>
</array>
<key>type</key>
<string>Dereference of null pointer</string>
</dict>
<dict>
<key>HTMLDiagnostics_files</key>
<array>
<string>report-dcadf0.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 'iv2') results in a null pointer dereference</string>
<key>issue_context</key>
<string>AES_bi_ige_encrypt</string>
<key>issue_context_kind</key>
<string>function</string>
<key>issue_hash_content_of_line_in_context</key>
<string>909432d5620e88f4fc47fe22aaeb91e8</string>
<key>issue_hash_function_offset</key>
<string>81</string>
<key>location</key>
<dict>
<key>col</key>
<integer>27</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>293</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>220</integer>
</dict>
<dict>
<key>col</key>
<integer>9</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>220</integer>
</dict>
</array>
<key>start</key>
<array>
<dict>
<key>col</key>
<integer>5</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>213</integer>
</dict>
<dict>
<key>col</key>
<integer>10</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>213</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>222</integer>
</dict>
<dict>
<key>col</key>
<integer>18</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>222</integer>
</dict>
</array>
<key>start</key>
<array>
<dict>
<key>col</key>
<integer>5</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>220</integer>
</dict>
<dict>
<key>col</key>
<integer>9</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>220</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>222</integer>
</dict>
<dict>
<key>col</key>
<integer>18</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>222</integer>
</dict>
</array>
<key>start</key>
<array>
<dict>
<key>col</key>
<integer>5</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>222</integer>
</dict>
<dict>
<key>col</key>
<integer>18</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>222</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>222</integer>
</dict>
<dict>
<key>col</key>
<integer>18</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>222</integer>
</dict>
</array>
<key>start</key>
<array>
<dict>
<key>col</key>
<integer>5</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>222</integer>
</dict>
<dict>
<key>col</key>
<integer>18</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>222</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>222</integer>
</dict>
<dict>
<key>col</key>
<integer>18</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>222</integer>
</dict>
</array>
<key>start</key>
<array>
<dict>
<key>col</key>
<integer>5</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>222</integer>
</dict>
<dict>
<key>col</key>
<integer>18</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>222</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>222</integer>
</dict>
<dict>
<key>col</key>
<integer>18</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>222</integer>
</dict>
</array>
<key>start</key>
<array>
<dict>
<key>col</key>
<integer>5</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>222</integer>
</dict>
<dict>
<key>col</key>
<integer>18</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>222</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>222</integer>
</dict>
<dict>
<key>col</key>
<integer>18</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>222</integer>
</dict>
</array>
<key>start</key>
<array>
<dict>
<key>col</key>
<integer>5</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>222</integer>
</dict>
<dict>
<key>col</key>
<integer>18</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>222</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>222</integer>
</dict>
<dict>
<key>col</key>
<integer>18</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>222</integer>
</dict>
</array>
<key>start</key>
<array>
<dict>
<key>col</key>
<integer>5</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>222</integer>
</dict>
<dict>
<key>col</key>
<integer>18</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>222</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>222</integer>
</dict>
<dict>
<key>col</key>
<integer>18</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>222</integer>
</dict>
</array>
<key>start</key>
<array>
<dict>
<key>col</key>
<integer>5</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>222</integer>
</dict>
<dict>
<key>col</key>
<integer>18</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>222</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>222</integer>
</dict>
<dict>
<key>col</key>
<integer>18</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>222</integer>
</dict>
</array>
<key>start</key>
<array>
<dict>
<key>col</key>
<integer>5</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>222</integer>
</dict>
<dict>
<key>col</key>
<integer>18</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>222</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>223</integer>
</dict>
<dict>
<key>col</key>
<integer>18</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>223</integer>
</dict>
</array>
<key>start</key>
<array>
<dict>
<key>col</key>
<integer>5</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>222</integer>
</dict>
<dict>
<key>col</key>
<integer>18</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>222</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>223</integer>
</dict>
<dict>
<key>col</key>
<integer>18</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>223</integer>
</dict>
</array>
<key>start</key>
<array>
<dict>
<key>col</key>
<integer>5</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>223</integer>
</dict>
<dict>
<key>col</key>
<integer>18</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>223</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>223</integer>
</dict>
<dict>
<key>col</key>
<integer>18</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>223</integer>
</dict>
</array>
<key>start</key>
<array>
<dict>
<key>col</key>
<integer>5</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>223</integer>
</dict>
<dict>
<key>col</key>
<integer>18</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>223</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 'enc' is not equal to 1</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>223</integer>
</dict>
<key>message</key>
<string>Assuming 'enc' is not equal to 1</string>
<key>ranges</key>
<array>
<array>
<dict>
<key>col</key>
<integer>5</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>223</integer>
</dict>
<dict>
<key>col</key>
<integer>64</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>223</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>223</integer>
</dict>
<dict>
<key>col</key>
<integer>18</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>223</integer>
</dict>
</array>
<key>start</key>
<array>
<dict>
<key>col</key>
<integer>5</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>223</integer>
</dict>
<dict>
<key>col</key>
<integer>18</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>223</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 'enc' is equal to 0</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>223</integer>
</dict>
<key>message</key>
<string>Assuming 'enc' is equal to 0</string>
<key>ranges</key>
<array>
<array>
<dict>
<key>col</key>
<integer>5</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>223</integer>
</dict>
<dict>
<key>col</key>
<integer>64</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>223</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>223</integer>
</dict>
<dict>
<key>col</key>
<integer>18</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>223</integer>
</dict>
</array>
<key>start</key>
<array>
<dict>
<key>col</key>
<integer>5</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>223</integer>
</dict>
<dict>
<key>col</key>
<integer>18</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>223</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>224</integer>
</dict>
<dict>
<key>col</key>
<integer>18</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>224</integer>
</dict>
</array>
<key>start</key>
<array>
<dict>
<key>col</key>
<integer>5</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>223</integer>
</dict>
<dict>
<key>col</key>
<integer>18</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>223</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>283</integer>
</dict>
<dict>
<key>col</key>
<integer>10</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>283</integer>
</dict>
</array>
<key>start</key>
<array>
<dict>
<key>col</key>
<integer>5</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>224</integer>
</dict>
<dict>
<key>col</key>
<integer>18</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>224</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>284</integer>
</dict>
<dict>
<key>col</key>
<integer>11</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>284</integer>
</dict>
</array>
<key>start</key>
<array>
<dict>
<key>col</key>
<integer>9</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>283</integer>
</dict>
<dict>
<key>col</key>
<integer>10</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>283</integer>
</dict>
</array>
</dict>
</array>
<key>kind</key>
<string>control</string>
</dict>
<dict>
<key>depth</key>
<integer>0</integer>
<key>extended_message</key>
<string>Null pointer value stored to 'iv2'</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>284</integer>
</dict>
<key>message</key>
<string>Null pointer value stored to 'iv2'</string>
<key>ranges</key>
<array>
<array>
<dict>
<key>col</key>
<integer>9</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>284</integer>
</dict>
<dict>
<key>col</key>
<integer>39</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>284</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>287</integer>
</dict>
<dict>
<key>col</key>
<integer>13</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>287</integer>
</dict>
</array>
<key>start</key>
<array>
<dict>
<key>col</key>
<integer>9</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>284</integer>
</dict>
<dict>
<key>col</key>
<integer>11</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>284</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>16</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>287</integer>
</dict>
<dict>
<key>col</key>
<integer>18</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>287</integer>
</dict>
</array>
<key>start</key>
<array>
<dict>
<key>col</key>
<integer>9</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>287</integer>
</dict>
<dict>
<key>col</key>
<integer>13</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>287</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 'len' is &gt;= 16</string>
<key>kind</key>
<string>event</string>
<key>location</key>
<dict>
<key>col</key>
<integer>16</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>287</integer>
</dict>
<key>message</key>
<string>Assuming 'len' is &gt;= 16</string>
<key>ranges</key>
<array>
<array>
<dict>
<key>col</key>
<integer>16</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>287</integer>
</dict>
<dict>
<key>col</key>
<integer>36</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>287</integer>
</dict>
</array>
</array>
</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>16</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>287</integer>
</dict>
<key>message</key>
<string>Entering loop body</string>
<key>ranges</key>
<array>
<array>
<dict>
<key>col</key>
<integer>16</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>287</integer>
</dict>
<dict>
<key>col</key>
<integer>36</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>287</integer>
</dict>
</array>
</array>
</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>288</integer>
</dict>
<dict>
<key>col</key>
<integer>14</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>288</integer>
</dict>
</array>
<key>start</key>
<array>
<dict>
<key>col</key>
<integer>16</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>287</integer>
</dict>
<dict>
<key>col</key>
<integer>18</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>287</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>292</integer>
</dict>
<dict>
<key>col</key>
<integer>15</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>292</integer>
</dict>
</array>
<key>start</key>
<array>
<dict>
<key>col</key>
<integer>13</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>288</integer>
</dict>
<dict>
<key>col</key>
<integer>14</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>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>25</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>292</integer>
</dict>
<key>message</key>
<string>Entering loop body</string>
<key>ranges</key>
<array>
<array>
<dict>
<key>col</key>
<integer>25</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>292</integer>
</dict>
<dict>
<key>col</key>
<integer>42</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>292</integer>
</dict>
</array>
</array>
</dict>
<dict>
<key>edges</key>
<array>
<dict>
<key>end</key>
<array>
<dict>
<key>col</key>
<integer>17</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>293</integer>
</dict>
<dict>
<key>col</key>
<integer>19</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>293</integer>
</dict>
</array>
<key>start</key>
<array>
<dict>
<key>col</key>
<integer>13</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>292</integer>
</dict>
<dict>
<key>col</key>
<integer>15</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>292</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>293</integer>
</dict>
<dict>
<key>col</key>
<integer>29</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>293</integer>
</dict>
</array>
<key>start</key>
<array>
<dict>
<key>col</key>
<integer>17</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>293</integer>
</dict>
<dict>
<key>col</key>
<integer>19</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>293</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 (from variable 'iv2') results in a null pointer dereference</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>293</integer>
</dict>
<key>message</key>
<string>Array access (from variable 'iv2') results in a null pointer dereference</string>
<key>ranges</key>
<array>
<array>
<dict>
<key>col</key>
<integer>27</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>293</integer>
</dict>
<dict>
<key>col</key>
<integer>29</integer>
<key>file</key>
<integer>0</integer>
<key>line</key>
<integer>293</integer>
</dict>
</array>
</array>
</dict>
</array>
<key>type</key>
<string>Dereference of null pointer</string>
</dict>
</array>
<key>files</key>
<array>
<string>aes_ige.c</string>
</array>
</dict>
</plist>