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


Самый лучший способ рекламировать статический анализ кода – это находить ошибки в Open Source проектах и сообщать об этом миру. Мы давно пользуемся этим способом для продвижения своего инструмента PVS-Studio. Наверняка, если вы слышали о PVS-Studio, то именно из наших статей о проверке Chromium, WinMerge, TortoiseSVN, Apache HTTP Server, Qt, Clang и многих других проектов.

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

Picture 1

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

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

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

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

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

И да, эта база ошибок создана с целью рекламировать PVS-Studio. Но разве такая честная реклама плоха? Кому нужны бла-бла-бла слова про "Наши клиенты – все компании из Fortune500" и "Благодаря нашему инструменту у вас вырастет качество кода"? Наша реклама – это те ошибки, которые мы нашли и открыто говорим об этом. А не маркетинговые тексты ни о чем.

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



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

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

goto PVS-Studio;



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

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

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

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

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

goto PVS-Studio;