Хабрахабр

График развития диагностических возможностей в PVS-Studio

Развитие PVS-Studio

С момента появления продукта PVS-Studio прошло более 8 лет, и всё это время мы реализовывали в нём новые диагностические правила. И прекращать не собираемся. Если вас заботят вопросы, не растеряли ли мы за эти годы бодрость, и не останавливается ли PVS-Studio в развитии, то приведённый в статье график снимет эти вопросы. Анализатор активно развивается, причём скорость развития с годами только увеличивается.
На момент написания статьи, в PVS-Studio реализовано 669 диагностик, причём многие из них комплексные. Например, мы не видим смысла гнаться за количеством и создавать две отдельные диагностики для случаев: условие всегда ложное, условие всегда истинное. Кто-то делает так же, кто-то дробит подобные диагностики на несколько. Например, можно встретить инструменты, в которых такая диагностика дробится: всегда ложное boolean-выражение, в качестве условия используется нулевой указатель и так далее. Так что количество диагностик само по себе ничего не означает, и тем более не стоит сравнивать разные анализаторы, основываясь на количестве диагностик. Зато интересно посмотреть, как шло развитие анализатора PVS-Studio во времени. И для этого я решил построить временной график появления новых диагностик.

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

В том числе, там перечисляются добавленные диагностики. У нас на сайте имеется список всех изменений, которые происходили в релизах PVS-Studio. Несложная, но кропотливая задача. Я попросил коллегу Настю провести археологическое исследование списка изменений и выписать даты релизов, а также количество добавленных диагностик. Итак, перед вами получившийся график. Настя, спасибо за помощь.

Количество диагностик

Первый всплеск относится к концу 2015 — началу 2016 года и связан с добавлением поддержки языка C#. На графике можно наблюдать 2 всплеска. Второй всплеск относится к концу 2018 — началу 2019 года и связан с реализацией поддержки языка Java, а также началом работ по поддержке стандарта MISRA.

После первой порции MISRA-диагностик мы немного передохнули и сейчас вновь активизировались по этому направлению. На самом деле, начинает образовываться 3-й всплеск, который пока ещё не заметен на графике. Поэтому на графике должен возникнуть новый всплеск активности, начиная с середины 2019 года.

Более того, если до конца 2015 года развитие было весьма линейным, то затем начали возникать «скачки». График показывает, что развитие анализатора PVS-Studio идёт бодрыми темпами. За счёт «скачков» график начал приобретать нелинейный вид и, возможно, в будущем его можно будет интерполировать параболой.

Используйте PVS-Studio и сделайте свой код надёжней, качественней и безопасней. Как видите, мы полны сил и энтузиазма развивать анализатор кода PVS-Studio, поддерживать новые версии компиляторов, адаптировать плагины под свежие версии Visual Studio / SonarQube / IntelliJ IDEA.

PVS-Studio Graph of Diagnostic Abilities Development. Если хотите поделиться этой статьей с англоязычной аудиторией, то прошу использовать ссылку на перевод: Andrey Karpov, Anastasiya Mozaleva.

Теги
Показать больше

Похожие статьи

Добавить комментарий

Ваш e-mail не будет опубликован. Обязательные поля помечены *

Кнопка «Наверх»
Закрыть