суббота, 25 декабря 2010 г.

Новогодний подарок от PVS-Studio

Привет.
Наш клиент написан на C++… данный язык программирования кроме своей эффективности имеет побочный эффект - позволяет допускать ошибки, которые достаточно сложно локализовать и исправить.
После выхода PVS-Studio 4.00 http://habrahabr.ru/blogs/cpp/109163/
Мы начали ее активно использовать в триальном режиме и исправили несколько багов в исходном коде "флая".
За активное использование статического анализатора PVS-Studio в Open Source проекте 
вчера нам был сделан подарок в виде лицензии на данный программный продукт
Я уверен, что это повысит качество С++ кода наших DC-клиентов и избавит пользователей от необходимости высылать нам дампы падения :)


От лица FlylinkDC Team хочу еще раз поблагодарить разработчиков PVS-Studio 
и технического директора ООО "Системы программной верификации"  Андрея Карпова
за такой дорогой подарок нашей скромной команде.

17 комментариев:

Blood комментирует...

Огроный подарок, особенно под новый год )

skazochnik комментирует...

Хохо! Вот это да!

Анонимный комментирует...

Крутая штука, но разве подобных продуктов не должны быть сотни? Разве хорошая проверка ошибок не встроена в южал студию?

Andrey Karpov комментирует...

Такие продукты есть, но на самом деле их не так много. Компиляторы Visual C++, Intel C++ конечно тоже производят хорошую диагностику. Но компиляторы всегда будут слабей специализированных инструментов, так как на них накладываются более жесткие условия по скорости работы и объему потребляемой памяти. Подробнее вот здесь: Разница в подходах анализа кода компилятором и выделенным инструментом.

Анонимный комментирует...

Одним удобство разработки, другим - наглядная демонстрация ихнего продукта в действии. По-моему все выигрывают.

Анонимный комментирует...

Теперь-то они забацают аж r600, наверное :)!

featZima комментирует...

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

L. комментирует...

Andrey Karpov
премного благодарен :)


ps: Теперь-то они забацают аж r600, наверное :)!
это факт :) поскольку этот инструмент позволит намного быстрее выпустить r500 ;))

Анонимный комментирует...

Интересно, кто поставил 7 минусов? Наверное тот, кто просто не понял насколько это круто.

Анонимный комментирует...

Конечно круто, теперь разрабы совсем обленятся. Вот бы ещё найти программу, которая сама будет код писать и иссуйки в трекере читать...

NightOrion комментирует...

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

L. комментирует...

И очевидные тоже :) Прежде чем говорить что мы обленимся, вы бы хоть посмотрели объёмы кода ;) "Война и мир" как говорится и рядом не лежала. А это код, а не просто чтиво.

L. комментирует...

Более того хочу отметить что ЗМЫ студия нашла две утечки памяти в классах Boost-а который у нас используется, про ещё тонну ошибок и неточностей найденных в нём и в SQLite я вообще молчу.

Анонимный комментирует...

Молодец. Съешь пряник.

L. комментирует...
Этот комментарий был удален автором.
L. комментирует...

Молодец. Съешь пряник.


Вкусный пряник, благодарю :)

Анонимный комментирует...

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