Исходное сообщение
"Результаты статического анализа кода библиотеки GTK+" Отправлено Andrey_Karpov, 20-Мрт-16 00:29
> Идите и чикерьте свои сорцы винды и вьюжлстудии, если сможете. Можем. И занимаемся этим тоже. Анализ С/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...