| <?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-8df963.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 's') results in a null pointer dereference</string> |
| <key>issue_context</key> |
| <string>a2i_ASN1_STRING</string> |
| <key>issue_context_kind</key> |
| <string>function</string> |
| <key>issue_hash_content_of_line_in_context</key> |
| <string>7230fc40085e166ebeecc7078093e123</string> |
| <key>issue_hash_function_offset</key> |
| <string>93</string> |
| <key>location</key> |
| <dict> |
| <key>col</key> |
| <integer>28</integer> |
| <key>file</key> |
| <integer>0</integer> |
| <key>line</key> |
| <integer>190</integer> |
| </dict> |
| <key>path</key> |
| <array> |
| <dict> |
| <key>edges</key> |
| <array> |
| <dict> |
| <key>end</key> |
| <array> |
| <dict> |
| <key>col</key> |
| <integer>20</integer> |
| <key>file</key> |
| <integer>0</integer> |
| <key>line</key> |
| <integer>100</integer> |
| </dict> |
| <dict> |
| <key>col</key> |
| <integer>20</integer> |
| <key>file</key> |
| <integer>0</integer> |
| <key>line</key> |
| <integer>100</integer> |
| </dict> |
| </array> |
| <key>start</key> |
| <array> |
| <dict> |
| <key>col</key> |
| <integer>5</integer> |
| <key>file</key> |
| <integer>0</integer> |
| <key>line</key> |
| <integer>98</integer> |
| </dict> |
| <dict> |
| <key>col</key> |
| <integer>7</integer> |
| <key>file</key> |
| <integer>0</integer> |
| <key>line</key> |
| <integer>98</integer> |
| </dict> |
| </array> |
| </dict> |
| </array> |
| <key>kind</key> |
| <string>control</string> |
| </dict> |
| <dict> |
| <key>depth</key> |
| <integer>0</integer> |
| <key>extended_message</key> |
| <string>'s' initialized to a null pointer value</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>'s' initialized to a null pointer value</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>20</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>5</integer> |
| <key>file</key> |
| <integer>0</integer> |
| <key>line</key> |
| <integer>105</integer> |
| </dict> |
| <dict> |
| <key>col</key> |
| <integer>7</integer> |
| <key>file</key> |
| <integer>0</integer> |
| <key>line</key> |
| <integer>105</integer> |
| </dict> |
| </array> |
| <key>start</key> |
| <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>20</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>Entering loop body</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>105</integer> |
| </dict> |
| <key>message</key> |
| <string>Entering loop body</string> |
| <key>ranges</key> |
| <array> |
| <array> |
| <dict> |
| <key>col</key> |
| <integer>5</integer> |
| <key>file</key> |
| <integer>0</integer> |
| <key>line</key> |
| <integer>105</integer> |
| </dict> |
| <dict> |
| <key>col</key> |
| <integer>7</integer> |
| <key>file</key> |
| <integer>0</integer> |
| <key>line</key> |
| <integer>105</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>106</integer> |
| </dict> |
| <dict> |
| <key>col</key> |
| <integer>10</integer> |
| <key>file</key> |
| <integer>0</integer> |
| <key>line</key> |
| <integer>106</integer> |
| </dict> |
| </array> |
| <key>start</key> |
| <array> |
| <dict> |
| <key>col</key> |
| <integer>5</integer> |
| <key>file</key> |
| <integer>0</integer> |
| <key>line</key> |
| <integer>105</integer> |
| </dict> |
| <dict> |
| <key>col</key> |
| <integer>7</integer> |
| <key>file</key> |
| <integer>0</integer> |
| <key>line</key> |
| <integer>105</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>106</integer> |
| </dict> |
| <dict> |
| <key>col</key> |
| <integer>19</integer> |
| <key>file</key> |
| <integer>0</integer> |
| <key>line</key> |
| <integer>106</integer> |
| </dict> |
| </array> |
| <key>start</key> |
| <array> |
| <dict> |
| <key>col</key> |
| <integer>9</integer> |
| <key>file</key> |
| <integer>0</integer> |
| <key>line</key> |
| <integer>106</integer> |
| </dict> |
| <dict> |
| <key>col</key> |
| <integer>10</integer> |
| <key>file</key> |
| <integer>0</integer> |
| <key>line</key> |
| <integer>106</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 'bufsize' is >= 1</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>106</integer> |
| </dict> |
| <key>message</key> |
| <string>Assuming 'bufsize' is >= 1</string> |
| <key>ranges</key> |
| <array> |
| <array> |
| <dict> |
| <key>col</key> |
| <integer>13</integer> |
| <key>file</key> |
| <integer>0</integer> |
| <key>line</key> |
| <integer>106</integer> |
| </dict> |
| <dict> |
| <key>col</key> |
| <integer>23</integer> |
| <key>file</key> |
| <integer>0</integer> |
| <key>line</key> |
| <integer>106</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>112</integer> |
| </dict> |
| <dict> |
| <key>col</key> |
| <integer>13</integer> |
| <key>file</key> |
| <integer>0</integer> |
| <key>line</key> |
| <integer>112</integer> |
| </dict> |
| </array> |
| <key>start</key> |
| <array> |
| <dict> |
| <key>col</key> |
| <integer>13</integer> |
| <key>file</key> |
| <integer>0</integer> |
| <key>line</key> |
| <integer>106</integer> |
| </dict> |
| <dict> |
| <key>col</key> |
| <integer>19</integer> |
| <key>file</key> |
| <integer>0</integer> |
| <key>line</key> |
| <integer>106</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>115</integer> |
| </dict> |
| <dict> |
| <key>col</key> |
| <integer>10</integer> |
| <key>file</key> |
| <integer>0</integer> |
| <key>line</key> |
| <integer>115</integer> |
| </dict> |
| </array> |
| <key>start</key> |
| <array> |
| <dict> |
| <key>col</key> |
| <integer>9</integer> |
| <key>file</key> |
| <integer>0</integer> |
| <key>line</key> |
| <integer>112</integer> |
| </dict> |
| <dict> |
| <key>col</key> |
| <integer>13</integer> |
| <key>file</key> |
| <integer>0</integer> |
| <key>line</key> |
| <integer>112</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>117</integer> |
| </dict> |
| <dict> |
| <key>col</key> |
| <integer>10</integer> |
| <key>file</key> |
| <integer>0</integer> |
| <key>line</key> |
| <integer>117</integer> |
| </dict> |
| </array> |
| <key>start</key> |
| <array> |
| <dict> |
| <key>col</key> |
| <integer>9</integer> |
| <key>file</key> |
| <integer>0</integer> |
| <key>line</key> |
| <integer>115</integer> |
| </dict> |
| <dict> |
| <key>col</key> |
| <integer>10</integer> |
| <key>file</key> |
| <integer>0</integer> |
| <key>line</key> |
| <integer>115</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>119</integer> |
| </dict> |
| <dict> |
| <key>col</key> |
| <integer>10</integer> |
| <key>file</key> |
| <integer>0</integer> |
| <key>line</key> |
| <integer>119</integer> |
| </dict> |
| </array> |
| <key>start</key> |
| <array> |
| <dict> |
| <key>col</key> |
| <integer>9</integer> |
| <key>file</key> |
| <integer>0</integer> |
| <key>line</key> |
| <integer>117</integer> |
| </dict> |
| <dict> |
| <key>col</key> |
| <integer>10</integer> |
| <key>file</key> |
| <integer>0</integer> |
| <key>line</key> |
| <integer>117</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>121</integer> |
| </dict> |
| <dict> |
| <key>col</key> |
| <integer>10</integer> |
| <key>file</key> |
| <integer>0</integer> |
| <key>line</key> |
| <integer>121</integer> |
| </dict> |
| </array> |
| <key>start</key> |
| <array> |
| <dict> |
| <key>col</key> |
| <integer>9</integer> |
| <key>file</key> |
| <integer>0</integer> |
| <key>line</key> |
| <integer>119</integer> |
| </dict> |
| <dict> |
| <key>col</key> |
| <integer>10</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>9</integer> |
| <key>file</key> |
| <integer>0</integer> |
| <key>line</key> |
| <integer>123</integer> |
| </dict> |
| <dict> |
| <key>col</key> |
| <integer>13</integer> |
| <key>file</key> |
| <integer>0</integer> |
| <key>line</key> |
| <integer>123</integer> |
| </dict> |
| </array> |
| <key>start</key> |
| <array> |
| <dict> |
| <key>col</key> |
| <integer>9</integer> |
| <key>file</key> |
| <integer>0</integer> |
| <key>line</key> |
| <integer>121</integer> |
| </dict> |
| <dict> |
| <key>col</key> |
| <integer>10</integer> |
| <key>file</key> |
| <integer>0</integer> |
| <key>line</key> |
| <integer>121</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>125</integer> |
| </dict> |
| <dict> |
| <key>col</key> |
| <integer>11</integer> |
| <key>file</key> |
| <integer>0</integer> |
| <key>line</key> |
| <integer>125</integer> |
| </dict> |
| </array> |
| <key>start</key> |
| <array> |
| <dict> |
| <key>col</key> |
| <integer>9</integer> |
| <key>file</key> |
| <integer>0</integer> |
| <key>line</key> |
| <integer>123</integer> |
| </dict> |
| <dict> |
| <key>col</key> |
| <integer>13</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>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>125</integer> |
| </dict> |
| <dict> |
| <key>col</key> |
| <integer>25</integer> |
| <key>file</key> |
| <integer>0</integer> |
| <key>line</key> |
| <integer>125</integer> |
| </dict> |
| </array> |
| <key>start</key> |
| <array> |
| <dict> |
| <key>col</key> |
| <integer>9</integer> |
| <key>file</key> |
| <integer>0</integer> |
| <key>line</key> |
| <integer>125</integer> |
| </dict> |
| <dict> |
| <key>col</key> |
| <integer>11</integer> |
| <key>file</key> |
| <integer>0</integer> |
| <key>line</key> |
| <integer>125</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 'j' is > 0</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>125</integer> |
| </dict> |
| <key>message</key> |
| <string>Assuming 'j' is > 0</string> |
| <key>ranges</key> |
| <array> |
| <array> |
| <dict> |
| <key>col</key> |
| <integer>25</integer> |
| <key>file</key> |
| <integer>0</integer> |
| <key>line</key> |
| <integer>125</integer> |
| </dict> |
| <dict> |
| <key>col</key> |
| <integer>29</integer> |
| <key>file</key> |
| <integer>0</integer> |
| <key>line</key> |
| <integer>125</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>25</integer> |
| <key>file</key> |
| <integer>0</integer> |
| <key>line</key> |
| <integer>125</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>125</integer> |
| </dict> |
| <dict> |
| <key>col</key> |
| <integer>29</integer> |
| <key>file</key> |
| <integer>0</integer> |
| <key>line</key> |
| <integer>125</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>139</integer> |
| </dict> |
| <dict> |
| <key>col</key> |
| <integer>17</integer> |
| <key>file</key> |
| <integer>0</integer> |
| <key>line</key> |
| <integer>139</integer> |
| </dict> |
| </array> |
| <key>start</key> |
| <array> |
| <dict> |
| <key>col</key> |
| <integer>25</integer> |
| <key>file</key> |
| <integer>0</integer> |
| <key>line</key> |
| <integer>125</integer> |
| </dict> |
| <dict> |
| <key>col</key> |
| <integer>25</integer> |
| <key>file</key> |
| <integer>0</integer> |
| <key>line</key> |
| <integer>125</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>140</integer> |
| </dict> |
| <dict> |
| <key>col</key> |
| <integer>21</integer> |
| <key>file</key> |
| <integer>0</integer> |
| <key>line</key> |
| <integer>140</integer> |
| </dict> |
| </array> |
| <key>start</key> |
| <array> |
| <dict> |
| <key>col</key> |
| <integer>17</integer> |
| <key>file</key> |
| <integer>0</integer> |
| <key>line</key> |
| <integer>139</integer> |
| </dict> |
| <dict> |
| <key>col</key> |
| <integer>17</integer> |
| <key>file</key> |
| <integer>0</integer> |
| <key>line</key> |
| <integer>139</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>143</integer> |
| </dict> |
| <dict> |
| <key>col</key> |
| <integer>11</integer> |
| <key>file</key> |
| <integer>0</integer> |
| <key>line</key> |
| <integer>143</integer> |
| </dict> |
| </array> |
| <key>start</key> |
| <array> |
| <dict> |
| <key>col</key> |
| <integer>17</integer> |
| <key>file</key> |
| <integer>0</integer> |
| <key>line</key> |
| <integer>140</integer> |
| </dict> |
| <dict> |
| <key>col</key> |
| <integer>21</integer> |
| <key>file</key> |
| <integer>0</integer> |
| <key>line</key> |
| <integer>140</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>147</integer> |
| </dict> |
| <dict> |
| <key>col</key> |
| <integer>10</integer> |
| <key>file</key> |
| <integer>0</integer> |
| <key>line</key> |
| <integer>147</integer> |
| </dict> |
| </array> |
| <key>start</key> |
| <array> |
| <dict> |
| <key>col</key> |
| <integer>9</integer> |
| <key>file</key> |
| <integer>0</integer> |
| <key>line</key> |
| <integer>143</integer> |
| </dict> |
| <dict> |
| <key>col</key> |
| <integer>11</integer> |
| <key>file</key> |
| <integer>0</integer> |
| <key>line</key> |
| <integer>143</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>147</integer> |
| </dict> |
| <dict> |
| <key>col</key> |
| <integer>13</integer> |
| <key>file</key> |
| <integer>0</integer> |
| <key>line</key> |
| <integer>147</integer> |
| </dict> |
| </array> |
| <key>start</key> |
| <array> |
| <dict> |
| <key>col</key> |
| <integer>9</integer> |
| <key>file</key> |
| <integer>0</integer> |
| <key>line</key> |
| <integer>147</integer> |
| </dict> |
| <dict> |
| <key>col</key> |
| <integer>10</integer> |
| <key>file</key> |
| <integer>0</integer> |
| <key>line</key> |
| <integer>147</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 'i' is >= 2</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>147</integer> |
| </dict> |
| <key>message</key> |
| <string>Assuming 'i' is >= 2</string> |
| <key>ranges</key> |
| <array> |
| <array> |
| <dict> |
| <key>col</key> |
| <integer>13</integer> |
| <key>file</key> |
| <integer>0</integer> |
| <key>line</key> |
| <integer>147</integer> |
| </dict> |
| <dict> |
| <key>col</key> |
| <integer>17</integer> |
| <key>file</key> |
| <integer>0</integer> |
| <key>line</key> |
| <integer>147</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>150</integer> |
| </dict> |
| <dict> |
| <key>col</key> |
| <integer>12</integer> |
| <key>file</key> |
| <integer>0</integer> |
| <key>line</key> |
| <integer>150</integer> |
| </dict> |
| </array> |
| <key>start</key> |
| <array> |
| <dict> |
| <key>col</key> |
| <integer>13</integer> |
| <key>file</key> |
| <integer>0</integer> |
| <key>line</key> |
| <integer>147</integer> |
| </dict> |
| <dict> |
| <key>col</key> |
| <integer>13</integer> |
| <key>file</key> |
| <integer>0</integer> |
| <key>line</key> |
| <integer>147</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>154</integer> |
| </dict> |
| <dict> |
| <key>col</key> |
| <integer>10</integer> |
| <key>file</key> |
| <integer>0</integer> |
| <key>line</key> |
| <integer>154</integer> |
| </dict> |
| </array> |
| <key>start</key> |
| <array> |
| <dict> |
| <key>col</key> |
| <integer>9</integer> |
| <key>file</key> |
| <integer>0</integer> |
| <key>line</key> |
| <integer>150</integer> |
| </dict> |
| <dict> |
| <key>col</key> |
| <integer>12</integer> |
| <key>file</key> |
| <integer>0</integer> |
| <key>line</key> |
| <integer>150</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>158</integer> |
| </dict> |
| <dict> |
| <key>col</key> |
| <integer>9</integer> |
| <key>file</key> |
| <integer>0</integer> |
| <key>line</key> |
| <integer>158</integer> |
| </dict> |
| </array> |
| <key>start</key> |
| <array> |
| <dict> |
| <key>col</key> |
| <integer>9</integer> |
| <key>file</key> |
| <integer>0</integer> |
| <key>line</key> |
| <integer>154</integer> |
| </dict> |
| <dict> |
| <key>col</key> |
| <integer>10</integer> |
| <key>file</key> |
| <integer>0</integer> |
| <key>line</key> |
| <integer>154</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>159</integer> |
| </dict> |
| <dict> |
| <key>col</key> |
| <integer>10</integer> |
| <key>file</key> |
| <integer>0</integer> |
| <key>line</key> |
| <integer>159</integer> |
| </dict> |
| </array> |
| <key>start</key> |
| <array> |
| <dict> |
| <key>col</key> |
| <integer>9</integer> |
| <key>file</key> |
| <integer>0</integer> |
| <key>line</key> |
| <integer>158</integer> |
| </dict> |
| <dict> |
| <key>col</key> |
| <integer>9</integer> |
| <key>file</key> |
| <integer>0</integer> |
| <key>line</key> |
| <integer>158</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>176</integer> |
| </dict> |
| <dict> |
| <key>col</key> |
| <integer>11</integer> |
| <key>file</key> |
| <integer>0</integer> |
| <key>line</key> |
| <integer>176</integer> |
| </dict> |
| </array> |
| <key>start</key> |
| <array> |
| <dict> |
| <key>col</key> |
| <integer>9</integer> |
| <key>file</key> |
| <integer>0</integer> |
| <key>line</key> |
| <integer>159</integer> |
| </dict> |
| <dict> |
| <key>col</key> |
| <integer>10</integer> |
| <key>file</key> |
| <integer>0</integer> |
| <key>line</key> |
| <integer>159</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>21</integer> |
| <key>file</key> |
| <integer>0</integer> |
| <key>line</key> |
| <integer>176</integer> |
| </dict> |
| <key>message</key> |
| <string>Loop body executed 0 times</string> |
| <key>ranges</key> |
| <array> |
| <array> |
| <dict> |
| <key>col</key> |
| <integer>21</integer> |
| <key>file</key> |
| <integer>0</integer> |
| <key>line</key> |
| <integer>176</integer> |
| </dict> |
| <dict> |
| <key>col</key> |
| <integer>25</integer> |
| <key>file</key> |
| <integer>0</integer> |
| <key>line</key> |
| <integer>176</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>194</integer> |
| </dict> |
| <dict> |
| <key>col</key> |
| <integer>11</integer> |
| <key>file</key> |
| <integer>0</integer> |
| <key>line</key> |
| <integer>194</integer> |
| </dict> |
| </array> |
| <key>start</key> |
| <array> |
| <dict> |
| <key>col</key> |
| <integer>9</integer> |
| <key>file</key> |
| <integer>0</integer> |
| <key>line</key> |
| <integer>176</integer> |
| </dict> |
| <dict> |
| <key>col</key> |
| <integer>11</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>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>195</integer> |
| </dict> |
| <dict> |
| <key>col</key> |
| <integer>10</integer> |
| <key>file</key> |
| <integer>0</integer> |
| <key>line</key> |
| <integer>195</integer> |
| </dict> |
| </array> |
| <key>start</key> |
| <array> |
| <dict> |
| <key>col</key> |
| <integer>9</integer> |
| <key>file</key> |
| <integer>0</integer> |
| <key>line</key> |
| <integer>194</integer> |
| </dict> |
| <dict> |
| <key>col</key> |
| <integer>11</integer> |
| <key>file</key> |
| <integer>0</integer> |
| <key>line</key> |
| <integer>194</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>195</integer> |
| </dict> |
| <dict> |
| <key>col</key> |
| <integer>17</integer> |
| <key>file</key> |
| <integer>0</integer> |
| <key>line</key> |
| <integer>195</integer> |
| </dict> |
| </array> |
| <key>start</key> |
| <array> |
| <dict> |
| <key>col</key> |
| <integer>9</integer> |
| <key>file</key> |
| <integer>0</integer> |
| <key>line</key> |
| <integer>195</integer> |
| </dict> |
| <dict> |
| <key>col</key> |
| <integer>10</integer> |
| <key>file</key> |
| <integer>0</integer> |
| <key>line</key> |
| <integer>195</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 'again' is not equal to 0</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>195</integer> |
| </dict> |
| <key>message</key> |
| <string>Assuming 'again' is not equal to 0</string> |
| <key>ranges</key> |
| <array> |
| <array> |
| <dict> |
| <key>col</key> |
| <integer>13</integer> |
| <key>file</key> |
| <integer>0</integer> |
| <key>line</key> |
| <integer>195</integer> |
| </dict> |
| <dict> |
| <key>col</key> |
| <integer>17</integer> |
| <key>file</key> |
| <integer>0</integer> |
| <key>line</key> |
| <integer>195</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>196</integer> |
| </dict> |
| <dict> |
| <key>col</key> |
| <integer>19</integer> |
| <key>file</key> |
| <integer>0</integer> |
| <key>line</key> |
| <integer>196</integer> |
| </dict> |
| </array> |
| <key>start</key> |
| <array> |
| <dict> |
| <key>col</key> |
| <integer>13</integer> |
| <key>file</key> |
| <integer>0</integer> |
| <key>line</key> |
| <integer>195</integer> |
| </dict> |
| <dict> |
| <key>col</key> |
| <integer>17</integer> |
| <key>file</key> |
| <integer>0</integer> |
| <key>line</key> |
| <integer>195</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>199</integer> |
| </dict> |
| <dict> |
| <key>col</key> |
| <integer>5</integer> |
| <key>file</key> |
| <integer>0</integer> |
| <key>line</key> |
| <integer>199</integer> |
| </dict> |
| </array> |
| <key>start</key> |
| <array> |
| <dict> |
| <key>col</key> |
| <integer>13</integer> |
| <key>file</key> |
| <integer>0</integer> |
| <key>line</key> |
| <integer>196</integer> |
| </dict> |
| <dict> |
| <key>col</key> |
| <integer>19</integer> |
| <key>file</key> |
| <integer>0</integer> |
| <key>line</key> |
| <integer>196</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>105</integer> |
| </dict> |
| <dict> |
| <key>col</key> |
| <integer>7</integer> |
| <key>file</key> |
| <integer>0</integer> |
| <key>line</key> |
| <integer>105</integer> |
| </dict> |
| </array> |
| <key>start</key> |
| <array> |
| <dict> |
| <key>col</key> |
| <integer>5</integer> |
| <key>file</key> |
| <integer>0</integer> |
| <key>line</key> |
| <integer>199</integer> |
| </dict> |
| <dict> |
| <key>col</key> |
| <integer>5</integer> |
| <key>file</key> |
| <integer>0</integer> |
| <key>line</key> |
| <integer>199</integer> |
| </dict> |
| </array> |
| </dict> |
| </array> |
| <key>kind</key> |
| <string>control</string> |
| </dict> |
| <dict> |
| <key>depth</key> |
| <integer>0</integer> |
| <key>extended_message</key> |
| <string>Looping back to the head of the loop</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>105</integer> |
| </dict> |
| <key>message</key> |
| <string>Looping back to the head of the loop</string> |
| <key>ranges</key> |
| <array> |
| <array> |
| <dict> |
| <key>col</key> |
| <integer>5</integer> |
| <key>file</key> |
| <integer>0</integer> |
| <key>line</key> |
| <integer>105</integer> |
| </dict> |
| <dict> |
| <key>col</key> |
| <integer>7</integer> |
| <key>file</key> |
| <integer>0</integer> |
| <key>line</key> |
| <integer>105</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>5</integer> |
| <key>file</key> |
| <integer>0</integer> |
| <key>line</key> |
| <integer>105</integer> |
| </dict> |
| <key>message</key> |
| <string>Entering loop body</string> |
| <key>ranges</key> |
| <array> |
| <array> |
| <dict> |
| <key>col</key> |
| <integer>5</integer> |
| <key>file</key> |
| <integer>0</integer> |
| <key>line</key> |
| <integer>105</integer> |
| </dict> |
| <dict> |
| <key>col</key> |
| <integer>7</integer> |
| <key>file</key> |
| <integer>0</integer> |
| <key>line</key> |
| <integer>105</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>106</integer> |
| </dict> |
| <dict> |
| <key>col</key> |
| <integer>10</integer> |
| <key>file</key> |
| <integer>0</integer> |
| <key>line</key> |
| <integer>106</integer> |
| </dict> |
| </array> |
| <key>start</key> |
| <array> |
| <dict> |
| <key>col</key> |
| <integer>5</integer> |
| <key>file</key> |
| <integer>0</integer> |
| <key>line</key> |
| <integer>105</integer> |
| </dict> |
| <dict> |
| <key>col</key> |
| <integer>7</integer> |
| <key>file</key> |
| <integer>0</integer> |
| <key>line</key> |
| <integer>105</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>106</integer> |
| </dict> |
| <dict> |
| <key>col</key> |
| <integer>19</integer> |
| <key>file</key> |
| <integer>0</integer> |
| <key>line</key> |
| <integer>106</integer> |
| </dict> |
| </array> |
| <key>start</key> |
| <array> |
| <dict> |
| <key>col</key> |
| <integer>9</integer> |
| <key>file</key> |
| <integer>0</integer> |
| <key>line</key> |
| <integer>106</integer> |
| </dict> |
| <dict> |
| <key>col</key> |
| <integer>10</integer> |
| <key>file</key> |
| <integer>0</integer> |
| <key>line</key> |
| <integer>106</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 'bufsize' is >= 1</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>106</integer> |
| </dict> |
| <key>message</key> |
| <string>Assuming 'bufsize' is >= 1</string> |
| <key>ranges</key> |
| <array> |
| <array> |
| <dict> |
| <key>col</key> |
| <integer>13</integer> |
| <key>file</key> |
| <integer>0</integer> |
| <key>line</key> |
| <integer>106</integer> |
| </dict> |
| <dict> |
| <key>col</key> |
| <integer>23</integer> |
| <key>file</key> |
| <integer>0</integer> |
| <key>line</key> |
| <integer>106</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>112</integer> |
| </dict> |
| <dict> |
| <key>col</key> |
| <integer>13</integer> |
| <key>file</key> |
| <integer>0</integer> |
| <key>line</key> |
| <integer>112</integer> |
| </dict> |
| </array> |
| <key>start</key> |
| <array> |
| <dict> |
| <key>col</key> |
| <integer>13</integer> |
| <key>file</key> |
| <integer>0</integer> |
| <key>line</key> |
| <integer>106</integer> |
| </dict> |
| <dict> |
| <key>col</key> |
| <integer>19</integer> |
| <key>file</key> |
| <integer>0</integer> |
| <key>line</key> |
| <integer>106</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>115</integer> |
| </dict> |
| <dict> |
| <key>col</key> |
| <integer>10</integer> |
| <key>file</key> |
| <integer>0</integer> |
| <key>line</key> |
| <integer>115</integer> |
| </dict> |
| </array> |
| <key>start</key> |
| <array> |
| <dict> |
| <key>col</key> |
| <integer>9</integer> |
| <key>file</key> |
| <integer>0</integer> |
| <key>line</key> |
| <integer>112</integer> |
| </dict> |
| <dict> |
| <key>col</key> |
| <integer>13</integer> |
| <key>file</key> |
| <integer>0</integer> |
| <key>line</key> |
| <integer>112</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>117</integer> |
| </dict> |
| <dict> |
| <key>col</key> |
| <integer>10</integer> |
| <key>file</key> |
| <integer>0</integer> |
| <key>line</key> |
| <integer>117</integer> |
| </dict> |
| </array> |
| <key>start</key> |
| <array> |
| <dict> |
| <key>col</key> |
| <integer>9</integer> |
| <key>file</key> |
| <integer>0</integer> |
| <key>line</key> |
| <integer>115</integer> |
| </dict> |
| <dict> |
| <key>col</key> |
| <integer>10</integer> |
| <key>file</key> |
| <integer>0</integer> |
| <key>line</key> |
| <integer>115</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>119</integer> |
| </dict> |
| <dict> |
| <key>col</key> |
| <integer>10</integer> |
| <key>file</key> |
| <integer>0</integer> |
| <key>line</key> |
| <integer>119</integer> |
| </dict> |
| </array> |
| <key>start</key> |
| <array> |
| <dict> |
| <key>col</key> |
| <integer>9</integer> |
| <key>file</key> |
| <integer>0</integer> |
| <key>line</key> |
| <integer>117</integer> |
| </dict> |
| <dict> |
| <key>col</key> |
| <integer>10</integer> |
| <key>file</key> |
| <integer>0</integer> |
| <key>line</key> |
| <integer>117</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>121</integer> |
| </dict> |
| <dict> |
| <key>col</key> |
| <integer>10</integer> |
| <key>file</key> |
| <integer>0</integer> |
| <key>line</key> |
| <integer>121</integer> |
| </dict> |
| </array> |
| <key>start</key> |
| <array> |
| <dict> |
| <key>col</key> |
| <integer>9</integer> |
| <key>file</key> |
| <integer>0</integer> |
| <key>line</key> |
| <integer>119</integer> |
| </dict> |
| <dict> |
| <key>col</key> |
| <integer>10</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>9</integer> |
| <key>file</key> |
| <integer>0</integer> |
| <key>line</key> |
| <integer>123</integer> |
| </dict> |
| <dict> |
| <key>col</key> |
| <integer>13</integer> |
| <key>file</key> |
| <integer>0</integer> |
| <key>line</key> |
| <integer>123</integer> |
| </dict> |
| </array> |
| <key>start</key> |
| <array> |
| <dict> |
| <key>col</key> |
| <integer>9</integer> |
| <key>file</key> |
| <integer>0</integer> |
| <key>line</key> |
| <integer>121</integer> |
| </dict> |
| <dict> |
| <key>col</key> |
| <integer>10</integer> |
| <key>file</key> |
| <integer>0</integer> |
| <key>line</key> |
| <integer>121</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>125</integer> |
| </dict> |
| <dict> |
| <key>col</key> |
| <integer>11</integer> |
| <key>file</key> |
| <integer>0</integer> |
| <key>line</key> |
| <integer>125</integer> |
| </dict> |
| </array> |
| <key>start</key> |
| <array> |
| <dict> |
| <key>col</key> |
| <integer>9</integer> |
| <key>file</key> |
| <integer>0</integer> |
| <key>line</key> |
| <integer>123</integer> |
| </dict> |
| <dict> |
| <key>col</key> |
| <integer>13</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>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>125</integer> |
| </dict> |
| <dict> |
| <key>col</key> |
| <integer>25</integer> |
| <key>file</key> |
| <integer>0</integer> |
| <key>line</key> |
| <integer>125</integer> |
| </dict> |
| </array> |
| <key>start</key> |
| <array> |
| <dict> |
| <key>col</key> |
| <integer>9</integer> |
| <key>file</key> |
| <integer>0</integer> |
| <key>line</key> |
| <integer>125</integer> |
| </dict> |
| <dict> |
| <key>col</key> |
| <integer>11</integer> |
| <key>file</key> |
| <integer>0</integer> |
| <key>line</key> |
| <integer>125</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 'j' is > 0</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>125</integer> |
| </dict> |
| <key>message</key> |
| <string>Assuming 'j' is > 0</string> |
| <key>ranges</key> |
| <array> |
| <array> |
| <dict> |
| <key>col</key> |
| <integer>25</integer> |
| <key>file</key> |
| <integer>0</integer> |
| <key>line</key> |
| <integer>125</integer> |
| </dict> |
| <dict> |
| <key>col</key> |
| <integer>29</integer> |
| <key>file</key> |
| <integer>0</integer> |
| <key>line</key> |
| <integer>125</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>25</integer> |
| <key>file</key> |
| <integer>0</integer> |
| <key>line</key> |
| <integer>125</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>125</integer> |
| </dict> |
| <dict> |
| <key>col</key> |
| <integer>29</integer> |
| <key>file</key> |
| <integer>0</integer> |
| <key>line</key> |
| <integer>125</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>139</integer> |
| </dict> |
| <dict> |
| <key>col</key> |
| <integer>17</integer> |
| <key>file</key> |
| <integer>0</integer> |
| <key>line</key> |
| <integer>139</integer> |
| </dict> |
| </array> |
| <key>start</key> |
| <array> |
| <dict> |
| <key>col</key> |
| <integer>25</integer> |
| <key>file</key> |
| <integer>0</integer> |
| <key>line</key> |
| <integer>125</integer> |
| </dict> |
| <dict> |
| <key>col</key> |
| <integer>25</integer> |
| <key>file</key> |
| <integer>0</integer> |
| <key>line</key> |
| <integer>125</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>140</integer> |
| </dict> |
| <dict> |
| <key>col</key> |
| <integer>21</integer> |
| <key>file</key> |
| <integer>0</integer> |
| <key>line</key> |
| <integer>140</integer> |
| </dict> |
| </array> |
| <key>start</key> |
| <array> |
| <dict> |
| <key>col</key> |
| <integer>17</integer> |
| <key>file</key> |
| <integer>0</integer> |
| <key>line</key> |
| <integer>139</integer> |
| </dict> |
| <dict> |
| <key>col</key> |
| <integer>17</integer> |
| <key>file</key> |
| <integer>0</integer> |
| <key>line</key> |
| <integer>139</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>143</integer> |
| </dict> |
| <dict> |
| <key>col</key> |
| <integer>11</integer> |
| <key>file</key> |
| <integer>0</integer> |
| <key>line</key> |
| <integer>143</integer> |
| </dict> |
| </array> |
| <key>start</key> |
| <array> |
| <dict> |
| <key>col</key> |
| <integer>17</integer> |
| <key>file</key> |
| <integer>0</integer> |
| <key>line</key> |
| <integer>140</integer> |
| </dict> |
| <dict> |
| <key>col</key> |
| <integer>21</integer> |
| <key>file</key> |
| <integer>0</integer> |
| <key>line</key> |
| <integer>140</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>147</integer> |
| </dict> |
| <dict> |
| <key>col</key> |
| <integer>10</integer> |
| <key>file</key> |
| <integer>0</integer> |
| <key>line</key> |
| <integer>147</integer> |
| </dict> |
| </array> |
| <key>start</key> |
| <array> |
| <dict> |
| <key>col</key> |
| <integer>9</integer> |
| <key>file</key> |
| <integer>0</integer> |
| <key>line</key> |
| <integer>143</integer> |
| </dict> |
| <dict> |
| <key>col</key> |
| <integer>11</integer> |
| <key>file</key> |
| <integer>0</integer> |
| <key>line</key> |
| <integer>143</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>147</integer> |
| </dict> |
| <dict> |
| <key>col</key> |
| <integer>13</integer> |
| <key>file</key> |
| <integer>0</integer> |
| <key>line</key> |
| <integer>147</integer> |
| </dict> |
| </array> |
| <key>start</key> |
| <array> |
| <dict> |
| <key>col</key> |
| <integer>9</integer> |
| <key>file</key> |
| <integer>0</integer> |
| <key>line</key> |
| <integer>147</integer> |
| </dict> |
| <dict> |
| <key>col</key> |
| <integer>10</integer> |
| <key>file</key> |
| <integer>0</integer> |
| <key>line</key> |
| <integer>147</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 'i' is >= 2</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>147</integer> |
| </dict> |
| <key>message</key> |
| <string>Assuming 'i' is >= 2</string> |
| <key>ranges</key> |
| <array> |
| <array> |
| <dict> |
| <key>col</key> |
| <integer>13</integer> |
| <key>file</key> |
| <integer>0</integer> |
| <key>line</key> |
| <integer>147</integer> |
| </dict> |
| <dict> |
| <key>col</key> |
| <integer>17</integer> |
| <key>file</key> |
| <integer>0</integer> |
| <key>line</key> |
| <integer>147</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>150</integer> |
| </dict> |
| <dict> |
| <key>col</key> |
| <integer>12</integer> |
| <key>file</key> |
| <integer>0</integer> |
| <key>line</key> |
| <integer>150</integer> |
| </dict> |
| </array> |
| <key>start</key> |
| <array> |
| <dict> |
| <key>col</key> |
| <integer>13</integer> |
| <key>file</key> |
| <integer>0</integer> |
| <key>line</key> |
| <integer>147</integer> |
| </dict> |
| <dict> |
| <key>col</key> |
| <integer>13</integer> |
| <key>file</key> |
| <integer>0</integer> |
| <key>line</key> |
| <integer>147</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>154</integer> |
| </dict> |
| <dict> |
| <key>col</key> |
| <integer>10</integer> |
| <key>file</key> |
| <integer>0</integer> |
| <key>line</key> |
| <integer>154</integer> |
| </dict> |
| </array> |
| <key>start</key> |
| <array> |
| <dict> |
| <key>col</key> |
| <integer>9</integer> |
| <key>file</key> |
| <integer>0</integer> |
| <key>line</key> |
| <integer>150</integer> |
| </dict> |
| <dict> |
| <key>col</key> |
| <integer>12</integer> |
| <key>file</key> |
| <integer>0</integer> |
| <key>line</key> |
| <integer>150</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>158</integer> |
| </dict> |
| <dict> |
| <key>col</key> |
| <integer>9</integer> |
| <key>file</key> |
| <integer>0</integer> |
| <key>line</key> |
| <integer>158</integer> |
| </dict> |
| </array> |
| <key>start</key> |
| <array> |
| <dict> |
| <key>col</key> |
| <integer>9</integer> |
| <key>file</key> |
| <integer>0</integer> |
| <key>line</key> |
| <integer>154</integer> |
| </dict> |
| <dict> |
| <key>col</key> |
| <integer>10</integer> |
| <key>file</key> |
| <integer>0</integer> |
| <key>line</key> |
| <integer>154</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>159</integer> |
| </dict> |
| <dict> |
| <key>col</key> |
| <integer>10</integer> |
| <key>file</key> |
| <integer>0</integer> |
| <key>line</key> |
| <integer>159</integer> |
| </dict> |
| </array> |
| <key>start</key> |
| <array> |
| <dict> |
| <key>col</key> |
| <integer>9</integer> |
| <key>file</key> |
| <integer>0</integer> |
| <key>line</key> |
| <integer>158</integer> |
| </dict> |
| <dict> |
| <key>col</key> |
| <integer>9</integer> |
| <key>file</key> |
| <integer>0</integer> |
| <key>line</key> |
| <integer>158</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>176</integer> |
| </dict> |
| <dict> |
| <key>col</key> |
| <integer>11</integer> |
| <key>file</key> |
| <integer>0</integer> |
| <key>line</key> |
| <integer>176</integer> |
| </dict> |
| </array> |
| <key>start</key> |
| <array> |
| <dict> |
| <key>col</key> |
| <integer>9</integer> |
| <key>file</key> |
| <integer>0</integer> |
| <key>line</key> |
| <integer>159</integer> |
| </dict> |
| <dict> |
| <key>col</key> |
| <integer>10</integer> |
| <key>file</key> |
| <integer>0</integer> |
| <key>line</key> |
| <integer>159</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>21</integer> |
| <key>file</key> |
| <integer>0</integer> |
| <key>line</key> |
| <integer>176</integer> |
| </dict> |
| <dict> |
| <key>col</key> |
| <integer>21</integer> |
| <key>file</key> |
| <integer>0</integer> |
| <key>line</key> |
| <integer>176</integer> |
| </dict> |
| </array> |
| <key>start</key> |
| <array> |
| <dict> |
| <key>col</key> |
| <integer>9</integer> |
| <key>file</key> |
| <integer>0</integer> |
| <key>line</key> |
| <integer>176</integer> |
| </dict> |
| <dict> |
| <key>col</key> |
| <integer>11</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>Assuming 'j' is < 'i'</string> |
| <key>kind</key> |
| <string>event</string> |
| <key>location</key> |
| <dict> |
| <key>col</key> |
| <integer>21</integer> |
| <key>file</key> |
| <integer>0</integer> |
| <key>line</key> |
| <integer>176</integer> |
| </dict> |
| <key>message</key> |
| <string>Assuming 'j' is < 'i'</string> |
| <key>ranges</key> |
| <array> |
| <array> |
| <dict> |
| <key>col</key> |
| <integer>21</integer> |
| <key>file</key> |
| <integer>0</integer> |
| <key>line</key> |
| <integer>176</integer> |
| </dict> |
| <dict> |
| <key>col</key> |
| <integer>25</integer> |
| <key>file</key> |
| <integer>0</integer> |
| <key>line</key> |
| <integer>176</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>21</integer> |
| <key>file</key> |
| <integer>0</integer> |
| <key>line</key> |
| <integer>176</integer> |
| </dict> |
| <key>message</key> |
| <string>Entering loop body</string> |
| <key>ranges</key> |
| <array> |
| <array> |
| <dict> |
| <key>col</key> |
| <integer>21</integer> |
| <key>file</key> |
| <integer>0</integer> |
| <key>line</key> |
| <integer>176</integer> |
| </dict> |
| <dict> |
| <key>col</key> |
| <integer>25</integer> |
| <key>file</key> |
| <integer>0</integer> |
| <key>line</key> |
| <integer>176</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>177</integer> |
| </dict> |
| <dict> |
| <key>col</key> |
| <integer>15</integer> |
| <key>file</key> |
| <integer>0</integer> |
| <key>line</key> |
| <integer>177</integer> |
| </dict> |
| </array> |
| <key>start</key> |
| <array> |
| <dict> |
| <key>col</key> |
| <integer>21</integer> |
| <key>file</key> |
| <integer>0</integer> |
| <key>line</key> |
| <integer>176</integer> |
| </dict> |
| <dict> |
| <key>col</key> |
| <integer>21</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>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>177</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>177</integer> |
| </dict> |
| <dict> |
| <key>col</key> |
| <integer>29</integer> |
| <key>file</key> |
| <integer>0</integer> |
| <key>line</key> |
| <integer>177</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>178</integer> |
| </dict> |
| <dict> |
| <key>col</key> |
| <integer>17</integer> |
| <key>file</key> |
| <integer>0</integer> |
| <key>line</key> |
| <integer>178</integer> |
| </dict> |
| </array> |
| <key>start</key> |
| <array> |
| <dict> |
| <key>col</key> |
| <integer>13</integer> |
| <key>file</key> |
| <integer>0</integer> |
| <key>line</key> |
| <integer>177</integer> |
| </dict> |
| <dict> |
| <key>col</key> |
| <integer>15</integer> |
| <key>file</key> |
| <integer>0</integer> |
| <key>line</key> |
| <integer>177</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>21</integer> |
| <key>file</key> |
| <integer>0</integer> |
| <key>line</key> |
| <integer>180</integer> |
| </dict> |
| <dict> |
| <key>col</key> |
| <integer>21</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>178</integer> |
| </dict> |
| <dict> |
| <key>col</key> |
| <integer>17</integer> |
| <key>file</key> |
| <integer>0</integer> |
| <key>line</key> |
| <integer>178</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>28</integer> |
| <key>file</key> |
| <integer>0</integer> |
| <key>line</key> |
| <integer>190</integer> |
| </dict> |
| <dict> |
| <key>col</key> |
| <integer>30</integer> |
| <key>file</key> |
| <integer>0</integer> |
| <key>line</key> |
| <integer>190</integer> |
| </dict> |
| </array> |
| <key>start</key> |
| <array> |
| <dict> |
| <key>col</key> |
| <integer>21</integer> |
| <key>file</key> |
| <integer>0</integer> |
| <key>line</key> |
| <integer>180</integer> |
| </dict> |
| <dict> |
| <key>col</key> |
| <integer>21</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>Array access (from variable 's') results in a null pointer dereference</string> |
| <key>kind</key> |
| <string>event</string> |
| <key>location</key> |
| <dict> |
| <key>col</key> |
| <integer>28</integer> |
| <key>file</key> |
| <integer>0</integer> |
| <key>line</key> |
| <integer>190</integer> |
| </dict> |
| <key>message</key> |
| <string>Array access (from variable 's') 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>190</integer> |
| </dict> |
| <dict> |
| <key>col</key> |
| <integer>17</integer> |
| <key>file</key> |
| <integer>0</integer> |
| <key>line</key> |
| <integer>190</integer> |
| </dict> |
| </array> |
| </array> |
| </dict> |
| </array> |
| <key>type</key> |
| <string>Dereference of null pointer</string> |
| </dict> |
| </array> |
| <key>files</key> |
| <array> |
| <string>f_string.c</string> |
| </array> |
| </dict> |
| </plist> |