> Идите и чикерьте свои сорцы винды и вьюжлстудии, если сможете.

Можем. И занимаемся этим тоже.

Анализ С/C++ открытых проектов компании Microsoft:

•    Проверка проекта Computational Network Toolkit (CNTK): http://www.viva64.com/en/b/0372/
•    ChakraCore: analysis of JavaScript-engine for Microsoft Edge: http://www.viva64.com/en/b/0370/
•    Проверка проекта CoreCLR: http://www.viva64.com/en/b/0310/
•    Проверка Windows 8 Driver Samples: http://www.viva64.com/en/b/0199/
•    Занимательная археология. Проверка Microsoft Word 1.1a: http://www.viva64.com/en/b/0245/
•    А ещё мы находили ошибки в библиотеках Visual C++: http://www.viva64.com/en/b/0163/ , http://www.viva64.com/en/b/0288/
•    Впрочем, нам далеко не всегда удается написать статью про ошибки, после проверки проектов от компании Microsoft. Не зря Microsoft славится ответственным подходом к разработке программного обеспечения и качественным кодом. Например, в проекте Casablanca я нечего не нашёл: http://www.viva64.com/en/b/0189/

Также недавно в PVS-Studio мы поддержали анализ C# проектов. Анализатор C# пока не так мощен, как C++, но всё равно нам уже есть что показать:

•    Analysis of .NET Core Libraries (CoreFX): http://www.viva64.com/en/b/0365/
•    Проверка .NET Compiler Platform (Roslyn), приуроченная к выходу первой версии PVS-Studio, в которой был поддержан анализ C# проектов: http://www.viva64.com/en/b/0363/
•    Analysis of Microsoft Code Contracts: http://www.viva64.com/en/b/0361/
•    Проверка проекта Microsoft Orleans: http://shcherbak.me/post/139216516264/checking-microsoft-orl...