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

Нажмите для полного просмотра!

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Содержание ▲

Вы можете ознакомиться и скачать презентацию на тему PVS-Studio, решение для разработки современных ресурсоемких приложений ООО «СиПроВер» («Системы программной верификации»). Доклад-сообщение содержит 54 слайдов. Презентации для любого класса можно скачать бесплатно. Если материал и наш сайт презентаций Mypresentation Вам понравились – поделитесь им с друзьями с помощью социальных кнопок и добавьте в закладки в своем браузере.

Слайды и текст этой презентации

Слайд 1

Описание слайда:

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

Слайд 2

Описание слайда:

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

Слайд 3

Описание слайда:

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

Слайд 4

Описание слайда:

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

Слайд 5

Описание слайда:

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

Слайд 6

Описание слайда:

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

Слайд 7

Описание слайда:

Почему PVS-Studio? Легко скачать: Легко попробовать: PVS-Studio интегрируется в Visual Studio; В дистрибутиве идут примеры программ с ошибками. Легко купить (онлайн или через банк):

Слайд 8

Описание слайда:

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

Слайд 9

Описание слайда:

Внешний вид PVS-Studio

Слайд 10

Описание слайда:

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

Слайд 11

Описание слайда:

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

Слайд 12

Описание слайда:

Слайд 13

Описание слайда:

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

Слайд 14

Описание слайда:

Слайд 15

Описание слайда:

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

Слайд 16

Описание слайда:

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

Слайд 17

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

Описание слайда:

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

Слайд 18

Описание слайда:

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

Слайд 19

Описание слайда:

Бесконечные циклы

Слайд 20

Описание слайда:

Ошибки в операциях сдвига

Слайд 21

Описание слайда:

Ошибки использования магических чисел

Слайд 22

Описание слайда:

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

Слайд 23

Описание слайда:

Ошибки неявного приведения типа

Слайд 24

Описание слайда:

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

Слайд 25

Описание слайда:

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

Слайд 26

Описание слайда:

Сравнение: Viva64, VC++ (/Wp64), C++Test и PC-Lint

Слайд 27

Описание слайда:

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

Слайд 28

Описание слайда:

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

Слайд 29

Описание слайда:

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

Слайд 30

Описание слайда:

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

Слайд 31

Описание слайда:

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

Слайд 32

Описание слайда:

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

Слайд 33

Описание слайда:

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

Слайд 34

Описание слайда:

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

Слайд 35

Описание слайда:

Ошибки состояния гонки (race condition)

Слайд 36

Описание слайда:

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

Слайд 37

Описание слайда:

Набор правил анализа общего назначения

Слайд 38

Описание слайда:

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

Слайд 39

Описание слайда:

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

Слайд 40

Описание слайда:

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

Слайд 41

Описание слайда:

Некорректное условие

Слайд 42

Описание слайда:

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

Слайд 43

Описание слайда:

Неполная очистка буфера

Слайд 44

Описание слайда:

Ошибка в цепочке if - else - if - else

Слайд 45

Описание слайда:

Опечатка. Двойное присваивание.

Слайд 46

Описание слайда:

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

Слайд 47

Описание слайда:

Лицензионная и ценовая политика PVS-Studio

Слайд 48

Описание слайда:

PVS-Studio: цены

Слайд 49

Описание слайда:

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

Слайд 50

Описание слайда:

Информация о компании

Слайд 51

Описание слайда:

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

Слайд 52

Описание слайда:

Слайд 53

Описание слайда:

Наши лучшие статьи Общие сведения о принципах работы с анализатором PVS-Studio Коллекция примеров 64-битных ошибок в реальных программах 32 подводных камня OpenMP при программировании на Си++ Другие статьи по разработке 64-битных и параллельных программ, а также по технологии анализа кода читайте на

Слайд 54

Описание слайда:

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