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

Категория: Технологии
Нажмите для полного просмотра!
PVS-Studio, решение для разработки современных ресурсоемких приложений ООО «СиПроВер» («Системы программной верификации»), слайд №1 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, решение для разработки современных ресурсоемких приложений ООО «СиПроВер» («Системы программной верификации»)
Описание слайда:
PVS-Studio, решение для разработки современных ресурсоемких приложений ООО «СиПроВер» («Системы программной верификации»)

Слайд 2


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

Слайд 3


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

Слайд 4


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

Слайд 5


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

Слайд 6


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

Слайд 7


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

Слайд 8


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

Слайд 9


Внешний вид PVS-Studio
Описание слайда:
Внешний вид PVS-Studio

Слайд 10


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

Слайд 11


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

Слайд 12


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

Слайд 13


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

Слайд 14


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

Слайд 15


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

Слайд 16


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

Слайд 19


Бесконечные циклы
Описание слайда:
Бесконечные циклы

Слайд 20


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

Слайд 21


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

Слайд 22


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

Слайд 23


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

Слайд 24


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

Слайд 25


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

Слайд 26


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

Слайд 27


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

Слайд 29


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

Слайд 30


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

Слайд 31


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

Слайд 32


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

Слайд 33


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

Слайд 34


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

Слайд 35


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

Слайд 36


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

Слайд 37


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

Слайд 38


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

Слайд 39


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

Слайд 40


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

Слайд 41


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

Слайд 42


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

Слайд 43


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

Слайд 44


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

Слайд 45


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

Слайд 46


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

Слайд 47


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

Слайд 48


PVS-Studio: цены
Описание слайда:
PVS-Studio: цены

Слайд 49


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

Слайд 50


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

Слайд 51


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

Слайд 52


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

Слайд 53


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

Слайд 54


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



Похожие презентации
Mypresentation.ru
Загрузить презентацию