Привет.
Наш клиент написан на C++… данный язык программирования кроме своей эффективности имеет побочный эффект - позволяет допускать ошибки, которые достаточно сложно локализовать и исправить.
После выхода PVS-Studio 4.00 http://habrahabr.ru/blogs/cpp/109163/
Мы начали ее активно использовать в триальном режиме и исправили несколько багов в исходном коде "флая".
За активное использование статического анализатора PVS-Studio в Open Source проекте
вчера нам был сделан подарок в виде лицензии на данный программный продукт
Я уверен, что это повысит качество С++ кода наших DC-клиентов и избавит пользователей от необходимости высылать нам дампы падения :)
От лица FlylinkDC Team хочу еще раз поблагодарить разработчиков PVS-Studio
и технического директора ООО "Системы программной верификации" Андрея Карпова
за такой дорогой подарок нашей скромной команде.
Подписаться на:
Комментарии к сообщению (Atom)
Сообщения
17 комментариев:
Огроный подарок, особенно под новый год )
Хохо! Вот это да!
Крутая штука, но разве подобных продуктов не должны быть сотни? Разве хорошая проверка ошибок не встроена в южал студию?
Такие продукты есть, но на самом деле их не так много. Компиляторы Visual C++, Intel C++ конечно тоже производят хорошую диагностику. Но компиляторы всегда будут слабей специализированных инструментов, так как на них накладываются более жесткие условия по скорости работы и объему потребляемой памяти. Подробнее вот здесь: Разница в подходах анализа кода компилятором и выделенным инструментом.
Одним удобство разработки, другим - наглядная демонстрация ихнего продукта в действии. По-моему все выигрывают.
Теперь-то они забацают аж r600, наверное :)!
Вот это действительно круто) Когда одни помогают другим и это на взаимно выгодных условиях... Остается только пожелать удачи в реализации бушующих планов и вам и им ;)
Andrey Karpov
премного благодарен :)
ps: Теперь-то они забацают аж r600, наверное :)!
это факт :) поскольку этот инструмент позволит намного быстрее выпустить r500 ;))
Интересно, кто поставил 7 минусов? Наверное тот, кто просто не понял насколько это круто.
Конечно круто, теперь разрабы совсем обленятся. Вот бы ещё найти программу, которая сама будет код писать и иссуйки в трекере читать...
Отнюдь нет, Эта программа помогает найти не очевидные ошибки в коде, которые на первый взгляд и на ошибки вовсе, одна ко же исправлять их всё равно нам. При этом у программы высокий уровень ложных срабатываний. поэтому с каждым случаем приходится разбираться отдельно.
И очевидные тоже :) Прежде чем говорить что мы обленимся, вы бы хоть посмотрели объёмы кода ;) "Война и мир" как говорится и рядом не лежала. А это код, а не просто чтиво.
Более того хочу отметить что ЗМЫ студия нашла две утечки памяти в классах Boost-а который у нас используется, про ещё тонну ошибок и неточностей найденных в нём и в SQLite я вообще молчу.
Молодец. Съешь пряник.
Молодец. Съешь пряник.
Вкусный пряник, благодарю :)
про ещё тонну ошибок и неточностей найденных в нём и в SQLite я вообще молчу.
А вы не молчите - весьма интересно узнать что в чужих профессиональных продуктах есть много ошибок.
Отправить комментарий