Статический анализатор кода 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, слайд №55

Статический анализатор кода PVS-Studio, слайд №56

Статический анализатор кода PVS-Studio, слайд №57

Статический анализатор кода PVS-Studio, слайд №58

Статический анализатор кода PVS-Studio, слайд №59

Статический анализатор кода PVS-Studio, слайд №60

Статический анализатор кода PVS-Studio, слайд №61

Статический анализатор кода PVS-Studio, слайд №62

Статический анализатор кода PVS-Studio, слайд №63

Статический анализатор кода PVS-Studio, слайд №64

Статический анализатор кода PVS-Studio, слайд №65

Статический анализатор кода PVS-Studio, слайд №66

Статический анализатор кода PVS-Studio, слайд №67

Статический анализатор кода PVS-Studio, слайд №68

Статический анализатор кода PVS-Studio, слайд №69

Статический анализатор кода PVS-Studio, слайд №70

Статический анализатор кода PVS-Studio, слайд №71

Статический анализатор кода PVS-Studio, слайд №72

Статический анализатор кода PVS-Studio, слайд №73

Статический анализатор кода PVS-Studio, слайд №74

Статический анализатор кода PVS-Studio, слайд №75

Статический анализатор кода PVS-Studio, слайд №76

Статический анализатор кода PVS-Studio, слайд №77

Статический анализатор кода PVS-Studio, слайд №78

Статический анализатор кода PVS-Studio, слайд №79

Статический анализатор кода PVS-Studio, слайд №80

Статический анализатор кода PVS-Studio, слайд №81

Статический анализатор кода PVS-Studio, слайд №82

Статический анализатор кода PVS-Studio, слайд №83

Статический анализатор кода PVS-Studio, слайд №84

Статический анализатор кода PVS-Studio, слайд №85

Содержание ▲

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

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

Слайд 1

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

PVS-Studio ООО «СиПроВер» Сайт: Контакты: support@viva64.com

Слайд 2

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

Статический анализатор кода PVS-Studio Выполняет анализ кода на языках: C, C++, C++/CLI, C++/CX, C# Поддерживаются проекты, разрабатываемые с помощью: Windows: Visual C++, Clang, MinGW, Visual C# Linux: Clang, GCC Plugin для Visual Studio 2010-2015 Интеграция с SonarQube, QtCreator, CLion, Eclipse CDT, Anjuta DevStudio и т.д. Утилита Standalone

Слайд 3

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

На начало 2017 года в PVS-Studio реализовано C, C++ диагностик: 349 C# диагностик: 130 Подробная on-line документация на русском и английском языке PDF

Слайд 4

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

Основные возможности Быстрый старт (мониторинг компиляции) Windows утилита: CLMonitoring Linux утилита: pvs-studio-analyzer Прямая интеграция анализатора в системы автоматизации сборки и утилита BlameNotifier (рассылка писем) Режим автоматического анализа изменённых файлов Отличная масштабируемость Работа с ложными срабатываниями

Слайд 5

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

Почему нужны анализаторы кода? Почему команда PVS-Studio выбрала C, C++ и C#?

Слайд 6

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

Почему C и C++? Эффективные, но сложные языки, в которых легко допустить ошибку Причём, так дело обстоит десятилетиями и вряд ли изменится Давайте проверим с помощью PVS-Studio первую версию компилятора Cfront, вышедшую в свет в 1985. “К тридцатилетию первого C++ компилятора: ищем ошибки в Cfront”

Слайд 7

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

Ошибка в компиляторе Cfront (1985)

Слайд 8

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

Прошло 30 лет Ничего не изменилось. Язык C++ всё так же сложен и опасен. Размер кодовой базы растёт, и все важнее использовать инструменты статического анализа Давайте проверим с помощью PVS-Studio код современного компилятора Clang 2016 год. “Находим ошибки в коде проекта LLVM с помощью анализатора PVS-Studio”

Слайд 9

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

Clang (ошибка найдена в октябре 2016)

Слайд 10

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

Почему C#? Быть может с C# ситуация лучше? Некоторые типы ошибок в C# невозможны Поэтому лучше, но не сильно На месте остаются опечатки, логические ошибки и т.д. Да и от того, что указатели назвали ссылками лучше не стало Мы видим всё ту же ошибку с нулевой ссылкой Давайте проверим, например, проект Microsoft PowerShell:

Слайд 11

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

Такие ошибки актуальны и для C#

Слайд 12

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

Мы можем очень долго демонстрировать подобные примеры Анализатор PVS-Studio легко находит ошибки в известных проектах: Linux kernel - GCC - MSBuild - Qt - И так далее - Это говорит о востребованности статического анализа кода Давайте посмотрим какие ошибки умеет искать PVS-Studio

Слайд 13

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

Диагностические возможности PVS-Studio

Слайд 14

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

Ошибки при переносе кода на 64-битные платформы

Слайд 15

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

Адрес локальной переменной возвращается из функции по ссылке

Слайд 16

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

Арифметическое переполнение, потеря значимости

Слайд 17

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

Выход за границу массива

Слайд 18

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

Мёртвый код

Слайд 19

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

Недостижимый код

Слайд 20

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

Неинициализированные переменные

Слайд 21

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

Неиспользуемые переменные и аргументы

Слайд 22

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

Некорректные операции сдвига

Слайд 23

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

Неопределенное поведение

Слайд 24

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

Неправильная работа с типами

Слайд 25

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

Неправильное представление о работе функции/класса

Слайд 26

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

Отсутствие виртуального деструктора

Слайд 27

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

Оформление кода не совпадает с логикой его работы

Слайд 28

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

Ошибки при работе с исключениями

Слайд 29

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

Переполнение буфера

Слайд 30

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

Проблемы безопасности

Слайд 31

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

Путаница с приоритетом операций

Слайд 32

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

Разыменование нулевого указателя / нулевой ссылки

Слайд 33

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

Ошибки синхронизации

Слайд 34

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

Целочисленное деление на 0

Слайд 35

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

Опечатки и Copy-Paste Анализатор PVS-Studio эффективно выявляет опечатки и последствия неудачного Copy-Paste В анализаторе реализовано много диагностик для выявления ошибок этого рода Остановимся на них чуть подробнее и рассмотрим несколько примеров ошибок этого типа Дополнительно рекомендуем для чтения интересную статью “Эффект последней строки” -

Слайд 36

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

Опечатки и Copy-Paste (пример N1)

Слайд 37

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

Опечатки и Copy-Paste (пример N2)

Слайд 38

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

Опечатки и Copy-Paste (пример N3)

Слайд 39

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

Опечатки и Copy-Paste (пример N4)

Слайд 40

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

Опечатки и Copy-Paste (пример N5)

Слайд 41

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

Опечатки и Copy-Paste (пример N6)

Слайд 42

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

Мы показали вам малую часть того, что может находить анализатор PVS-Studio Подробная таблица диагностических возможностей: Там же вы найдете подробное описание всех диагностик

Слайд 43

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

Демонстрация возможностей PVS-Studio Для демонстрации возможностей анализатора мы проверяем открытые проекты. На начало 2017 года нами проверено 280 проектов. Побочный результат: в этих проектах нашей командой было найдено 10700 ошибок Это именно 10700 ошибок, а не количество сообщений, выданных анализатором

Слайд 44

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

Демонстрация возможностей PVS-Studio Благодаря нашей команде и анализатору PVS-Studio, в открытых проектах исправили более 10000 ошибок Вы можете увидеть все эти ошибки здесь: База ошибок постоянно пополнятся и её можно использовать при написании статей о качестве кода и составлении стандартов кодирования

Слайд 45

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

Демонстрация возможностей PVS-Studio В среднем, в одном открытом проекте мы нашли 10700 / 280 = 38 ошибок 38 ошибок на проект - это мало Поэтому важно подчеркнуть, что это - побочный эффект У нас нет цели найти как можно больше ошибок. Часто мы останавливаемся, когда нашли достаточное количество дефектов в проекте для написания статьи.

Слайд 46

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

Демонстрация возможностей PVS-Studio Мы добились колоссальных результатов в устранении ошибок в мире open-source проектов, не ставя такую цель В этом нам помогли: мощные диагностические возможности PVS-Studio возможность быстрого анализа даже незнакомых проектов

Слайд 47

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

Правильный сценарий использования Конечно, интересно и полезно запустить анализатор PVS-Studio и найти ошибку, которую до этого безуспешно искали 50 часов Хорошо проверять проекты и описывать найденные ошибки, как делаем это мы в рекламных целях Но следует помнить, что разовые проверки - это неправильный способ использования анализаторов кода!

Слайд 48

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

Правильный сценарий использования Статический анализатор приносит пользу, когда он используется регулярно Два основных варианта: Автоматический анализ изменённого кода Ночные проверки Подробнее эти режимы рассмотрены в документации

Слайд 49

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

Кратко о внутреннем устройстве PVS-Studio

Слайд 50

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

Используемые технологии На примерах было продемонстрировано, что PVS-Studio эффективно выявляет разнообразные типы ошибок Кратко перечислим технологии, которые положены в основу анализатора Подробнее эта тема раскрыта в статье “Как PVS-Studio ищет ошибки: методики и технологии”

Слайд 51

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

Используемые технологии Сопоставление с шаблоном (pattern-based analysis) на основе абстрактного синтаксического дерева применяется для поиска мест в исходном коде, которые похожи на известные шаблоны кода с ошибкой.

Слайд 52

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

Используемые технологии Вывод типов (type inference) на основе семантической модели программы позволяет анализатору иметь полную информацию о всех переменных и выражениях, встречающихся в коде.

Слайд 53

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

Используемые технологии Символьное выполнение (symbolic execution) позволяет вычислять значения переменных, которые могут приводить к ошибкам, производить проверку диапазонов (range checking) значений Анализ потока данных (data-flow analysis) используется для вычисления ограничений, накладываемых на значения переменных при обработке различных конструкций языка. Например, какие значения может принимать переменная внутри блоков if/else.

Слайд 54

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

Используемые технологии Аннотированние методов (method annotations) предоставляет больше информации об используемых методах, чем может быть получено путём анализа только их сигнатуры. C/C++. На данный момент проаннотировано 6570 функций (стандартные библиотеки C и C++, POSIX, MFC, Qt, ZLib и так далее). C#. На данный момент проаннотировано 920 функций.

Слайд 55

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

Используемые технологии Для разработки эффективных диагностик наша команда использует большой набор регрессионных тестов Написан специальный инструментарий для работы с тестовой базой открытых проектов

Слайд 56

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

Используемые технологии Тестовая база: C++ Windows (Visual C++): 120 проектов C++ Linux (GCC): ещё 34 проекта C# Windows: 54 проекта Всего мы используем 7 методик тестирования нашего проекта См. раздел “Тестирование PVS-Studio”

Слайд 57

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

Использование PVS-Studio

Слайд 58

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

Думаю, вы уже устали, поэтому минутка юмора Думаю, вы уже устали, поэтому минутка юмора Кратко суть статического анализа кода сводится к следующему:

Слайд 59

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

Использование PVS-Studio: внедрение Бывает непросто начать использовать статический анализ в большом проекте Непонятно, что делать с сообщениями в старом коде… Мы предлагаем решение: база разметки Подробнее:

Слайд 60

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

Использование PVS-Studio: подавление ложных срабатываний Различные способы подавить ложные срабатывания в конкретных строках кода Подавление ложных срабатываний в макросах Подавление ложных предупреждений с помощью файлов конфигурации диагностик pvsconfig Подробнее:

Слайд 61

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

Использование PVS-Studio: исключение из анализа Возможность исключить из анализа файлы по имени, папке или маске Интерактивная фильтрация результатов анализа (лога) в окне PVS-Studio: по коду диагностики по имени файла по включению слова в текст диагностики

Слайд 62

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

Использование PVS-Studio: автоматический анализ файлов после их перекомпиляции Наиболее эффективно исправить ошибку сразу после того, как она появилась в коде

Слайд 63

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

Использование PVS-Studio: масштабируемость Поддержка многоядерных и многопроцессорных систем с настройкой количества используемых ядер Поддержка IncrediBuild

Слайд 64

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

Использование PVS-Studio: непрерывная интеграция Запуск из командной строки для проверки всего решения: позволяет интегрировать PVS-Studio в ночные сборки, чтобы утром у всех был свежий лог Сохранение и загрузка результатов анализа: можно ночью проверить код, сохранить результаты, а утром загрузить их и смотреть Утилита BlameNotifier: инструмент позволяет рассылать письма разработчикам об ошибках, которые PVS-Studio нашел во время ночного прогона Использование относительных путей в файлах отчета

Слайд 65

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

Использование PVS-Studio: прочее Удобная online-справка по всем диагностикам, которая доступна и из программы, и на сайте, а также документация в .pdf одним файлом Интерактивная фильтрация результатов анализа (лога) в окне PVS-Studio Статистика ошибок в Excel Автоматическая проверка на наличие новых версий PVS-Studio

Слайд 66

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

Использование PVS-Studio: Linux С PVS-Studio легко работать в Linux Но, чтобы не гадать с настройками и ключами запуска, просим познакомиться с инструкцией Как запустить PVS-Studio в Linux: Я знаю, что мы все не любим читать инструкции. Но поверьте, этот тот случай, когда всё просто, кратко и экономит ваше время!

Слайд 67

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

Использование PVS-Studio: быстрый старт Отдельного внимания заслуживает возможность быстро попробовать PVS-Studio на любом проекте Для этого можно отследить запуски компилятора и собрать всю необходимую для анализа информацию Windows: Утилита Standalone Инструкция: Linux Утилита pvs-studio-analyzer Инструкция: см. «Быстрый старт» в документе

Слайд 68

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

Использование PVS-Studio: SonarQube Для импорта результатов анализа в SonarQube мы разработали плагин sonar-pvs-studio-plugin Использование плагина позволяет добавлять сообщения, найденные анализатором PVS-Studio, в базу сообщений сервера SonarQube

Слайд 69

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

Использование PVS-Studio: SonarQube Подробности изложены в статье «Контролируем качество кода с помощью платформы SonarQube»

Слайд 70

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

Скачать и попробовать PVS-Studio

Слайд 71

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

Скачать и попробовать PVS-Studio Можно скачать и попробовать демонстрационную версию Windows: Linux: Про ограничения демонстрационной версии: Вы можете написать нам и получить на время полную версию: support@viva64.com

Слайд 72

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

Клиенты

Слайд 73

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

Клиенты:

Слайд 74

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

Клиенты:

Слайд 75

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

Купить PVS-Studio

Слайд 76

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

Типы лицензий

Слайд 77

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

Индивидуальные лицензии Мы позиционируем свой продукт как B2B решение и у нас нет индивидуальных лицензий Почему так получилось: Индивидуальные разработчики могут воспользоваться вариантом бесплатного лицензирования Как использовать PVS-Studio бесплатно:

Слайд 78

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

Купить PVS-Studio Для заказа лицензии и получения информации о ценах, пожалуйста, напишите нам: support@viva64.com

Слайд 79

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

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

Слайд 80

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

Сотрудничество: аудит Выполнение аудита кода и правка ошибок Примеры сотрудничества подобного типа: Как команда PVS-Studio улучшила код Unreal Engine: Как перенести проект размером в 9 млн строк кода на 64-битную платформу: Мы можем на регулярной основе контролировать качество кода и вносить в него правки Имеем опыт работ в этом направлении, но эта информация попадает под NDA

Слайд 81

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

Сотрудничество На базе нашего анализатора мы можем разработать на заказ специализированное решение Мы также готовы обсуждать сотрудничество, кто готов за процент с продаж привести к нам клиентов По этим и другим вопросам: support@viva64.com

Слайд 82

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

Презентация подходит к концу Спасибо всем, кто добрался сюда

Слайд 83

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

Полезные ссылки Расскажем о некоторых интересных и полезных материалах, которые можно найти на сайте компании Электронная книга «Главный вопрос программирования, рефакторинга и всего такого» - Электронная книга «Разработки 64-битных приложений на языке Си/Си++» -

Слайд 84

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

Полезные ссылки Как 10 лет назад начинался проект PVS-Studio: Контролируем качество кода с помощью платформы SonarQube: Руководство по разработке модулей расширений на C# для Visual Studio 2005-2012 и Atmel Studio:

Слайд 85

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

Всем спасибо! До свидания Написать письмо: support@viva64.com Подписаться на твиттер: @Code_Analysis Скачать PVS-Studio для Windows: Скачать PVS-Studio для Linux: