none
For Authors of Windows 8 Driver Samples RRS feed

  • General discussion

  • We have checked the Windows 8 Driver Samples pack with our analyzer PVS-Studio and found various bugs in its samples.

    Article: http://www.viva64.com/en/b/0199/

    I hope that Microsoft will get my article right. By no means did I intend to show that their code is bad. The article just shows that errors can be found in any projects and that we are capable of detecting some of them. In fact, each of my posts describes errors found in this or that project. I hope this one will help the developers to fix some defects. It will save other developers’ time; but what’s most important, no one will doubt Microsoft’s reputation. Don’t you find it strange to hear someone saying at a conference that Microsoft is concerned with their software’s quality and then see the line "ASSERT (0 < dwMaskSize <5);" in some published project? The quality of demo samples must be as high as that of popular software. This is the code by which programmers will judge the quality of other solutions.


    Andrey Karpov is technical manager of the OOO "Program Verification Systems" (Co Ltd) company developing the PVS-Studio tool which is a package of static code analyzers integrating into the Visual Studio development environment.


    Tuesday, April 30, 2013 7:02 PM

All replies

  • If they are going to fix these bugs, I hope they will also look at my article in the latest NT Insider http://www.osronline.com/article.cfm?article=606 on using PC-Lint on the WDK.  I did not break down the whole list in the article, but a number of bugs you found were found there, and the sets overlap.


    Don Burn Windows Filesystem and Driver Consulting Website: http://www.windrvr.com Blog: http://msmvps.com/blogs/WinDrvr

    Tuesday, April 30, 2013 7:29 PM