Comment PVS-Studio (Score 1) 88
Comment Re:Dear PVD Team: (Score 1) 169
Comment Re:Oh, Karpov, you inveterate spammer... (Score 3, Interesting) 169
You may just say - hey this is me, psychonaut, I've banned viva64 on Wikipedia. Praise me for that. Because of me you won't see links to really helpful material on viva64.
For example, it's really not necessary for those who are interested in Precompiled header to know that there is a super useful article StdAfx.h. Burn it all!
Comment Re:Dear PVD Team: (Score 2) 169
See "An always up-to-date list of articles describing errors that we find in open source projects with PVS-Studio analyzer".
We have checked this projects from the list you've provided:
Comment Re:Another one? (Score 1) 169
Well, it's not very likely that we'll be given a chance to run the analysis on Windows. Even if such a thing happens, we can't write an article about that. In general, we like checking Microsoft projects. These programs are of high quality and it's a big achievement for us to find something worthwhile, as well another opportunity to advertise PVS-Studio.
Here are the articles about our project checks:
- Computational Network Toolkit (CNTK) analysis: http://www.viva64.com/en/b/0372/
- ChakraCore: analysis of JavaScript-engine for Microsoft Edge: http://www.viva64.com/en/b/0370/
- CoreCLR analysis: http://www.viva64.com/en/b/0310/
- Windows 8 Driver Samples heck: http://www.viva64.com/en/b/0199/
- Amusing archaeology. Checking Microsoft Word 1.1a: http://www.viva64.com/en/b/0245/
- Also we have found bugs in Visual C++ libraries: http://www.viva64.com/en/b/0163/ , http://www.viva64.com/en/b/0288/
- However, we are not always able to write an article about errors after checking Microsoft projects. Microsoft is known for a reason for their responsible approach to creating software and qualitative code. For example in the Casablanca project I haven't found anything: http://www.viva64.com/en/b/0189/
Here are the checks of C# projetcs:
- Analysis of
.NET Core Libraries (CoreFX): http://www.viva64.com/en/b/0365/ - Checking
.NET Compiler Platform (Roslyn), on the occasion of the PVS-Studio release with C# support: http://www.viva64.com/en/b/0363/ - Analysis of Microsoft Code Contracts: http://www.viva64.com/en/b/0361/
- It's not our article, but on the same topic. Microsoft Orleans project check: http://shcherbak.me/post/139216516264/checking-microsoft-orleans-with-pvs-studio-for-fun