Презентация PVS-Studio, решение для разработки современных ресурсоемких приложений ООО «СиПроВер» («Системы программной верификации») онлайн

Содержание слайда: PVS-Studio, решение для разработки современных ресурсоемких приложений ООО «СиПроВер» («Системы программной верификации»)

Содержание слайда: Содержание Инструмент PVS-Studio набор правил Viva64 для анализа 64-битных приложений; набор правил VivaMP для анализа параллельных приложений; набор правил для анализа общего назначения. Лицензионная и ценовая политика PVS-Studio Информация о компании ООО «СиПроВер»

Содержание слайда: Инструмент PVS-Studio Анализ исходного кода приложений на языке Си/Си++

Содержание слайда: PVS-Studio – статический анализатор кода, который предназначен для разработчиков современных ресурсоемких приложений PVS-Studio – статический анализатор кода, который предназначен для разработчиков современных ресурсоемких приложений

Содержание слайда: PVS-Studio обнаруживает следующие типы дефектов в Си/Си++ коде ошибки миграции 32-битных приложений на 64-битные системы; ошибки, возникающие при разработке новых 64-битных приложений; ошибки в параллельных программах, связанные с недостаточным знанием технологии OpenMP; ошибки из-за некорректной работы с памятью в параллельном коде (незащищенный доступ к общей памяти, отсутствие синхронизации, неправильный режим доступа к переменным, и т. п.); выявление логических ошибок, некорректное использование алгоритмов и контейнеров, переполнение буферов; выявление опечаток, допущенных в ходе копирования фрагментов кода или по невнимательности; неоптимальные конструкции, которые легко могут быть оптимизированы.

Содержание слайда: Анализатор кода PVS-Studio нужен тем, кто разрабатывает новые 64-битные приложения; выполняет миграцию 32-битного кода на 64-битные системы; добавляет в программу поддержку параллельного исполнения с помощью технологии OpenMP; хочет повысить качество и надежность кода; по-возможности выявить как можно больше ошибок на этапе разработки.

Содержание слайда: Почему PVS-Studio? Легко скачать: http://www.viva64.com/ru/pvs-studio-download/ Легко попробовать: PVS-Studio интегрируется в Visual Studio; В дистрибутиве идут примеры программ с ошибками. Легко купить (онлайн или через банк): http://www.viva64.com/ru/order/

Содержание слайда: Особенности PVS-Studio интеграция с Visual Studio 2005/2008/2010; поддержка Си и Си++; поддержка C++0x в рамках возможностей Visual Studio 2010; подробная справочная система (в том числе на русском языке; простота использования; удобная система фильтрации и подавления ошибок; анализ файлов в параллельном режиме.

Содержание слайда: Внешний вид PVS-Studio

Содержание слайда: Онлайн-документация (также доступен PDF файл)

Содержание слайда: Легко посмотреть работу PVS-Studio с помощью демонстрационного проекта OmniSample, включенного в дистрибутив

Содержание слайда:

Содержание слайда: Viva64, набор правил для анализа 64-битных приложений

Содержание слайда:

Содержание слайда: Сложность 64-битной миграции для разного типа кода по сравнению с ассемблером, в процентах

Содержание слайда: Приведем примеры ошибок, обнаруживаемых Viva64

Содержание слайда: Проблема с перекрытыми виртуальными функциями Базовый класс: class CWinApp { virtual void WinHelp(DWORD_PTR, UINT); }; Код пользователя: class CMyApp : public CWinApp { virtual void WinHelp(DWORD, UINT); };

Содержание слайда: Адресная арифметика с указателями Переменная A типа int приводится к типу unsigned; Происходит сложение A и B. В результате мы получаем значение 0xFFFFFFFF типа unsigned; Вычисляется выражение "ptr + 0xFFFFFFFFu". Результат зависит от размерности указателя на данной платформе. В 32-битной программе, выражение будет эквивалентно "ptr - 1" и мы успешно распечатаем число 3. В 64-битной программе к указателю прибавится значение 0xFFFFFFFFu, в результате чего указатель окажется далеко за пределами массива.

Содержание слайда: Бесконечные циклы

Содержание слайда: Ошибки в операциях сдвига

Содержание слайда: Ошибки использования магических чисел

Содержание слайда: Переполнение в арифметических выражениях, где совместно используются 32-битные и 64-битные типы данных

Содержание слайда: Ошибки неявного приведения типа

Содержание слайда: Показанный ранее пример взят из исходного кода FreeBSD. Ошибка была поправлена только в декабре 2008 года! Это при том, что первая (экспериментальная) 64-битная версия FreeBSD вышла еще в июне 2003 года.

Содержание слайда: Как мы делали анализатор 64-битного кода Были исследованы паттерны 64-битных ошибок в коде по более чем 100 различным статьям в печатных и электронных изданиях. Учтен собственный опыт миграции кода пакетов численного моделирования и визуализации на C++. В ходе исследований создана база из нескольких десятков различных паттернов ошибок, связанных с переносом кода на 64-битные системы. В базу попали как известные (опубликованные) ошибки, так и неизвестные ранее. На основе выявленных паттернов ошибок сформулированы правила их диагностики. И паттерны ошибок, и правила диагностики опубликованы в наших статьях и доступны для ознакомления всем желающим.

Содержание слайда: Сравнение: Viva64, VC++ (/Wp64), C++Test и PC-Lint

Содержание слайда: Применение Viva64 для проверки CAD-системы Leios Studio компании EGS S.r.l. Компания E.G.S. S.r.l. занимается разработкой решений в области моделирования трехмерных объектов на базе триангулированных сеток.

Содержание слайда: Применение Viva64 для проверки CAD-системы Leios Studio компании EGS S.r.l. (продолжение) Общий объем исходного кода Leios Studio составляет 13 мегабайт (440 000 строк кода). Миграция кода с использованием Viva64 позволила сэкономить много времени, которое бы пришлось затратить на ручной просмотр кода. Основные проблемные моменты, выявленные в процессе автоматического анализа кода с помощью инструмента Viva64: особенности вычислительных алгоритмов при обработке больших объемов данных; работа с файлами большого размера; обработка 3d-моделей, содержащих большое количество треугольников (чем больше треугольников, тем точнее модели); работа подсистемы лицензирования;

Содержание слайда: Статистика по выявленным ошибкам в библиотеке Loki Размер проекта: 1.5Mb, 125 файлов Выявлено потенциально-опасных конструкций с помощью Viva64: 89 Из них реальных ошибок: 6

Содержание слайда: VivaMP, набор правил для анализа параллельных (OpenMP) приложений

Содержание слайда: Проблемы в коде программ, использующих OpenMP Отсутствие ключевых слов в директивах Неправильная работа с блокировками Зависимость поведения кода от количества выполняющих его потоков Одновременная работа с общим ресурсом Незащищенный доступ к общей памяти Неосторожное использование локальных переменных Ненужная защита памяти от одновременной записи Ошибки производительности

Содержание слайда: Приведем примеры ошибок, обнаруживаемых VivaMP

Содержание слайда: Необработанные исключения в параллельных секциях

Содержание слайда: Ошибки невнимательного использования директив и функций OpenMP

Содержание слайда: Ошибки состояния гонки (race condition)

Содержание слайда: Ошибки инициализации статических объектов в параллельных секциях

Содержание слайда: Набор правил анализа общего назначения

Содержание слайда: Основное преимущество статического анализа – обнаружение ошибок на самых ранних этапах

Содержание слайда: Обнаружение любого вида ошибки на этапе кодирования выгодно

Содержание слайда: Примеры ошибок, обнаруживаемых анализатором общего назначения

Содержание слайда: Некорректное условие

Содержание слайда: Ссылка на уже уничтоженный объект

Содержание слайда: Неполная очистка буфера

Содержание слайда: Ошибка в цепочке if - else - if - else

Содержание слайда: Опечатка. Двойное присваивание.

Содержание слайда: Неверное использование std::remove

Содержание слайда: Лицензионная и ценовая политика PVS-Studio

Содержание слайда: PVS-Studio: цены

Содержание слайда: Что включено в цену помимо права пользования? возможность получения новых версий (включая major-версии) в течение 1 года; возможность получения поддержки по электронной почте в течение 1 года; неограниченное по времени право использования программы. После 1 года с момента приобретения лицензии, вы сможете по-прежнему получать новые версии PVS-Studio и обращаться в поддержку. Ограничения будут касаться только новых диагностических возможностей, которые появятся в анализаторе уже после истечения срока действия лицензии.

Содержание слайда: Информация о компании

Содержание слайда: Интеллектуальная собственность Свидетельство об официальной регистрации программ для ЭВМ N2007614164, «Вива64». Зарегистрировано в Реестре программ для ЭВМ 28 сентября 2007 г. Свидетельство об официальной регистрации программ для ЭВМ N2008610480, «Библиотека анализа кода VivaCore». Зарегистрировано в Реестре программ для ЭВМ 25 января 2008 г. Свидетельство об официальной регистрации программ для ЭВМ N2008612845, «Вива64 2.0». Зарегистрировано в Реестре программ для ЭВМ 29 мая 2008 г.

Содержание слайда:

Содержание слайда: Наши лучшие статьи Общие сведения о принципах работы с анализатором PVS-Studio http://www.viva64.com/ru/d/0011/ Коллекция примеров 64-битных ошибок в реальных программах http://www.viva64.com/ru/a/0065/ 32 подводных камня OpenMP при программировании на Си++ http://www.viva64.com/ru/a/0054/ Другие статьи по разработке 64-битных и параллельных программ, а также по технологии анализа кода читайте на http://www.viva64.com/ru/articles/

Содержание слайда: Информация о компании ООО «СиПроВер» 300027, Россия, Тула, Металлургов 70-1-88. Web: www.viva64.com E-mail: support@viva64.com Телефон: +7 (4872) 38-59-95 Рабочее время: 09:00 – 18:00 (GMT +3:00)