PVS-Studio, статический анализатор кода для 64-битного и параллельного программирования на Си/Си++
Наши клиенты
|
PVS-Studio code analyzer is based on VivaCore Library
|
|
28.06.2010
Почему в PVS-Studio в окне Error List иногда не показывается номер строки, в которой обнаружена проблема?
Иногда анализатор кода PVS-Studio якобы обнаруживает проблему в коде, выдает сообщение, указывает имя файла, но не показывает номер проблемной строки как показано на рисунке.»
Иногда анализатор кода PVS-Studio якобы обнаруживает проблему в коде, выдает сообщение, указывает имя файла, но не показывает номер проблемной строки как показано на рисунке.»
07.06.2010
Общение разработчиков с пользователями программ
При разработке программных продуктов разработчикам очень важно иметь обратную связь с пользователями их программ.»
При разработке программных продуктов разработчикам очень важно иметь обратную связь с пользователями их программ.»
22.07.2010
Использование PVS-Studio вместе с системами continuous integration
В статье показаны приемы организации работы анализатора кода PVS-Studio вместе с системами непрерывной интеграции (continuous integration).»
В статье показаны приемы организации работы анализатора кода PVS-Studio вместе с системами непрерывной интеграции (continuous integration).»
06.07.2010
Сравнение возможностей PVS-Studio и Visual Studio 2010 по выявлению дефектов в 64-битных программах
В статье сравниваются три механизма анализа кода с точки зрения выявления 64-битных ошибок: компилятор Visual C++2010, компонент Code Analysis for C/C++ входящий в состав Visual Studio 2010 Premium/Ultimate и анализатор Viva64 входящий в состав PVS-Studio 3.60. »
В статье сравниваются три механизма анализа кода с точки зрения выявления 64-битных ошибок: компилятор Visual C++2010, компонент Code Analysis for C/C++ входящий в состав Visual Studio 2010 Premium/Ultimate и анализатор Viva64 входящий в состав PVS-Studio 3.60. »
29.06.2010
Коллекция примеров 64-битных ошибок в реальных программах
Статья представляет собой наиболее полную коллекцию примеров 64-битных ошибок на языках Си и Си++. »
Статья представляет собой наиболее полную коллекцию примеров 64-битных ошибок на языках Си и Си++. »
Документация
Ограничения анализатора кода
Анализатор кода не полностью поддерживает диагностику ошибок при использовании ряда конструкций на языке Си и Си++. Это может приводить к ложным сообщениям или к отсутствию сообщений в некоторых случаях.
Анализатор кода не полностью поддерживает некоторые расширения языка, реализованные в Microsoft Visual C++. Не полностью поддерживается ряд аспектов современного стандарта языка Си++.
Также анализатор не работает с файлами в формате Unicode и с файлами, в путях которых есть Unicode-символы.
Основные ограничения:
- Неполная поддержка сложных шаблонов (например, с частичной специализацией);
- Неполная поддержка перегруженных функций;
- Анализ управляемого кода не реализован;
- Пространство имен msclr не поддерживается;
- Библиотека STL/CLR не поддерживается;
- Технология CodeAnalysis не поддерживается;
Следует заметить, что данные ограничения на практике редко оказывают влияние на качество анализа кода и их просто стоит принять к сведению.
© 2008 - 2010, ООО "СиПроВер"
300027, Россия, Тула, а/я 1800, тел. +7 (4872) 38-59-95,. офис: Россия, Тула, Кутузова 100, оф. 73.
300027, Россия, Тула, а/я 1800, тел. +7 (4872) 38-59-95,. офис: Россия, Тула, Кутузова 100, оф. 73.
