Мы временами экспериментируем с триальным режимом, чтобы знакомство с анализатором PVS-Studio проходило как можно эффективней. Сейчас мы вновь поменяли формат триальной версии. Эта заметка должна ответить на все вопросы, которое могут возникнуть у разработчиков, пожелавших познакомиться с нашим инструментом. Фактически эта статья является ответом на вопрос «можно ли попробовать демонстрационную версию и какие в ней ограничения?».
Читать полностью »
Рубрика «pvs-studio» - 34
PVS-Studio: новый триальный режим
2015-04-09 в 12:56, admin, рубрики: C, c/c++, c++, pvs-studio, static code analysis, Блог компании PVS-Studio, демо-версия, Си, статический анализ кода, статический анализатор кодаБаги. Баги никогда не меняются
2015-04-08 в 14:03, admin, рубрики: C, c++, open source, pvs-studio, Блог компании PVS-Studio, открытое программное обеспечение, Си, статический анализ кода, статьи 
Вы открыли статью, на которую вы должны дать ссылку в Twitter. Или разместить в любимой программисткой группе. Это принесёт пользу и нам, и открытым проектам. Чтобы программисты всего мира узнали о PVS-Studio, мы проверяем открытые проекты и делаем их лучше. А заодно пишем интересные и полезные статьи. Чем больше люди будут узнавать про наши статьи, тем приятнее нам будет это делать и тем больше проектов мы будем проверять. Совместный profit.
Читать полностью »
Советы основателя. Евгений Рыжков, генеральный директор «СиПроВер» и разработчик PVS-Studio
2015-04-03 в 9:58, admin, рубрики: growth hacking, gtd, pvs-studio, евгений рыжков, Развитие стартапа, сипровер, советы основателя, Управление продуктом 
На «Мегамозге» вновь «Советы основателя». Недавно мы пообщались с Евгением – создателем анализатора кода PVS-Studio и генеральным директором ООО «СиПроВер».
Евгению 30 лет и с 2008 года, со своим коллегой Андреем Карповым, они занимаются разработкой, продвижением и продажами статического анализатора кода PVS-Studio. Это продукт для программистов, обнаруживающий ошибки в исходном коде программ на C и C++ на этапе написания кода, до тестирования.
Сегодня в «СиПроВер» работает 10 человек, офис компании находится в Туле. В прошлом году компания продала более 40 годовых лицензий на PVS-Studio, более половины клиентов продлевают лицензии на следующий год – показатель, которым гордятся создатели.
Читать полностью »
Проверка Vim при помощи PVS-Studio в GNU-Linux
2015-03-19 в 14:41, admin, рубрики: c++, linux, open source, pvs-studio, static code analysis, vim, Блог компании PVS-Studio, Компиляторы, статический анализ кода 
Читатель мог бы подумать, что это очередная статья о проверке еще одного проекта из мира свободного ПО, но на самом деле, статья не столько о проверке, сколько о практике использования анализатора PVS-Studio в полностью GNU/Linux окружении. Не случайно выбором проекта для проверки стал Vim, ибо и он в этом деле сослужил свою службу.
Для начала немного о Vim
Vim (http://vim.org) — кроссплатформенный свободный текстовый редактор c 30-летней историей, являющийся наследником редактора vi и пришедший из мира Unix систем.
Vim весьма широко применяется в администрировании и разработке, во многих дистрибутивах GNU/Linux он является редактором по умолчанию. От других текстовых редакторов Vim отличается ориентацией на использование исключительно клавиатуры, текстовый интерфейс, богатыми возможностями расширения через систему написанных на Vim Script плагинов.
Читать полностью »
PVS-Studio: 25 подозрительных фрагментов кода из CoreCLR
2015-03-17 в 7:58, admin, рубрики: c++, CoreCLR, Mono, Mono и Moonlight, open source, pvs-studio, static code analysis, Блог компании PVS-Studio, Компиляторы, статический анализ кода
Корпорация Microsoft выложила в открытый доступ исходный код движка CoreCLR, который является ключевым элементом .NET Core. Эта новость, конечно же, не могла не привлечь наше внимание. Ведь чем больше аудитория у проекта, тем тревожнее будут выглядеть найденные подозрительные места. Несмотря на авторство Microsoft, как в любом крупном проекте, тут есть на что посмотреть и над чем задуматься.
Введение
CoreCLR является средой исполнения .NET Core, выполняя такие функции как сборку мусора или компиляции в конечный машинный код. .Net Core — это модульная реализация .Net, которая может быть использована как база для огромного количества сценариев.
Исходный код с недавнего времени доступен на GitHub и проверялся с помощью PVS-Studio 5.23. Как и я, желающие могут получить полный лог проверки с помощью Microsoft Visual Studio Community Edition, выход которой тоже был недавней новостью от Microsoft.
Читать полностью »
Как внедрить статический анализ в проект, в котором более 10 мегабайт исходного кода?
2015-03-08 в 18:02, admin, рубрики: pvs-studio, Блог компании PVS-Studio, Программирование, разработка, метки: PVS-Studio 
Итак, вы – разработчик в проекте, в котором много (или даже очень много) исходного кода. Например, более 10 мегабайт. Вы начитались статей про проверку open source проектов и захотели проверить свой собственный проект каким-нибудь анализатором кода. Вы проверили проект и получили более тысячи сообщений от анализатора. Тысяча – это оптимистичный вариант. Может быть и более десятка тысяч. Но вы же не ленивый разработчик? Вы начали просматривать их. И, о ужас, уже пятое сообщение анализатора оказалось реальной ошибкой! А также седьмое, девятое, двенадцатое и пятнадцатое. Вы выписали себе еще десяток реальных ошибок, на которые указал анализатор и направляетесь к боссу со словами:
«Шеф, смотри. Я скачал крутой анализатор. Он нам уже только за полчаса нашел десять реальных ошибок. А всего он выдал тысячу (две, три, четыре) сообщений. Давай купим этот анализатор, мы с ребятами займемся и все сообщения поправим за две-три недели. И потом, когда все поправим, он нам будет выдавать 0 сообщений. А значит мы – крутые программисты и делаем качественный код!»
Проверка проекта LibreOffice
2015-03-01 в 13:19, admin, рубрики: bugs, c++, libreoffice, open source, pvs-studio, Блог компании PVS-Studio, коровы, ошибки в коде, ошибки в программе 
Предлагаем читателю очередную статью о проверке известного open-source проекта. В этот раз мы проверили проект LibreOffice, представляющий собой офисный пакет. В его разработке принимает участие более чем 480 программистов. Код оказался весьма качественным и регулярно проверяемым статическим анализатором Coverity. Но, как и в любом другом большом проекте, были найдены новые ошибки и недочеты, о которых мы и расскажем в статье. Для разнообразия, в этот раз нас будут сопровождать не единороги, а коровы.
Читать полностью »
Какие баги нашёл LibreOffce в PVS-Studio?
2015-02-24 в 7:24, admin, рубрики: libreoffice, pvs-studio, static code analysis, Блог компании PVS-Studio, Компиляторы, статический анализ кода
Обычно мы проверяем с помощью PVS-Studio какой-нибудь проект. В этот раз вышло по-другому. Мы проверили PVS-Studio с помощью LibreOffice :-). А потом все-таки смогли и наоборот проверить.
Введение
Статьи о проверках проектов вызывают самую разную реакцию у читателей: от «Сколько уже можно это рекламировать?» до «Огромное спасибо! PVS-Studio — действительно отличный инструмент.» Справедливости ради хочется сказать, что в проверке проекта не учувствуют специалисты по рекламе, прикладывают усилия только разработчики PVS-Studio и переводчик. Вклад анализатора в open-source, безусловно присутствует не малый. Разработчики не всегда заинтересованы в обратной связи, но письмо о проверке получают и найденные ошибки исправляют. На примере проекта LibreOffice, статья о котором тоже скоро будет доступна, хочу рассказать о влиянии проверок проектов на сам анализатор и о проделанной работе.
Читать полностью »
PVS-Studio и CppCat для Microsoft Visual Studio Community 2013
2015-02-10 в 7:17, admin, рубрики: pvs-studio, static code analysis, Visual Studio, visual studio 2013, Блог компании PVS-Studio, Компиляторы, статический анализ кода
Компания Microsoft представила свой очередной программный продукт – новую бесплатную версию Visual Studio, единственным ограничением которой является запрет на разработку корпоративных приложений.
Какое же значение будет иметь это событие для продуктов PVS-Studio и CppCat?
Читать полностью »
Проверяем MatrixSSL с помощью PVS-Studio и Сppcheck
2015-02-02 в 13:03, admin, рубрики: cppcheck, open source, pvs-studio, SSL, Блог компании PVS-Studio 
В статье я хочу рассказать о проверке проекта MatrixSSL статическими анализаторами C/C++ PVS-Studio и Cppcheck.
О библиотеке узнал из комментария на сайте Хабрахабр.
Читать полностью »