Джон Кармак про PVS-Studio


Джон Кармак, основатель и технический директор Id Software, рассказывает о своем опыте использования статических анализаторов, в том числе и нашего PVS-Studio в своей статье "Static Code Analysis".

В частности про PVS-Studio он говорит следующее:

Следующий инструмент, на который я посмотрел, это PVS-Studio. Он имеет хорошую интеграцию с Visual Studio и удобный ознакомительный режим (попробуйте его). По сравнению с /analyze, PVS-Studio работает очень медленно, но он указал на некоторые новые ошибки в коде, который был чистым с точки зрения /analyze. В дополнение к некоторым логическим ошибкам PVS-Studio указал также на некоторые общие программистские ошибки. Инструмент, конечно же, даст и ложные срабатывания, но в любом случае у вас будут найдены те ошибки, которых, казалось бы, не может быть.

На сайте PVS-Studio представлено много статей с примерами ошибок из open source проектов. Эти ошибки демонстрируют, что может быть найдено. Я хотел написать несколько примеров кода к этой своей статье, но лучше посмотрите там. Когда будете смотреть, не ухмыляйтесь, заявляя: "Уж я-то никогда таких ошибок не сделаю!"

В конце статьи Кармак рекомендует попробовать какой-нибудь анализатор кода:

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

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



Найдите ошибки в своем C, C++, C# и Java коде

Предлагаем попробовать проверить код вашего проекта с помощью анализатора кода PVS-Studio. Одна найденная в нём ошибка скажет вам о пользе методологии статического анализа кода больше, чем десяток статей.

goto PVS-Studio;



Найденные ошибки

Проверено проектов
346
Собрано ошибок
13 188

А ты совершаешь ошибки в коде?

Проверь с помощью
PVS-Studio

Статический анализ
кода для C, C++, C#
и Java

goto PVS-Studio;