Для получения триального ключа
заполните форму ниже
Team License (базовая версия)
Enterprise License (расширенная версия)
* Нажимая на кнопку, вы даете согласие на обработку
своих персональных данных. См. Политику конфиденциальности

Запросите информацию о ценах
Новая лицензия
Продление лицензии
--Выберите валюту--
USD
EUR
GBP
RUB
* Нажимая на кнопку, вы даете согласие на обработку
своих персональных данных. См. Политику конфиденциальности

Бесплатная лицензия PVS-Studio для специалистов Microsoft MVP
* Нажимая на кнопку, вы даете согласие на обработку
своих персональных данных. См. Политику конфиденциальности

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

Мне интересно попробовать плагин на:
* Нажимая на кнопку, вы даете согласие на обработку
своих персональных данных. См. Политику конфиденциальности

Ваше сообщение отправлено.

Мы ответим вам на


Если вы так и не получили ответ, пожалуйста, проверьте папку
Spam/Junk и нажмите на письме кнопку "Не спам".
Так Вы не пропустите ответы от нашей команды.

>
>
>
Отсутствие срабатываний статического ан…

Отсутствие срабатываний статического анализатора кода (false-negative results)

07 Июл 2021

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

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

Разберём перечисленные причины чуть подробнее. Если же вам интересно узнать, как в целом работают анализаторы кода, то предлагаем познакомиться со статьёй "Технологии, используемые в анализаторе кода PVS-Studio для поиска ошибок и потенциальных уязвимостей".

Высокоуровневые ошибки

Предположим, в техническом задании было описано, что определённое значение в программе должно вычисляться по формуле "cos(x) / 2". При реализации алгоритмов программист ошибся и написал в тексте программы sin вместо cos:

y = sin(x) / 2;

Невозможно, изучая такой текст программы, узнать, что в ней есть эта ошибка. Ошибку можно найти, только зная больше о программе, чем написано в виде кода. Статический анализ здесь не сможет помочь.

В инструменте нет соответствующей диагностики

Существует невообразимое количество способов совершить ошибку. Но ситуация не безнадёжна. Как правило, ошибки, которые допускают программисты, подчиняются неким закономерностям. Эти закономерности можно заметить, выделить и реализовать диагностики, которые выявят многие из этих ошибок. Другими словами, выделяются определённые паттерны ошибок. В качестве примеров можно назвать разыменование нулевого указателя, переполнение буфера, утечка ресурса и так далее.

Всегда будут появляться экзотические ошибки, которые не сумеет выявить ни один из существующих анализаторов кода. Но про это не стоит переживать. Ведь рационально в первую очередь сосредоточиться на выявлении распространённых паттернов ошибок. Затем учиться искать чуть менее частые и так далее. Таким образом, разработка любого статического анализатора — это бесконечный процесс приближения к недостижимому идеалу. Какие-то анализаторы продвинулись больше, какие-то меньше.

Команда PVS-Studio черпает вдохновение для реализации новых диагностик из следующих источников:

  • Свой собственный опыт.
  • Книги, статьи, презентации.
  • Письма пользователей (кстати, если у вас есть идея для новой диагностики, то мы будем рады если вы её нам пришлёте).
  • Обсуждение на таких сайтах, как StackOverflow.
  • И так далее. Интересный пример.

Одним из способов, которым пытаются обойти проблему ручного написания диагностических правил, является использование машинного обучения. Основная идея — обучить анализатор самому находить ошибки, обучив его на большом объёме открытого исходного кода. К сожалению, наша команда достаточно скептически относится к этой теме. Мы изложили своё видение в статье "Использование машинного обучения в статическом анализе исходного кода программ".

Недостатки реализации

Реализация диагностик может не учитывать какие-то особенные случаи. Всегда можно написать код так, что ошибка спрячется от анализатора.

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

Дополнительные ссылки:

Популярные статьи по теме
PVS-Studio ROI

Дата: 30 Янв 2019

Автор: Андрей Карпов

Время от времени нам задают вопрос, какую пользу в денежном эквиваленте получит компания от использования анализатора PVS-Studio. Мы решили оформить ответ в виде статьи и привести таблицы, которые по…
Как и почему статические анализаторы борются с ложными срабатываниями

Дата: 20 Мар 2017

Автор: Андрей Карпов

В своей предыдущей статье я писал, что мне не нравится подход, при котором статические анализаторы кода оцениваются с помощью синтетических тестов. В статье приводился пример, воспринимаемый анализат…
Бесплатный PVS-Studio для тех, кто развивает открытые проекты

Дата: 22 Дек 2018

Автор: Андрей Карпов

В канун празднования нового 2019 года команда PVS-Studio решила сделать приятный подарок всем контрибьюторам open-source проектов, хостящихся на GitHub, GitLab или Bitbucket. Им предоставляется возмо…
Зло живёт в функциях сравнения

Дата: 19 Май 2017

Автор: Андрей Карпов

Возможно, читатели помнят мою статью под названием "Эффект последней строки". В ней идёт речь о замеченной мной закономерности: ошибка чаще всего допускается в последней строке однотипных блоков текс…
Главный вопрос программирования, рефакторинга и всего такого

Дата: 14 Апр 2016

Автор: Андрей Карпов

Вы угадали, ответ - "42". Здесь приводится 42 рекомендации по программированию, которые помогут избежать множества ошибок, сэкономить время и нервы. Автором рекомендаций выступает Андрей Карпов - тех…
Эффект последней строки

Дата: 31 Май 2014

Автор: Андрей Карпов

Я изучил множество ошибок, возникающих в результате копирования кода. И утверждаю, что чаще всего ошибки допускают в последнем фрагменте однотипного кода. Ранее я не встречал в книгах описания этого …
Характеристики анализатора PVS-Studio на примере EFL Core Libraries, 10-15% ложных срабатываний

Дата: 31 Июл 2017

Автор: Андрей Карпов

После большой статьи про проверку операционной системы Tizen мне было задано много вопросов о проценте ложных срабатываний и о плотности ошибок (сколько ошибок PVS-Studio выявляет на 1000 строк кода)…
PVS-Studio для Java

Дата: 17 Янв 2019

Автор: Андрей Карпов

В седьмой версии статического анализатора PVS-Studio мы добавили поддержку языка Java. Пришло время немного рассказать, как мы начинали делать поддержку языка Java, что у нас получилось и какие дальн…
Как PVS-Studio оказался внимательнее, чем три с половиной программиста

Дата: 22 Окт 2018

Автор: Андрей Карпов

PVS-Studio, как и другие статические анализаторы кода, часто выдаёт ложные срабатывания. Но не стоит спешить считать странные срабатывания ложными. Это короткая история о том, как PVS-Studio вновь ок…
Статический анализ как часть процесса разработки Unreal Engine

Дата: 27 Июн 2017

Автор: Андрей Карпов

Проект Unreal Engine развивается - добавляется новый код и изменятся уже написанный. Неизбежное следствие развития проекта - появление в коде новых ошибок, которые желательно выявлять как можно раньш…

Комментарии (0)

Следующие комментарии
Этот сайт использует куки и другие технологии, чтобы предоставить вам более персонализированный опыт. Продолжая просмотр страниц нашего веб-сайта, вы принимаете условия использования этих файлов. Если вы не хотите, чтобы ваши данные обрабатывались, пожалуйста, покиньте данный сайт. Подробнее →
Принять