Dear all
Dear all
I run staticdv for my source code. I found there is doublecompletion uncertain item. I use staticdv /view to see the report. But in report window, I cannot see the deployed source code.
why?
thank you very much.
Uncertain results mean; SDV cannot prove a compliance or a violation of this rule. This result reveals an inherent limitation of the SDV heuristics; it does not represent a driver error. Therefore, uncertain results don’t generate defect traces.
The “http://msdn.microsoft.com/en-us/library/dd567880.aspx” link, explains the troubleshooting information in case SDV generates Uncertain results.
Basically, the recommendation in the link is; to re-run the rule with “/refine” switch. i.e. “staticdv /rule=doublecompletion /refine”. This command takes longer, but verifies a larger portion of the driver.
If you have further questions\feedback, you can post here or please email at the sdvpfdex At microsoft.com.