| <?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-b5c0a4.html</string> |
| </array> |
| <key>category</key> |
| <string>Logic error</string> |
| <key>check_name</key> |
| <string>core.NullDereference</string> |
| <key>description</key> |
| <string>Access to field 'ctx_size' results in a dereference of a null pointer (loaded from variable 'type')</string> |
| <key>issue_context</key> |
| <string>EVP_DigestInit_ex</string> |
| <key>issue_context_kind</key> |
| <string>function</string> |
| <key>issue_hash_content_of_line_in_context</key> |
| <string>77164c4583b5a5d3db97b40156eaef8c</string> |
| <key>issue_hash_function_offset</key> |
| <string>57</string> |
| <key>location</key> |
| <dict> |
| <key>col</key> |
| <integer>56</integer> |
| <key>file</key> |
| <integer>0</integer> |
| <key>line</key> |
| <integer>199</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>138</integer> |
| </dict> |
| <dict> |
| <key>col</key> |
| <integer>10</integer> |
| <key>file</key> |
| <integer>0</integer> |
| <key>line</key> |
| <integer>138</integer> |
| </dict> |
| </array> |
| <key>start</key> |
| <array> |
| <dict> |
| <key>col</key> |
| <integer>5</integer> |
| <key>file</key> |
| <integer>0</integer> |
| <key>line</key> |
| <integer>137</integer> |
| </dict> |
| <dict> |
| <key>col</key> |
| <integer>19</integer> |
| <key>file</key> |
| <integer>0</integer> |
| <key>line</key> |
| <integer>137</integer> |
| </dict> |
| </array> |
| </dict> |
| </array> |
| <key>kind</key> |
| <string>control</string> |
| </dict> |
| <dict> |
| <key>edges</key> |
| <array> |
| <dict> |
| <key>end</key> |
| <array> |
| <dict> |
| <key>col</key> |
| <integer>35</integer> |
| <key>file</key> |
| <integer>0</integer> |
| <key>line</key> |
| <integer>138</integer> |
| </dict> |
| <dict> |
| <key>col</key> |
| <integer>38</integer> |
| <key>file</key> |
| <integer>0</integer> |
| <key>line</key> |
| <integer>138</integer> |
| </dict> |
| </array> |
| <key>start</key> |
| <array> |
| <dict> |
| <key>col</key> |
| <integer>5</integer> |
| <key>file</key> |
| <integer>0</integer> |
| <key>line</key> |
| <integer>138</integer> |
| </dict> |
| <dict> |
| <key>col</key> |
| <integer>10</integer> |
| <key>file</key> |
| <integer>0</integer> |
| <key>line</key> |
| <integer>138</integer> |
| </dict> |
| </array> |
| </dict> |
| </array> |
| <key>kind</key> |
| <string>control</string> |
| </dict> |
| <dict> |
| <key>depth</key> |
| <integer>0</integer> |
| <key>extended_message</key> |
| <string>Passing value via 2nd parameter 'type'</string> |
| <key>kind</key> |
| <string>event</string> |
| <key>location</key> |
| <dict> |
| <key>col</key> |
| <integer>35</integer> |
| <key>file</key> |
| <integer>0</integer> |
| <key>line</key> |
| <integer>138</integer> |
| </dict> |
| <key>message</key> |
| <string>Passing value via 2nd parameter 'type'</string> |
| <key>ranges</key> |
| <array> |
| <array> |
| <dict> |
| <key>col</key> |
| <integer>35</integer> |
| <key>file</key> |
| <integer>0</integer> |
| <key>line</key> |
| <integer>138</integer> |
| </dict> |
| <dict> |
| <key>col</key> |
| <integer>38</integer> |
| <key>file</key> |
| <integer>0</integer> |
| <key>line</key> |
| <integer>138</integer> |
| </dict> |
| </array> |
| </array> |
| </dict> |
| <dict> |
| <key>edges</key> |
| <array> |
| <dict> |
| <key>end</key> |
| <array> |
| <dict> |
| <key>col</key> |
| <integer>12</integer> |
| <key>file</key> |
| <integer>0</integer> |
| <key>line</key> |
| <integer>138</integer> |
| </dict> |
| <dict> |
| <key>col</key> |
| <integer>28</integer> |
| <key>file</key> |
| <integer>0</integer> |
| <key>line</key> |
| <integer>138</integer> |
| </dict> |
| </array> |
| <key>start</key> |
| <array> |
| <dict> |
| <key>col</key> |
| <integer>35</integer> |
| <key>file</key> |
| <integer>0</integer> |
| <key>line</key> |
| <integer>138</integer> |
| </dict> |
| <dict> |
| <key>col</key> |
| <integer>38</integer> |
| <key>file</key> |
| <integer>0</integer> |
| <key>line</key> |
| <integer>138</integer> |
| </dict> |
| </array> |
| </dict> |
| </array> |
| <key>kind</key> |
| <string>control</string> |
| </dict> |
| <dict> |
| <key>depth</key> |
| <integer>0</integer> |
| <key>extended_message</key> |
| <string>Calling 'EVP_DigestInit_ex'</string> |
| <key>kind</key> |
| <string>event</string> |
| <key>location</key> |
| <dict> |
| <key>col</key> |
| <integer>12</integer> |
| <key>file</key> |
| <integer>0</integer> |
| <key>line</key> |
| <integer>138</integer> |
| </dict> |
| <key>message</key> |
| <string>Calling 'EVP_DigestInit_ex'</string> |
| <key>ranges</key> |
| <array> |
| <array> |
| <dict> |
| <key>col</key> |
| <integer>12</integer> |
| <key>file</key> |
| <integer>0</integer> |
| <key>line</key> |
| <integer>138</integer> |
| </dict> |
| <dict> |
| <key>col</key> |
| <integer>45</integer> |
| <key>file</key> |
| <integer>0</integer> |
| <key>line</key> |
| <integer>138</integer> |
| </dict> |
| </array> |
| </array> |
| </dict> |
| <dict> |
| <key>depth</key> |
| <integer>1</integer> |
| <key>extended_message</key> |
| <string>Entered call from 'EVP_DigestInit'</string> |
| <key>kind</key> |
| <string>event</string> |
| <key>location</key> |
| <dict> |
| <key>col</key> |
| <integer>1</integer> |
| <key>file</key> |
| <integer>0</integer> |
| <key>line</key> |
| <integer>141</integer> |
| </dict> |
| <key>message</key> |
| <string>Entered call from 'EVP_DigestInit'</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>143</integer> |
| </dict> |
| <dict> |
| <key>col</key> |
| <integer>26</integer> |
| <key>file</key> |
| <integer>0</integer> |
| <key>line</key> |
| <integer>143</integer> |
| </dict> |
| </array> |
| <key>start</key> |
| <array> |
| <dict> |
| <key>col</key> |
| <integer>1</integer> |
| <key>file</key> |
| <integer>0</integer> |
| <key>line</key> |
| <integer>141</integer> |
| </dict> |
| <dict> |
| <key>col</key> |
| <integer>3</integer> |
| <key>file</key> |
| <integer>0</integer> |
| <key>line</key> |
| <integer>141</integer> |
| </dict> |
| </array> |
| </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>151</integer> |
| </dict> |
| <dict> |
| <key>col</key> |
| <integer>6</integer> |
| <key>file</key> |
| <integer>0</integer> |
| <key>line</key> |
| <integer>151</integer> |
| </dict> |
| </array> |
| <key>start</key> |
| <array> |
| <dict> |
| <key>col</key> |
| <integer>5</integer> |
| <key>file</key> |
| <integer>0</integer> |
| <key>line</key> |
| <integer>143</integer> |
| </dict> |
| <dict> |
| <key>col</key> |
| <integer>26</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>9</integer> |
| <key>file</key> |
| <integer>0</integer> |
| <key>line</key> |
| <integer>151</integer> |
| </dict> |
| <dict> |
| <key>col</key> |
| <integer>11</integer> |
| <key>file</key> |
| <integer>0</integer> |
| <key>line</key> |
| <integer>151</integer> |
| </dict> |
| </array> |
| <key>start</key> |
| <array> |
| <dict> |
| <key>col</key> |
| <integer>5</integer> |
| <key>file</key> |
| <integer>0</integer> |
| <key>line</key> |
| <integer>151</integer> |
| </dict> |
| <dict> |
| <key>col</key> |
| <integer>6</integer> |
| <key>file</key> |
| <integer>0</integer> |
| <key>line</key> |
| <integer>151</integer> |
| </dict> |
| </array> |
| </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>156</integer> |
| </dict> |
| <dict> |
| <key>col</key> |
| <integer>6</integer> |
| <key>file</key> |
| <integer>0</integer> |
| <key>line</key> |
| <integer>156</integer> |
| </dict> |
| </array> |
| <key>start</key> |
| <array> |
| <dict> |
| <key>col</key> |
| <integer>9</integer> |
| <key>file</key> |
| <integer>0</integer> |
| <key>line</key> |
| <integer>151</integer> |
| </dict> |
| <dict> |
| <key>col</key> |
| <integer>11</integer> |
| <key>file</key> |
| <integer>0</integer> |
| <key>line</key> |
| <integer>151</integer> |
| </dict> |
| </array> |
| </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>156</integer> |
| </dict> |
| <dict> |
| <key>col</key> |
| <integer>12</integer> |
| <key>file</key> |
| <integer>0</integer> |
| <key>line</key> |
| <integer>156</integer> |
| </dict> |
| </array> |
| <key>start</key> |
| <array> |
| <dict> |
| <key>col</key> |
| <integer>5</integer> |
| <key>file</key> |
| <integer>0</integer> |
| <key>line</key> |
| <integer>156</integer> |
| </dict> |
| <dict> |
| <key>col</key> |
| <integer>6</integer> |
| <key>file</key> |
| <integer>0</integer> |
| <key>line</key> |
| <integer>156</integer> |
| </dict> |
| </array> |
| </dict> |
| </array> |
| <key>kind</key> |
| <string>control</string> |
| </dict> |
| <dict> |
| <key>depth</key> |
| <integer>1</integer> |
| <key>extended_message</key> |
| <string>Assuming 'type' is null</string> |
| <key>kind</key> |
| <string>event</string> |
| <key>location</key> |
| <dict> |
| <key>col</key> |
| <integer>9</integer> |
| <key>file</key> |
| <integer>0</integer> |
| <key>line</key> |
| <integer>156</integer> |
| </dict> |
| <key>message</key> |
| <string>Assuming 'type' is null</string> |
| <key>ranges</key> |
| <array> |
| <array> |
| <dict> |
| <key>col</key> |
| <integer>9</integer> |
| <key>file</key> |
| <integer>0</integer> |
| <key>line</key> |
| <integer>156</integer> |
| </dict> |
| <dict> |
| <key>col</key> |
| <integer>12</integer> |
| <key>file</key> |
| <integer>0</integer> |
| <key>line</key> |
| <integer>156</integer> |
| </dict> |
| </array> |
| </array> |
| </dict> |
| <dict> |
| <key>edges</key> |
| <array> |
| <dict> |
| <key>end</key> |
| <array> |
| <dict> |
| <key>col</key> |
| <integer>12</integer> |
| <key>file</key> |
| <integer>0</integer> |
| <key>line</key> |
| <integer>190</integer> |
| </dict> |
| <dict> |
| <key>col</key> |
| <integer>13</integer> |
| <key>file</key> |
| <integer>0</integer> |
| <key>line</key> |
| <integer>190</integer> |
| </dict> |
| </array> |
| <key>start</key> |
| <array> |
| <dict> |
| <key>col</key> |
| <integer>9</integer> |
| <key>file</key> |
| <integer>0</integer> |
| <key>line</key> |
| <integer>156</integer> |
| </dict> |
| <dict> |
| <key>col</key> |
| <integer>12</integer> |
| <key>file</key> |
| <integer>0</integer> |
| <key>line</key> |
| <integer>156</integer> |
| </dict> |
| </array> |
| </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>195</integer> |
| </dict> |
| <dict> |
| <key>col</key> |
| <integer>6</integer> |
| <key>file</key> |
| <integer>0</integer> |
| <key>line</key> |
| <integer>195</integer> |
| </dict> |
| </array> |
| <key>start</key> |
| <array> |
| <dict> |
| <key>col</key> |
| <integer>12</integer> |
| <key>file</key> |
| <integer>0</integer> |
| <key>line</key> |
| <integer>190</integer> |
| </dict> |
| <dict> |
| <key>col</key> |
| <integer>13</integer> |
| <key>file</key> |
| <integer>0</integer> |
| <key>line</key> |
| <integer>190</integer> |
| </dict> |
| </array> |
| </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>196</integer> |
| </dict> |
| <dict> |
| <key>col</key> |
| <integer>10</integer> |
| <key>file</key> |
| <integer>0</integer> |
| <key>line</key> |
| <integer>196</integer> |
| </dict> |
| </array> |
| <key>start</key> |
| <array> |
| <dict> |
| <key>col</key> |
| <integer>5</integer> |
| <key>file</key> |
| <integer>0</integer> |
| <key>line</key> |
| <integer>195</integer> |
| </dict> |
| <dict> |
| <key>col</key> |
| <integer>6</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>28</integer> |
| <key>file</key> |
| <integer>0</integer> |
| <key>line</key> |
| <integer>196</integer> |
| </dict> |
| <dict> |
| <key>col</key> |
| <integer>30</integer> |
| <key>file</key> |
| <integer>0</integer> |
| <key>line</key> |
| <integer>196</integer> |
| </dict> |
| </array> |
| <key>start</key> |
| <array> |
| <dict> |
| <key>col</key> |
| <integer>9</integer> |
| <key>file</key> |
| <integer>0</integer> |
| <key>line</key> |
| <integer>196</integer> |
| </dict> |
| <dict> |
| <key>col</key> |
| <integer>10</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>9</integer> |
| <key>file</key> |
| <integer>0</integer> |
| <key>line</key> |
| <integer>198</integer> |
| </dict> |
| <dict> |
| <key>col</key> |
| <integer>11</integer> |
| <key>file</key> |
| <integer>0</integer> |
| <key>line</key> |
| <integer>198</integer> |
| </dict> |
| </array> |
| <key>start</key> |
| <array> |
| <dict> |
| <key>col</key> |
| <integer>28</integer> |
| <key>file</key> |
| <integer>0</integer> |
| <key>line</key> |
| <integer>196</integer> |
| </dict> |
| <dict> |
| <key>col</key> |
| <integer>30</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>9</integer> |
| <key>file</key> |
| <integer>0</integer> |
| <key>line</key> |
| <integer>199</integer> |
| </dict> |
| <dict> |
| <key>col</key> |
| <integer>10</integer> |
| <key>file</key> |
| <integer>0</integer> |
| <key>line</key> |
| <integer>199</integer> |
| </dict> |
| </array> |
| <key>start</key> |
| <array> |
| <dict> |
| <key>col</key> |
| <integer>9</integer> |
| <key>file</key> |
| <integer>0</integer> |
| <key>line</key> |
| <integer>198</integer> |
| </dict> |
| <dict> |
| <key>col</key> |
| <integer>11</integer> |
| <key>file</key> |
| <integer>0</integer> |
| <key>line</key> |
| <integer>198</integer> |
| </dict> |
| </array> |
| </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>199</integer> |
| </dict> |
| <dict> |
| <key>col</key> |
| <integer>13</integer> |
| <key>file</key> |
| <integer>0</integer> |
| <key>line</key> |
| <integer>199</integer> |
| </dict> |
| </array> |
| <key>start</key> |
| <array> |
| <dict> |
| <key>col</key> |
| <integer>9</integer> |
| <key>file</key> |
| <integer>0</integer> |
| <key>line</key> |
| <integer>199</integer> |
| </dict> |
| <dict> |
| <key>col</key> |
| <integer>10</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>edges</key> |
| <array> |
| <dict> |
| <key>end</key> |
| <array> |
| <dict> |
| <key>col</key> |
| <integer>56</integer> |
| <key>file</key> |
| <integer>0</integer> |
| <key>line</key> |
| <integer>199</integer> |
| </dict> |
| <dict> |
| <key>col</key> |
| <integer>59</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>199</integer> |
| </dict> |
| <dict> |
| <key>col</key> |
| <integer>13</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>1</integer> |
| <key>extended_message</key> |
| <string>Access to field 'ctx_size' results in a dereference of a null pointer (loaded from variable 'type')</string> |
| <key>kind</key> |
| <string>event</string> |
| <key>location</key> |
| <dict> |
| <key>col</key> |
| <integer>56</integer> |
| <key>file</key> |
| <integer>0</integer> |
| <key>line</key> |
| <integer>199</integer> |
| </dict> |
| <key>message</key> |
| <string>Access to field 'ctx_size' results in a dereference of a null pointer (loaded from variable 'type')</string> |
| <key>ranges</key> |
| <array> |
| <array> |
| <dict> |
| <key>col</key> |
| <integer>56</integer> |
| <key>file</key> |
| <integer>0</integer> |
| <key>line</key> |
| <integer>199</integer> |
| </dict> |
| <dict> |
| <key>col</key> |
| <integer>59</integer> |
| <key>file</key> |
| <integer>0</integer> |
| <key>line</key> |
| <integer>199</integer> |
| </dict> |
| </array> |
| </array> |
| </dict> |
| </array> |
| <key>type</key> |
| <string>Dereference of null pointer</string> |
| </dict> |
| </array> |
| <key>files</key> |
| <array> |
| <string>digest.c</string> |
| </array> |
| </dict> |
| </plist> |