blob: 6566fa3635854cf4c73efcd3c2c49032756bca4c [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-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>