The OpenNET Project / Index page

[ новости /+++ | форум | wiki | теги | ]

форумы  помощь  поиск  регистрация  вход/выход  слежка  RSS
"Статический анализатор PVS-Studio доступен для Linux (реклама)"
Вариант для распечатки  
Пред. тема | След. тема 
Форум Разговоры, обсуждение новостей
Изначальное сообщение [ Отслеживать ]

"Статический анализатор PVS-Studio доступен для Linux (реклама)"  –4 +/
Сообщение от opennews (??) on 25-Окт-16, 11:21 
Компания СиПроВер объявила (http://www.viva64.com/ru/b/0441/) о доступности Linux-версии продукта  PVS-Studio (http://www.viva64.com/ru/pvs-studio/), в рамках которого развивается статический анализатор для кода на языках C, C++ и C#.
Начиная с версии 6.10 анализатор PVS-Studio распространяется не только для платформы Windows, но и для Linux. Сборки сформированы (http://www.viva64.com/ru/pvs-studio-download-linux/) в форматах deb, rpm и tgz. Для работы требуется регистрационный ключ, который можно получить отправив запрос через форму (http://www.viva64.com/ru/about-feedback/) на сайте компании.

PVS-Studio выполняет статический анализ кода и генерирует отчёт, помогающий программисту находить и устранять ошибки. Продукт предоставляет широкий спектр проверок кода, но наиболее силён в поисках опечаток и последствий необдуманного копирования блоков кода (Copy-Paste).
Средства диагностики позволяют выявлять ошибки общего назначения (http://www.viva64.com/ru/general-analysis/) (подозрительная работа с указателями, ошибки работы с массивами, некорректная организация циклов, опечатки в именах переменных и т.п.), предлагают возможные оптимизации (http://www.viva64.com/ru/optimization/) и определяют наличие 64-разрядных ошибок (http://www.viva64.com/ru/viva64-tool/).


Версия для Linux оформлена в виде консольного приложения, работающего совместно с GCC или Clang. Поддерживается как проверка файлов с исходным кодом (*.cpp, *.c и т.д.), так и  проверка  файлов, обработанных препроцессором (*.i). В состав пакета входит анализатор pvs-studio, утилита для проверки проектов без интеграции (pvs-studio-analyzer), программа для преобразования отчёта анализатора в различные форматы (plog-converter) и исходный код утилиты plog-converter. Поддерживается интеграция с различными сборочными системами (GNU Make, CMake, QMake)  и интегрированными средами разработки (CLion, QtCreator). Инструкцию по использованию PVS-Studio в процессе разработки на платформе Linux можно найти (http://www.viva64.com/ru/m/0036/) на сайте проекта.

Несмотря на то, что  PVS-Studio является коммерческим продуктом, он широко используется для выявления ошибок в коде открытых проектов. Сотрудники СиПроВер регулярно проводят тестирование различных открытых проектов, публикуют (http://www.viva64.com/ru/b) статьи с результатами и сообщают о найденных ошибках разработчикам проанализированных проектов. В настоящее время в  PVS-Studio  проверен 271 открытый проект (http://www.viva64.com/ru/inspections/), в результате проверки  выявлено 10466 ошибок (http://www.viva64.com/ru/examples/).

URL: http://www.viva64.com/ru/b/0441/
Новость: https://www.opennet.ru/opennews/art.shtml?num=45369

Ответить | Правка | Cообщить модератору

Оглавление

Сообщения по теме [Сортировка по времени | RSS]


1. "Статический анализатор PVS-Studio доступен для Linux (реклам..."  +2 +/
Сообщение от Олег email(??) on 25-Окт-16, 11:21 
Мне понравилась бета, нашла в нашем проекте пару опечаток :)
После этого я понял почему PVS-Studio не стоит сравнивать ccc-analyzer.
Ответить | Правка | ^ к родителю #0 | Наверх | Cообщить модератору

111. "Статический анализатор PVS-Studio доступен для Linux (реклам..."  +4 +/
Сообщение от Аноним (??) on 26-Окт-16, 05:06 
>Олег
>нашла

Что-то здесь не так.

Ответить | Правка | ^ к родителю #1 | Наверх | Cообщить модератору

113. "Статический анализатор PVS-Studio доступен для Linux (реклам..."  +7 +/
Сообщение от Тро on 26-Окт-16, 06:18 
Бета нашла.
Ответить | Правка | ^ к родителю #111 | Наверх | Cообщить модератору

136. "Статический анализатор PVS-Studio доступен для Linux (реклам..."  +5 +/
Сообщение от Аноним (??) on 26-Окт-16, 15:21 
После какой суммы ты это понял? =)
Ответить | Правка | ^ к родителю #1 | Наверх | Cообщить модератору

2. "Статический анализатор PVS-Studio доступен для Linux (реклам..."  +/
Сообщение от xo (ok) on 25-Окт-16, 11:24 
Есть планы выпустить это под FreeBSD ?
Ответить | Правка | ^ к родителю #0 | Наверх | Cообщить модератору

3. "Статический анализатор PVS-Studio доступен для Linux (реклам..."  +2 +/
Сообщение от A.Stahl (ok) on 25-Окт-16, 11:33 
Они и под Линукс с писком и скрипом выпустили, а ты уж под БСД захотел.
Даже если задача сведётся к банальной пересборке без правки кода, то и тогда не факт, что соберутся.
Ответить | Правка | ^ к родителю #2 | Наверх | Cообщить модератору

6. "Статический анализатор PVS-Studio доступен для Linux (реклам..."  +3 +/
Сообщение от Аноним (??) on 25-Окт-16, 11:44 
Они про линукс то писали "пришлось выпустить". Наверное, клиенты требовали. А под BSD какие клиенты и что они будут требовать? Они деньги готовы платить? А то это махровые проприетарщики, со всеми вытекающими.
Ответить | Правка | ^ к родителю #2 | Наверх | Cообщить модератору

9. "Статический анализатор PVS-Studio доступен для Linux (реклам..."  –1 +/
Сообщение от interuser (ok) on 25-Окт-16, 11:51 
В FreeBSD Clang хватает со всеми дополнениями.
Ответить | Правка | ^ к родителю #6 | Наверх | Cообщить модератору

57. "Статический анализатор PVS-Studio доступен для Linux (реклам..."  +2 +/
Сообщение от Аноним (??) on 25-Окт-16, 15:47 
> В FreeBSD Clang хватает со всеми дополнениями.

Там некоторым и виртуализация не нужна, так что не показатель.

Ответить | Правка | ^ к родителю #9 | Наверх | Cообщить модератору

30. "Статический анализатор PVS-Studio доступен для Linux (реклам..."  +1 +/
Сообщение от Какаянахренразница (ok) on 25-Окт-16, 13:13 
У них нет клиентов с такими запросами. Они сами говорили, что продать что-то приверженцам GPL и BSD -- нереально. Зато под каждой их PR-статьёй есть пара коментов типа "когда выпустите под линукс?". Наверное, выпустили не ради продаж, а просто чтобы люди перстали вопить.
Ответить | Правка | ^ к родителю #6 | Наверх | Cообщить модератору

60. "Статический анализатор PVS-Studio доступен для Linux (реклам..."  –2 +/
Сообщение от Аноним (??) on 25-Окт-16, 15:55 
> не ради продаж, а просто чтобы люди перстали вопить.

А зачем тогда упомянутый гемор с ключами? Я понимаю если коверити бесплатно чекает открытые проекты. И коверити сотни пиара и людям удобно. А PVS демонстрирует что отношение к клиентам у них весьма проприетарщицкое и судя по всему это не лечится. А от пропреитари люди отказываются в том числе и потому что иметь дело с проприетарщиком - это заявка на прострел себе пяток. Некооперативнй и неудобный поставщик тулсов на которые завязан рабочий процесс - это граблище!!!

Ответить | Правка | ^ к родителю #30 | Наверх | Cообщить модератору

81. "Статический анализатор PVS-Studio доступен для Linux (реклам..."  +1 +/
Сообщение от Анонька on 25-Окт-16, 19:17 
И PVS бесплатно чекает открытые проекты.
Ответить | Правка | ^ к родителю #60 | Наверх | Cообщить модератору

82. "Статический анализатор PVS-Studio доступен для Linux (реклам..."  –2 +/
Сообщение от Аноним (??) on 25-Окт-16, 19:45 
> И PVS бесплатно чекает открытые проекты.

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

Этим они и отличаются: coverity делают людям удобно. PVS рубят бабло в стиле этак майкрософта из 2000 года. Уже даже майкрософт задолбался с такой репутацией, таки отвадившей у них толпы разработчиков.

Ответить | Правка | ^ к родителю #81 | Наверх | Cообщить модератору

185. "Статический анализатор PVS-Studio доступен для Linux (реклам..."  +/
Сообщение от Andrey_Karpov (ok) on 14-Янв-17, 21:52 
> Но есть нюансы. Коверити можно прикрутить чекать свой проект и он сам
> будет видеть что проект изменился и речекать, чуть ли не реалтайм.
> А сабж - круто, я узнал что полгода назад они чекали
> проект такой-то. И дальше что? Если проект не труп - за
> полгода там еще накоммитили. А если труп - зачем мне его
> качество кода?

Теперь мы предоставляем возможность бесплатного использования анализатора PVS-Studio студентам в учебных целях, индивидуальным разработчикам и коллективам энтузиастов. Подробности: http://www.viva64.com/ru/b/0457/

Ответить | Правка | ^ к родителю #82 | Наверх | Cообщить модератору

109. "Статический анализатор PVS-Studio доступен для Linux (реклам..."  +1 +/
Сообщение от андрей21262 on 26-Окт-16, 04:42 
Проприетарии всех стран, обьединяйтесь!
Ответить | Правка | ^ к родителю #81 | Наверх | Cообщить модератору

106. "Статический анализатор PVS-Studio доступен для Linux (реклам..."  –1 +/
Сообщение от Какаянахренразница (ok) on 26-Окт-16, 03:52 
>> не ради продаж, а просто чтобы люди перстали вопить.
> А зачем тогда упомянутый гемор с ключами?

Ну дык людям рты заткнули. Формально -- выпустили под Линукс. По факту -- денюжка, ключик, лицензия и прочий гемор.

Ответить | Правка | ^ к родителю #60 | Наверх | Cообщить модератору

115. "Статический анализатор PVS-Studio доступен для Linux (реклам..."  +1 +/
Сообщение от тоже Аноним (ok) on 26-Окт-16, 08:01 
Задача для начальной школы:
"Выпустить версию под Линукс".
"Раздавать продукт на халяву".
Найдите отличия между этими выражениями.
Ответить | Правка | ^ к родителю #106 | Наверх | Cообщить модератору

116. "Статический анализатор PVS-Studio доступен для Linux (реклам..."  –2 +/
Сообщение от Аноним (??) on 26-Окт-16, 08:20 
> Ну дык людям рты заткнули. Формально -- выпустили под Линукс. По факту
> -- денюжка, ключик, лицензия и прочий гемор.

А не заткнули. Коверити вон делают что-то полезное для людей, их и воспринимают довольно положительно, никто на них и не наезжает особо. Даже если они зарубят доступ - это было good to have, а не critical и поэтому всем относительно пофиг что они доступ к продукту вообще не дают, только к услуге. Коверити по крайней мере честно показывает клиенту что тот арендатор.

PVS делает морду что это как бы "покупка" хотя реально это та же аренда, на не менее конских условиях (EULA и прочие соглашения читаем, да? и просто на активность конторок посматриваем!). Только с какой-то мимикрией под покупку и активностью которая воспринимается как паразитизм на опенсорсе для пиара без, собственно, привнесения чего-либо нового проектам на которых пиар был. Такая себе работенка майкрософт-стайл из двухтысячных, только "виндовс сервер обгоняет линукс" не хватает. Сразу видно что эти мегапрограмеры в своих офисных кельях с вьюжлстудией опенсорс видели только на картинке.

Ответить | Правка | ^ к родителю #106 | Наверх | Cообщить модератору

186. "Статический анализатор PVS-Studio доступен для Linux (реклам..."  +/
Сообщение от Andrey_Karpov (ok) on 14-Янв-17, 21:53 
Как использовать PVS-Studio бесплатно: http://www.viva64.com/ru/b/0457/
Ответить | Правка | ^ к родителю #60 | Наверх | Cообщить модератору

187. "Статический анализатор PVS-Studio доступен для Linux (реклам..."  +/
Сообщение от Ilya Indigo (ok) on 15-Янв-17, 01:53 
> Как использовать PVS-Studio бесплатно: http://www.viva64.com/ru/b/0457/

Я, на данный момент, не пишу код на плюсах, но мне бы не помешал ваш продукт в исключительно учебных целях, а также просто проанализировать исходники свежих GNU GPL проектов, которые я использую. Покупать лицензию я, соответственно, не собираюсь.
Прочитав дополнение к этому.
> Отметим, что данный режим не предназначен для оценки возможностей анализатора.
> Чтобы познакомиться с анализатором, вы должны использовать демонстрационную версию или запросить у нас временный лицензионный ключ.
> Вам следует вставлять комментарии, когда вы уже решили, что будете использовать анализатор на регулярной основе.
> Вы можете удалить в последствии эти комментарии, но можете сделать это только один раз.

Следовательно, я могу использовать лишь урезанную демо-версию, кстати, чем именно она урезана и как её получить, или запросить у вас временный ключ, так понимаю только 1 раз?

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

Ответить | Правка | ^ к родителю #186 | Наверх | Cообщить модератору

188. "Статический анализатор PVS-Studio доступен для Linux (реклам..."  +/
Сообщение от Andrey_Karpov (ok) on 15-Янв-17, 18:08 
Демонстрационная версия показывает только предупреждения первого уровня и ограничена по количеству кликов. Подробности: http://www.viva64.com/ru/b/0395/

А чем не подходит вариант с вставкой комментариев, описанный в статье?

Ответить | Правка | ^ к родителю #187 | Наверх | Cообщить модератору

189. "Статический анализатор PVS-Studio доступен для Linux (реклам..."  +/
Сообщение от Ilya Indigo (ok) on 15-Янв-17, 20:54 
> А чем не подходит вариант с вставкой комментариев, описанный в статье?

На вашем же сайте написано.
> ...
> ...Отметим, что данный режим не предназначен для оценки возможностей анализатора
> ...
> ...Вам следует вставлять комментарии, когда вы уже решили, что будете использовать анализатор на регулярной основе.
> ...

Ответить | Правка | ^ к родителю #188 | Наверх | Cообщить модератору

190. "Статический анализатор PVS-Studio доступен для Linux (реклам..."  +/
Сообщение от Andrey_Karpov (ok) on 15-Янв-17, 21:17 
> На вашем же сайте написано.
>> ...Отметим, что данный режим не предназначен для оценки возможностей анализатора
>> ...Вам следует вставлять комментарии, когда вы уже решили, что будете использовать анализатор на регулярной основе.

Тогда запросите по почте ключ на неделю и испытайте анализатор. Возможно это не подходит для Ваших сценариев желаемого использования, но для всех угодить невозможно. :)

Ответить | Правка | ^ к родителю #189 | Наверх | Cообщить модератору

67. "Статический анализатор PVS-Studio доступен для Linux (реклам..."  –1 +/
Сообщение от Аноним (??) on 25-Окт-16, 16:22 
Ты так сказал, как будто весь интернет крутится на линукс, потому что тот бесплатный.
Ответить | Правка | ^ к родителю #30 | Наверх | Cообщить модератору

83. "Статический анализатор PVS-Studio доступен для Linux (реклам..."  +3 +/
Сообщение от Аноним (??) on 25-Окт-16, 19:48 
> Ты так сказал, как будто весь интернет крутится на линукс, потому что
> тот бесплатный.

В тои числе и поэтому. Платить за геморную кривую операционку штуку зелени чтобы потом сношаться с таким "бенефитом" как IIS будет только полный мазохист. Даже сам майкрософт отгружает виндозные даунлоады линуксным CDNом. Такой вот парадокс.

Ответить | Правка | ^ к родителю #67 | Наверх | Cообщить модератору

101. "Статический анализатор PVS-Studio доступен для Linux (реклам..."  +/
Сообщение от Аноним (??) on 26-Окт-16, 01:21 
Ты же сам сейчас и сказал, что дело не в цене.
Ответить | Правка | ^ к родителю #83 | Наверх | Cообщить модератору

107. "Статический анализатор PVS-Studio доступен для Linux (реклам..."  +/
Сообщение от Какаянахренразница (ok) on 26-Окт-16, 03:53 
> Ты же сам сейчас и сказал, что дело не в цене.

Цена это один из факторов.

Ответить | Правка | ^ к родителю #101 | Наверх | Cообщить модератору

118. "Статический анализатор PVS-Studio доступен для Linux (реклам..."  +/
Сообщение от Аноним (??) on 26-Окт-16, 08:29 
> Ты же сам сейчас и сказал, что дело не в цене.

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

Ответить | Правка | ^ к родителю #101 | Наверх | Cообщить модератору

142. "Статический анализатор PVS-Studio доступен для Linux (реклам..."  –1 +/
Сообщение от Аноним (??) on 26-Окт-16, 16:38 
Шизик, нафиг ты мне про свой майкрософт впариваешь, о нем даже речи не было.
Ответить | Правка | ^ к родителю #118 | Наверх | Cообщить модератору

145. "Статический анализатор PVS-Studio доступен для Linux (реклам..."  +/
Сообщение от Аноним (??) on 26-Окт-16, 17:59 
Для и-диодов: Там писалось про грабельность продукта, и про то, что это отпугивает клиента.
Ответить | Правка | ^ к родителю #142 | Наверх | Cообщить модератору

159. "Статический анализатор PVS-Studio доступен для Linux (реклам..."  +/
Сообщение от Аноним (??) on 27-Окт-16, 09:38 
> Для и-диодов: Там писалось про грабельность продукта, и про то, что это
> отпугивает клиента.

Тем более что сабжевая компания воняет микрософтом 2000-х годов. Вьюжлстудию выкинули уже все знакомые алгоритмисты под виндой, перейдя в основном на gcc и немного на шланг, потому что компилятор в студии - EPIC FAIL, а эти чудаки тут со своим плагином носятся. Извините, ребята, но времена VS6 и когда gcc ей проигрывал - давно прошли. Поэтому студия нынче не бенефит а индикатор отсталости рабочих процессов и программистов в компании. Вон в MESA вмварские позорники с вьюжлстудией - единственные кто не может C99 использовать. На весь проект.

Ответить | Правка | ^ к родителю #145 | Наверх | Cообщить модератору

167. "Статический анализатор PVS-Studio доступен для Linux (реклам..."  +/
Сообщение от Andrey_Karpov (ok) on 27-Окт-16, 19:43 
Кстати, на тему GCC: http://www.viva64.com/ru/b/0425/
Ответить | Правка | ^ к родителю #159 | Наверх | Cообщить модератору

178. "Статический анализатор PVS-Studio доступен для Linux (реклам..."  +/
Сообщение от Аноним (??) on 31-Окт-16, 02:38 
> Кстати, на тему GCC: http://www.viva64.com/ru/b/0425/

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

Фэйл в том что самое вкусное aka интеграция софтины в рабочий процесс - в результате и не продемонстрированы. Да и подходы вида "напишите нам на мыло и мы может быть дадим вам ключ" тоже выглядят кисловато, особвенно на сайте про опенсорс, где проприетарщиков как раз и недолюбливают за вот такие вещи. Опенсорс - он в основном о взаимодействии без гемора и барьеров.

Ответить | Правка | ^ к родителю #167 | Наверх | Cообщить модератору

16. "Статический анализатор PVS-Studio доступен для Linux (реклам..."  +1 +/
Сообщение от Andrey_Karpov (ok) on 25-Окт-16, 12:17 
В ближайшее время не планируем. Сложностей нет, но не всё сразу.
Ответить | Правка | ^ к родителю #2 | Наверх | Cообщить модератору

88. "Статический анализатор PVS-Studio доступен для Linux (реклам..."  –6 +/
Сообщение от Фкук on 25-Окт-16, 20:43 
>> Есть планы выпустить это под FreeBSD ?

Что мешает проверять исходники с виндовой рабочей станции?

Ответить | Правка | ^ к родителю #2 | Наверх | Cообщить модератору

92. "Статический анализатор PVS-Studio доступен для Linux (реклам..."  +10 +/
Сообщение от Аноним (??) on 25-Окт-16, 21:00 
То что РАБОТАТЬ под виндой неудобно.
Ответить | Правка | ^ к родителю #88 | Наверх | Cообщить модератору

4. "Статический анализатор PVS-Studio доступен для Linux (реклам..."  +/
Сообщение от Аноним (??) on 25-Окт-16, 11:39 
Ну что я могу сказать... Молодцы!
С версией под Linux разработчики очень долго тянули, но видимо их всё же достал один и тот же вопрос на Хабре: "А планируется ли версия под Linux?".
Надеюсь им удастся окупить затраты на разработку.
Ответить | Правка | ^ к родителю #0 | Наверх | Cообщить модератору

5. "Статический анализатор PVS-Studio доступен для Linux (реклам..."  +9 +/
Сообщение от Аноним (??) on 25-Окт-16, 11:40 
От всей этой пвс у меня пока такое ощущение (сужу только по рекламам):

Судя по постам от компании всё что пвс делает - это выявляет в основном некрасивый код.
На функционал это никак не влияет. На ошибки это никак не влияет.
Реально вот, что с пвс-ом, что без все программы как работали так и работают.

"Ах, спасибо, пвс! С помощью него мы ..." я даже не знаю, что "мы"-то!

Тот же, например, Valgrind: "Ах, спасибо, valgrind! С помощью него мы избавились от утечек памяти!"

Так ли? Или реально пвс - это лучик света в тёмной жопе?

Ответить | Правка | ^ к родителю #0 | Наверх | Cообщить модератору

12. "Статический анализатор PVS-Studio доступен для Linux (реклам..."  +7 +/
Сообщение от тоже Аноним email(ok) on 25-Окт-16, 11:59 
Ну, представьте, что ваша работа с завтрашнего дня - поддержка здоровой кучи легаси-кода, написанного поколениями ваших предшественников. Код целиком состоит из "некрасивых мест", но переписать его целиком вам не под силу, можно только выявить места, где эта "некрасивость" реально грозит проблемами, и отсортировать их по степени важности, чтобы знать, что исправлять в первую очередь.
Думаю, вы немного иначе взглянете на этот инструмент... и, может быть, даже на его ценник.
Ответить | Правка | ^ к родителю #5 | Наверх | Cообщить модератору

18. "Статический анализатор PVS-Studio доступен для Linux (реклам..."  +9 +/
Сообщение от angra (ok) on 25-Окт-16, 12:26 
> Судя по постам от компании всё что пвс делает - это выявляет
> в основном некрасивый код.
> На функционал это никак не влияет. На ошибки это никак не влияет.

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

Ответить | Правка | ^ к родителю #5 | Наверх | Cообщить модератору

23. "Статический анализатор PVS-Studio доступен для Linux (реклам..."  –5 +/
Сообщение от Аноним (??) on 25-Окт-16, 12:32 
Да ладно? Она интеграционные тесты писать умеет?
Ответить | Правка | ^ к родителю #18 | Наверх | Cообщить модератору

38. "Статический анализатор PVS-Studio доступен для Linux (реклам..."  +7 +/
Сообщение от angra (ok) on 25-Окт-16, 14:00 
Еще один ничего не понявший, но знающий умное слово. Откуда вас сегодня выпустили?
Ответить | Правка | ^ к родителю #23 | Наверх | Cообщить модератору

69. "Статический анализатор PVS-Studio доступен для Linux (реклам..."  +/
Сообщение от Аноним (??) on 25-Окт-16, 17:04 
Кто бы говорил сам небось по TDD
Ответить | Правка | ^ к родителю #23 | Наверх | Cообщить модератору

97. "Статический анализатор PVS-Studio доступен для Linux (реклам..."  +/
Сообщение от Аноним (??) on 25-Окт-16, 23:12 
>приводящие к самому мерзкому типу ошибок - не воспроизводимым, проявляющимся лишь время от времени.

По-моему как раз от таких проблем никакой статический анализатор не спасет, ведь только в рантайме (легче всего - с помощью valgrind/callgrind/helgrind/massif/drd) можно задетектить периодические переполнения буфферов, дэдлоки, небезопасное использование разделяемой памяти и т.п.

Ответить | Правка | ^ к родителю #18 | Наверх | Cообщить модератору

98. "Статический анализатор PVS-Studio доступен для Linux (реклам..."  +/
Сообщение от Andrey_Karpov (ok) on 26-Окт-16, 00:09 
И да, и нет. Всё зависит от типа ошибки. То, что легко выявляет статический анализ, бывает сложно/невозможно выявить динамическим. И наоборот.

P.S. Близко по теме: http://www.viva64.com/ru/b/0248/

Ответить | Правка | ^ к родителю #97 | Наверх | Cообщить модератору

164. "Статический анализатор PVS-Studio доступен для Linux (реклам..."  +/
Сообщение от Аноним (??) on 27-Окт-16, 14:26 
> P.S. Близко по теме: http://www.viva64.com/ru/b/0248/

Поздравления, вы тоже придумали ASAN. Но это уже несколько лет реализовано и в clang и в gcc и продать что-то такое за деньги реально наверное только пользователям вьюжлстудии которые еще не выбросили MS'овский компилятор. Ну или если у вас производительность сильно выше. ASAN все-таки ощутимо просаживает программу.

Ответить | Правка | ^ к родителю #98 | Наверх | Cообщить модератору

165. "Статический анализатор PVS-Studio доступен для Linux (реклам..."  +/
Сообщение от Andrey_Karpov (ok) on 27-Окт-16, 15:01 
Это никак не мешает нам легко находить ошибки в этих самых clang и gcc. Proof: http://www.viva64.com/en/b/0425/ , http://www.viva64.com/en/b/0108/ , http://www.viva64.com/en/b/0155/ и скоро ещё одна статья будет про clang. Так что деньги мы получаем не зря за PVS-Studio. :)
Ответить | Правка | ^ к родителю #164 | Наверх | Cообщить модератору

19. "Статический анализатор PVS-Studio доступен для Linux (реклам..."  +/
Сообщение от Andrey_Karpov (ok) on 25-Окт-16, 12:26 
Некрасивый код, это не к нам. :) PVS-Studio ориентирован на поиск настоящих ошибок. Прошу посмотреть внимательнее на то, что он выявляет: http://www.viva64.com/ru/examples/

Суть статического анализа, не в том, чтобы прискакать на единороге перед релизом и найти два фатальных бага. Суть статического анализа в регулярном использовании и нахождении многих ошибок на самом раннем этапе. Зачем долго и мучиться отлаживаться, если можно найти многие ошибки сразу. Да не все ошибки, но многие. Это экономия сил и времени разработчика. Пример: https://habrahabr.ru/post/198836/

И ещё на тему, что программы и так работают: http://www.viva64.com/ru/b/0336/


Ответить | Правка | ^ к родителю #5 | Наверх | Cообщить модератору

32. "Статический анализатор PVS-Studio доступен для Linux (реклам..."  –2 +/
Сообщение от Аноним (??) on 25-Окт-16, 13:19 
> Прошу посмотреть внимательнее на то, что он выявляет: http://www.viva64.com/ru/examples/

Ну да, реальные ошибки находятся - спору нет.

Хотя по сути, тестировался бы код... Ну потому что "infinite loop" - это на самом деле очень серьёзно. И что, хотите сказать, что мыши плакали, кололись, но продолжали пользоваться программой, которая зависала? Значит, этот код либо не для продакшена, либо вообще не используется. Ну зависание же, ну infinite loop же!

А вот с возвращением из функции указателя на локальную переменную - это да, это круто. Но тогда пвс должна сразу писать письмо в отдел расстрелов.

В общем, как ни крути (превьюшка на видео к новости (а видео-то уже удалилось!)): Кому нужен статический анализатор?
- новичкам
- "индусам"
- плохим программистам

Поэтому если компания использует пвс, значит контингент понятен :)

Я - хрен с горы - заявляю: инструмент, в принципе, полезен. Но...

Ответить | Правка | ^ к родителю #19 | Наверх | Cообщить модератору

43. "Статический анализатор PVS-Studio доступен для Linux (реклам..."  +2 +/
Сообщение от angra (ok) on 25-Окт-16, 14:12 
>  Кому нужен статический анализатор?
> - новичкам
> - "индусам"
> - плохим программистам
> Поэтому если компания использует пвс, значит контингент понятен :)

Я так понимаю, ты сейчас даш нам пример написанного тобой серьезного софта без единой ошибки, причем даже на этапе написания, код сразу писался идеальный.


Ответить | Правка | ^ к родителю #32 | Наверх | Cообщить модератору

48. "Статический анализатор PVS-Studio доступен для Linux (реклам..."  –2 +/
Сообщение от Аноним (??) on 25-Окт-16, 15:01 
> Я так понимаю, ты сейчас даш нам пример написанного тобой серьезного софта без единой ошибки, причем даже на этапе написания, код сразу писался идеальный.

Примера не будет, так как этот проект пока ещё только в планах, но, поверь, у него уже идеальный код!

Ответить | Правка | ^ к родителю #43 | Наверх | Cообщить модератору

54. "Статический анализатор PVS-Studio доступен для Linux (реклам..."  +1 +/
Сообщение от Аноним (??) on 25-Окт-16, 15:38 
философ и вонючка!
Ответить | Правка | ^ к родителю #48 | Наверх | Cообщить модератору

84. "Статический анализатор PVS-Studio доступен для Linux (реклам..."  +/
Сообщение от Аноним (??) on 25-Окт-16, 19:52 
> философ и вонючка!

А тот чудак который про Тюринга не в курсе? Обнаружить все infinite loops невозможно даже чисто теоретически.

Ответить | Правка | ^ к родителю #54 | Наверх | Cообщить модератору

90. "Статический анализатор PVS-Studio доступен для Linux (реклам..."  +/
Сообщение от Аноним (??) on 25-Окт-16, 20:48 
Изнутри LLVM запросто, в GCC не так просто в реализации через ядро, не говоря уже про обертку с нуля.
Ответить | Правка | ^ к родителю #84 | Наверх | Cообщить модератору

119. "Статический анализатор PVS-Studio доступен для Linux (реклам..."  +/
Сообщение от Аноним (??) on 26-Окт-16, 08:34 
> Изнутри LLVM запросто,

Что значит - изнутри LLVM? Ты готов гонять симуляцию моей програмы вечно, чтобы посмотреть загнется ли она в конце концов? Ну вот отработала моя программа два года. И какой будет вердикт? А может, я в программе на часы смотрю и жду 2027 года, и закруглюсь именно тогда? И как ты это будешь анализировать, хоть LLVM'ом, хоть чем там еще? Тебе для анализа Full AI потребуется как минимум, и тот лажать по черному будет.

Ответить | Правка | ^ к родителю #90 | Наверх | Cообщить модератору

56. "Статический анализатор PVS-Studio доступен для Linux (реклам..."  +3 +/
Сообщение от Аноним (??) on 25-Окт-16, 15:45 
> Я так понимаю, ты сейчас даш

                              ^- Error at line 1: syntax error.

Ответить | Правка | ^ к родителю #43 | Наверх | Cообщить модератору

61. "Статический анализатор PVS-Studio доступен для Linux (реклам..."  +/
Сообщение от Аноним (??) on 25-Окт-16, 15:55 
Щито? Так было на видосе! А масса уже делает выводы о том, что увидела...
Ответить | Правка | ^ к родителю #43 | Наверх | Cообщить модератору

25. "Статический анализатор PVS-Studio доступен для Linux (реклам..."  +/
Сообщение от Аноним (??) on 25-Окт-16, 12:33 
можно и не использовать. только эти ошибки придётся искать другим людям. и времени займёт больше
Ответить | Правка | ^ к родителю #5 | Наверх | Cообщить модератору

33. "Статический анализатор PVS-Studio доступен для Linux (реклам..."  +/
Сообщение от Michael Shigorin email(ok) on 25-Окт-16, 13:28 
> можно и не использовать. только эти ошибки придётся искать другим людям. и
> времени займёт больше

Собственно, тот же Coverity начинали люди, которые до этого много лет глазками-ручками... (опять же насколько понимаю, может, опёнковцы поправят)

Ответить | Правка | ^ к родителю #25 | Наверх | Cообщить модератору

28. "Статический анализатор PVS-Studio доступен для Linux (реклам..."  +11 +/
Сообщение от CodeRush email on 25-Окт-16, 13:04 
Реально вполне, только проверять надо постоянно, а не эпизодически (то же самое справедливо и для Valgrind, и для остальных "проверяльщиков").

Мой пример: боролся я однажды с интересным багом при инициализации дополнительных ядер процессора AMD Merlin Falcon в прошивке. Нулевое ядро там назвают BSP (BootStrap Processor), а остальные - AP (Application Processor), так вот, инициализация очередного AP иногда зависала на ровном месте в ~0.1% случаев (а т.к. процесс работы прошивки до этого времени детерминирован, то в таких зависаниях чаще всего виновато оборудование или код, который его неправильно использует).
Зависающая прошивка - это show stopper, т.е. пока это не починим, дальше разрабатывать нет смысла. Я просидел две недели в попытках понять, что не так, и пошел пробовать статические анализаторы, которые давали попробовать (AMI использует CppCheck для своего кода, но он совсем слабый по сравнению с любыми коммерческими анализаторами).
В итоге PVS-Studio нашла переменную в структуре, у которой был пропущен аттрибут volatile, а в коде было что-то вроде такого:
// Prepare CPU context structure
...
apStructPtr->InSync = 0;
...
// Send context to AP
...
// Wait for AP sync
while(apStructPtr->InSync) {
// Still waiting
}

Т.к. ни apStructPtr, ни InSync не были помечены как volatile, то компилятор просто выбрасывал цикл, т.к. он не влияет на наблюдаемое поведение и аналогичен while(0), в результате получалась гонка между внутренними процессами в CPU и продолжением исполнения, и выигрывали её чаще всего внутренние процессы, т.е. все работало почти всегда. Но потом стало больше ядер, вышли новые процессоры и более долгой синхронизацией, и все сломалось.
А PVS-Studio сразу сообщила, что вот тут место подозрительное, проверьте. Проверил, добавил volatile, баг исчез. Вот так и помогает, вполне реально.

Ответить | Правка | ^ к родителю #5 | Наверх | Cообщить модератору

42. "Статический анализатор PVS-Studio доступен для Linux (реклам..."  +/
Сообщение от Аноним (??) on 25-Окт-16, 14:11 
> А PVS-Studio сразу сообщила, что вот тут место подозрительное, проверьте.
> Проверил, добавил volatile, баг исчез.

Ну эээ... Расстрелы уже провели? Потому что - ну ёмоё, ожидание результата в глобальной переменной от другого ядра и без volatile? Кто код писал? Фамилию! Да шучу :)

Ответить | Правка | ^ к родителю #28 | Наверх | Cообщить модератору

70. "Статический анализатор PVS-Studio доступен для Linux (реклам..."  +/
Сообщение от _ (??) on 25-Окт-16, 17:14 
Трепло!
Расходимся пацаны ... он ещё сисек не мял, а уже лопочет чегото :-\
Ответить | Правка | ^ к родителю #42 | Наверх | Cообщить модератору

45. "Статический анализатор PVS-Studio доступен для Linux (реклам..."  +/
Сообщение от Andrey_Karpov (ok) on 25-Окт-16, 14:22 
Спасибо за интересный комментарий.
Ответить | Правка | ^ к родителю #28 | Наверх | Cообщить модератору

62. "Статический анализатор PVS-Studio доступен для Linux (реклам..."  +1 +/
Сообщение от anonimm on 25-Окт-16, 15:55 
Зачем платить если есть coverity и clang????
Ответить | Правка | ^ к родителю #28 | Наверх | Cообщить модератору

93. "Статический анализатор PVS-Studio доступен для Linux (реклам..."  +/
Сообщение от Aleksey (??) on 25-Окт-16, 21:25 
Зачем покупать кофе, если вода дешевле?
Ответить | Правка | ^ к родителю #62 | Наверх | Cообщить модератору

99. "Статический анализатор PVS-Studio доступен для Linux (реклам..."  +/
Сообщение от Аноним (??) on 26-Окт-16, 00:42 
А что из этого кофе?
Ответить | Правка | ^ к родителю #93 | Наверх | Cообщить модератору

120. "Статический анализатор PVS-Studio доступен для Linux (реклам..."  +/
Сообщение от Аноним (??) on 26-Окт-16, 08:44 
> А что из этого кофе?

Ява, разумеется.

Ответить | Правка | ^ к родителю #99 | Наверх | Cообщить модератору

55. "Статический анализатор PVS-Studio доступен для Linux (реклам..."  +2 +/
Сообщение от Аноним (??) on 25-Окт-16, 15:44 
> Так ли? Или реально пвс - это лучик света в тёмной жопе?

Лучику света наверное не пристало выдавать коменты "пришлось сделать под линукс". Это больше похоже на темную проприетарную ...

Ответить | Правка | ^ к родителю #5 | Наверх | Cообщить модератору

10. "Статический анализатор PVS-Studio доступен для Linux (реклам..."  +4 +/
Сообщение от Аноним (??) on 25-Окт-16, 11:56 
Я на всегда запомню, что PVS - этот тот продукт, который имел возможность очень круто попиариться, но не смог. Была их реклама, что де при проверке openssl найдено столько-то багов, а чуть позже объявили о найденной heart bleed... причем из заявления разработчиков их совершено не волнует, почему аналайзер его не нашел.
Ответить | Правка | ^ к родителю #0 | Наверх | Cообщить модератору

11. "Статический анализатор PVS-Studio доступен для Linux (реклам..."  –2 +/
Сообщение от Аноним (??) on 25-Окт-16, 11:57 
зато "В настоящее время в PVS-Studio проверен 271 открытый проект, в результате проверки выявлено 10466 ошибок."
Ответить | Правка | ^ к родителю #10 | Наверх | Cообщить модератору

21. "Статический анализатор PVS-Studio доступен для Linux (реклам..."  +12 +/
Сообщение от Andrey_Karpov (ok) on 25-Окт-16, 12:31 
Тот баг не нашел ни один анализатор. Потом были статьи, что мол если сделать так, вот так и вот тут ещё настроечку поменять, а вот здесь подсказать специальным комментарием, то анализатор X это найдёт. Но это не считается. По факту все анализаторы облажались. И это нормально, в том смысле что никто и не обещал, что анализаторы должны находить КАЖДУЮ ошибку. Искусственный интеллект ещё не придумали. Но не смотря на свою неидеальность, статические анализаторы всё равно приносят пользу и это факт.
Ответить | Правка | ^ к родителю #10 | Наверх | Cообщить модератору

74. "Статический анализатор PVS-Studio доступен для Linux (реклам..."  +1 +/
Сообщение от АнонимХ (ok) on 25-Окт-16, 17:31 
> Искусственный интеллект ещё не придумали.

кстати, даже AI не будет находить ВСЕ ошибки. Это "проблема разрешения", она не имеет решения.

Ответить | Правка | ^ к родителю #21 | Наверх | Cообщить модератору

144. "Статический анализатор PVS-Studio доступен для Linux (реклам..."  +/
Сообщение от Аноним (??) on 26-Окт-16, 17:27 
> кстати, даже AI не будет находить ВСЕ ошибки. Это "проблема разрешения", она
> не имеет решения.

Кстати на поприкалываться: systemd спалил дедлок в одной из моих программ и серьезную проблему с random на платформе. А казалось бы всего-то сделали апи вачдога и измерение времени старта сервисов.

Ответить | Правка | ^ к родителю #74 | Наверх | Cообщить модератору

76. "Статический анализатор PVS-Studio доступен для Linux (реклам..."  +/
Сообщение от Аноним (??) on 25-Окт-16, 18:10 
> Но не смотря на свою неидеальность, статические анализаторы всё равно приносят пользу и это факт.

конечно! они приносят бабки! а уж какие именно баги они ищут, не суть важно.

Ответить | Правка | ^ к родителю #21 | Наверх | Cообщить модератору

110. "Статический анализатор PVS-Studio доступен для Linux (реклам..."  +/
Сообщение от Vkni (ok) on 26-Окт-16, 04:54 
> Искусственный интеллект ещё не придумали.

Так вы с естественным интеллектом практически в каждой статье не можете исправить пару ошибок, т.к. вы не знаете детальных требований к коду. Т.е. и ИИ тут на 100% не поможет.

С другой стороны, значительная часть ошибок, которые вы находите, невозможна в ряде более современных и менее эклектичных языках, чем С++.

Ответить | Правка | ^ к родителю #21 | Наверх | Cообщить модератору

121. "Статический анализатор PVS-Studio доступен для Linux (реклам..."  +/
Сообщение от Аноним (??) on 26-Окт-16, 08:46 
> С другой стороны, значительная часть ошибок, которые вы находите, невозможна в ряде
> более современных и менее эклектичных языках, чем С++.

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

Ответить | Правка | ^ к родителю #110 | Наверх | Cообщить модератору

154. "Статический анализатор PVS-Studio доступен для Linux (реклам..."  +/
Сообщение от Vkni (ok) on 27-Окт-16, 00:56 
> Только этим языкам все это что-то не помогло.

Помогло, помогло, не переживайте.

> И это довольно много софта.

Софта вообще очень много.

Ответить | Правка | ^ к родителю #121 | Наверх | Cообщить модератору

160. "Статический анализатор PVS-Studio доступен для Linux (реклам..."  +/
Сообщение от Аноним (??) on 27-Окт-16, 09:49 
> Помогло, помогло, не переживайте.

А по ним и не скажешь. Вон весь гитхаб js'ом заспамили. Но это наверное не про него было?

> Софта вообще очень много.

Я бы даже сказал что его настолько много что найти приличный софт стало целым приключением.

Ответить | Правка | ^ к родителю #154 | Наверх | Cообщить модератору

163. "Статический анализатор PVS-Studio доступен для Linux (реклам..."  +/
Сообщение от Kern on 27-Окт-16, 11:43 
Ой да действительно, невозможны, именно поэтому существуют всякие Infer от фейсбука, Community-driven FindBugs, PMD и прочие прочие.
Ответить | Правка | ^ к родителю #110 | Наверх | Cообщить модератору

27. "Статический анализатор PVS-Studio доступен для Linux (реклам..."  +/
Сообщение от Аноним (??) on 25-Окт-16, 13:01 
Существует ли сравнение PVS с другими коммерческими анализаторами? Только не по принципу возьмем OSS проект и прогоним на двух анализаторах, а сравннеие по классам проверок, типам выявляемых ошибок.
Ответить | Правка | ^ к родителю #0 | Наверх | Cообщить модератору

46. "Статический анализатор PVS-Studio доступен для Linux (реклам..."  –1 +/
Сообщение от Andrey_Karpov (ok) on 25-Окт-16, 14:24 
Такого сравнения нет. Про классы выявляемых ошибок можно посмотреть в таблице: http://www.viva64.com/ru/w/
Ответить | Правка | ^ к родителю #27 | Наверх | Cообщить модератору

96. "Статический анализатор PVS-Studio доступен для Linux (реклам..."  +/
Сообщение от Аноним (??) on 25-Окт-16, 22:15 
А Coverity checkers reference лежит тут: https://ondemand.coverity.com/reference/7.6.1/en/coverity. Не последний, конечно, но всё же. Задам вопрос по другому, какие могут быть технические причины мне, пользователю Coverity, смотреть в сторону PVS. Предположим, меня интересует лишь качество выдаваемых рекомендаций, а не механизмы интеграции в систему сборки или форматы отчетов.
Ответить | Правка | ^ к родителю #46 | Наверх | Cообщить модератору

127. "Статический анализатор PVS-Studio доступен для Linux (реклам..."  +/
Сообщение от Andrey_Karpov (ok) on 26-Окт-16, 10:32 
Всё очень просто. Проверьте свой код (после Coverity). Если найдёте интересные ошибки, то влюбитесь в единорога. А если нет, ну значит в этот раз нам не повезло.
Ответить | Правка | ^ к родителю #96 | Наверх | Cообщить модератору

148. "Статический анализатор PVS-Studio доступен для Linux (реклам..."  +1 +/
Сообщение от Аноним (??) on 26-Окт-16, 21:32 
Делал это уже раза три на разных стадиях развития PVS, начиная с первой версии, в которой появился сканер общего назначения. На проекте из нескольких миллионов сток кода интересных (валидных) рекомендаций PVS не давал. Но это проект с регулярным использованием Coverity последних версий и вообще высоким качеством наследуемого кода. Предлагаемый Вами подход оценивания не помогает решить вопрос о замене одного анализатора на другой, т.к. он не показывает, сколько общих ошибок нашли бы анализаторы при регулярном использовании. Соответственно, такой подход не приемлем для тех команд, где уже применяется серьезный инструмент статического анализа. Для них нужные реальные аргументы, убеждающие в более высоком качестве выдаваемых рекомендаций (больше реальных ошибок, меньше ложных срабатываний). Не знаю, насколько велик процент клиентов мигрирующих с одного коммерческого инструмента на другой, судя по ответам мне кажется, что он ничтожно мал.

Практический вопрос, понимает ли PVS нотацию в комментариях для Coverity?

Ответить | Правка | ^ к родителю #127 | Наверх | Cообщить модератору

149. "Статический анализатор PVS-Studio доступен для Linux (реклам..."  +/
Сообщение от Andrey_Karpov (ok) on 26-Окт-16, 21:41 
Нет, не понимает.
Ответить | Правка | ^ к родителю #148 | Наверх | Cообщить модератору

150. "Статический анализатор PVS-Studio доступен для Linux (реклам..."  +/
Сообщение от Andrey_Karpov (ok) on 26-Окт-16, 21:42 
Но можно научить. Пока никто из клиентов или потенциальных клиентов о таком не просил.
Ответить | Правка | ^ к родителю #149 | Наверх | Cообщить модератору

63. "Статический анализатор PVS-Studio доступен для Linux (реклам..."  +/
Сообщение от Аноним (??) on 25-Окт-16, 15:59 
Оно круче, какое сравнение
Ответить | Правка | ^ к родителю #27 | Наверх | Cообщить модератору

31. "Статический анализатор PVS-Studio доступен для Linux (реклам..."  –2 +/
Сообщение от anonimQt5 on 25-Окт-16, 13:19 
PVS-Studio крутая программа.
Сам не использую, так как одиночка и нет ресурсов на неё, но статические анализаторы должны использовать все программисты C++.
Так что всего наилучшего таким программам как:
Cppcheck, Clang static analizer, PVS-Studio
Ответить | Правка | ^ к родителю #0 | Наверх | Cообщить модератору

53. "Статический анализатор PVS-Studio доступен для Linux (реклам..."  +3 +/
Сообщение от Аноним (??) on 25-Окт-16, 15:30 
И чем она крутая?
Ответить | Правка | ^ к родителю #31 | Наверх | Cообщить модератору

58. "Статический анализатор PVS-Studio доступен для Linux (реклам..."  +/
Сообщение от Аноним (??) on 25-Окт-16, 15:50 
> И чем она крутая?

Боты у PVS крутые - довольно технично пиарятся, но на деталях все-таки палятся.

Ответить | Правка | ^ к родителю #53 | Наверх | Cообщить модератору

59. "Статический анализатор PVS-Studio доступен для Linux (реклам..."  +/
Сообщение от A.Stahl (ok) on 25-Окт-16, 15:51 
>Сам не использую

Откуда он знает? Крутая и всё тут!

Ответить | Правка | ^ к родителю #53 | Наверх | Cообщить модератору

66. "Статический анализатор PVS-Studio доступен для Linux (реклам..."  +2 +/
Сообщение от anonimQt5 on 25-Окт-16, 16:20 
На хабре обзоры читал, видел какие ошибки нашла программа. Поэтому и крутая.
Ответить | Правка | ^ к родителю #59 | Наверх | Cообщить модератору

68. "Статический анализатор PVS-Studio доступен для Linux (реклам..."  +/
Сообщение от Аноним (??) on 25-Окт-16, 16:46 
А может ему название нравится? У других программ названия анализер, чек и т.д. А тут пафосно Студия! Круто же
Ответить | Правка | ^ к родителю #66 | Наверх | Cообщить модератору

158. "Статический анализатор PVS-Studio доступен для Linux (реклам..."  +/
Сообщение от hhg (ok) on 27-Окт-16, 08:01 
логотипом =)
Ответить | Правка | ^ к родителю #53 | Наверх | Cообщить модератору

34. "Статический анализатор PVS-Studio доступен для Linux (реклам..."  +1 +/
Сообщение от anonymous (??) on 25-Окт-16, 13:35 
Насколько я помню, народ пытался купить себе этот PVS-студию и не преуспел. Разработчики работают только с юрлицами в индивидуальном порядке и продавать физлицам софт не планируют.
Ответить | Правка | ^ к родителю #0 | Наверх | Cообщить модератору

35. "Статический анализатор PVS-Studio доступен для Linux (реклам..."  +1 +/
Сообщение от Аноним (??) on 25-Окт-16, 13:42 
Майкрософту продайте, а то от их быдлo-кода плакать хочется.
Ответить | Правка | ^ к родителю #0 | Наверх | Cообщить модератору

52. "Статический анализатор PVS-Studio доступен для Linux (реклам..."  +/
Сообщение от Uri (??) on 25-Окт-16, 15:25 
> Майкрософту продайте, а то от их быдлo-кода плакать хочется.

У них свои тулзы.

Ответить | Правка | ^ к родителю #35 | Наверх | Cообщить модератору

79. "Статический анализатор PVS-Studio доступен для Linux (реклам..."  +/
Сообщение от Admino (ok) on 25-Окт-16, 19:01 
Вот и надо продать.

Хотя… нам больше достанется.

Ответить | Правка | ^ к родителю #52 | Наверх | Cообщить модератору

112. "Статический анализатор PVS-Studio доступен для Linux (реклам..."  +/
Сообщение от Аноним (??) on 26-Окт-16, 05:09 
Тише-тише, а то сейчас придут пвсники и будут тебе рассказывать, что у них самый качественный код.
Ответить | Правка | ^ к родителю #35 | Наверх | Cообщить модератору

36. "Статический анализатор PVS-Studio доступен для Linux (реклам..."  +6 +/
Сообщение от Аноним (??) on 25-Окт-16, 13:46 
Почему на официальном сайте рекламируемого КОМЕРЧЕСКОГО продукта нет цены?
Ответить | Правка | ^ к родителю #0 | Наверх | Cообщить модератору

47. "Статический анализатор PVS-Studio доступен для Linux (реклам..."  –1 +/
Сообщение от Reyn on 25-Окт-16, 14:52 
Common practice.
Особенно для проектов ориентированных на юридических лиц.
Ответить | Правка | ^ к родителю #36 | Наверх | Cообщить модератору

65. "Статический анализатор PVS-Studio доступен для Linux (реклам..."  +4 +/
Сообщение от Аноним (??) on 25-Окт-16, 16:12 
Рассматриваю возможность приобрести сей продукт для юридического лица. Однако, отсутствие цены делает невозможным даже предложить руководству такую покупку.
Ответить | Правка | ^ к родителю #47 | Наверх | Cообщить модератору

87. "Статический анализатор PVS-Studio доступен для Linux (реклам..."  +/
Сообщение от Andrey_Karpov (ok) on 25-Окт-16, 20:07 
Но ведь покупают. :)
Ответить | Правка | ^ к родителю #65 | Наверх | Cообщить модератору

91. "Статический анализатор PVS-Studio доступен для Linux (реклам..."  –2 +/
Сообщение от Ergil (ok) on 25-Окт-16, 20:56 
Ой, вот только не надо чуши про «Common practice»
Это практика только в российских конторках пилящих государственное бабло. А в нормальных конторах, хоть MS и RH, хоть какой-нибудь Oracle и прочая полюбень, цены пишут на сайте.
Ответить | Правка | ^ к родителю #47 | Наверх | Cообщить модератору

94. "Статический анализатор PVS-Studio доступен для Linux (реклам..."  +/
Сообщение от Michael Shigorin email(ok) on 25-Окт-16, 21:55 
> Это практика только в российских конторках пилящих государственное бабло.

Это, милейший, расскажете своим депутатам, глядя в их честные глаза (но не на зряплату).

> А в нормальных конторах, хоть MS и RH, хоть какой-нибудь Oracle и прочая полюбень,
> цены пишут на сайте.

И только наивные туземцы думают, что это вся правда.  У той же "нормальной конторы" MS в зависимости от необходимости выкручивания рук или же, наоборот, задабривания любой ценой эта самая цена и сопутствующие условия могут варьироваться от публичных в весьма широких пределах.

Ответить | Правка | ^ к родителю #91 | Наверх | Cообщить модератору

123. "Статический анализатор PVS-Studio доступен для Linux (реклам..."  –5 +/
Сообщение от Аноним (??) on 26-Окт-16, 09:20 
Миша, россияне себе государство строят по образу и подобию корпорации Майкрософт. И гетзефаксы в наличии, и сомнительные маневры, и Баллмер вместе с интрижками сомнительных группок уровнем ниже сэмулирован исправно. И уж конечно все секретно, непрозрачно, проприетарненько. Свободы? Открытость? Ох, ну что вы право, это у проприетарщиков миф. За попытки что-нибудь улучшить и предложить как и положено бьют по рукам. Ведь надо приказания шефа^W партии выполнять, а не отсебятину всякую.

Да и структура экономики с 75% госсобственности - вполне себе такой Майкрософт. Только к тому же еще и государственный, что все дополнительно усугубляет на предмет эффективности управления и использования админресурса нецелевым образом.

Ответить | Правка | ^ к родителю #94 | Наверх | Cообщить модератору

134. "Статический анализатор PVS-Studio доступен для Linux (реклам..."  –1 +/
Сообщение от angra (ok) on 26-Окт-16, 14:29 
> россияне себе государство строят

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

Ответить | Правка | ^ к родителю #123 | Наверх | Cообщить модератору

138. "Статический анализатор PVS-Studio доступен для Linux (реклам..."  +/
Сообщение от Michael Shigorin email(ok) on 26-Окт-16, 15:55 
> Миша, россияне себе государство строят по образу и подобию корпорации Майкрософт.

Нет.  Впрочем, по Даннингу с Крюгером Вы вряд ли даже поймёте, _насколько_ неправы.

> Да и структура экономики с 75% госсобственности - вполне себе такой Майкрософт.
> Только к тому же еще и государственный

Определитесь.

PS: есть предложение удалить офтопик от #91.

Ответить | Правка | ^ к родителю #123 | Наверх | Cообщить модератору

161. "Статический анализатор PVS-Studio доступен для Linux (реклам..."  –1 +/
Сообщение от Аноним (??) on 27-Окт-16, 10:38 
> Нет.

Тут вы правы, т.к. просматривается гибридная модель, где и волчьи замашки капитализма, только на уровне государства: регулятор вместо регуляции выносит конкурентов. И чисто российская коррупция и кумовство с разборками по понятиям, и прочие прелести. Если уж смотреть на гибридные подходы, китай как-то лучше придумал. И из коммунизма удачные вещи выцепили и из капитализма.

> Впрочем, по Даннингу с Крюгером Вы вряд ли даже поймёте, _насколько_ неправы.

Я не могу понять гопстоп и отмазки/вранье как правоту, извините. Да и мочилово багрепортеров за репорт багов выглядит криво. А кто и какой там праведних корошо вылезло на примере Flight 17. Уж простите, я интересуюсь всевозможными авиакатастрофами как хорошим примером работы над ошибками. Кстати если сравнивать: а что, руэксперты покажут нам аналог передачи mayday? Это к вопросу о том как разные нации работают над ошибками.

> Определитесь.

А чего тут определяться? Россияне сделали уникальную вещь - госкапитализм. Я правда не понимаю кто и почему думает что это может и будет работать. Не вижу предпосылок для того чтобы это хорошо работало. К тому же сильно централизованные структуры гораздо легче заваливаются. Идите вон завалите малый и средний бизнес США, хоть там какими манипуляциями рынка. Поэтому у них экономику и не завалить дергнием одной цены на нефть. Так что им не надо отвираться что во всем виноваты {коммунисты, русские, китай, северные корейцы, глобальное потепление, кризисы, ...}.

> PS: есть предложение удалить офтопик от #91.

Хорошая идея, если вместе с #91.
Хорошая идея.

Ответить | Правка | ^ к родителю #138 | Наверх | Cообщить модератору

166. "Статический анализатор PVS-Studio доступен для Linux (реклам..."  +/
Сообщение от angra (ok) on 27-Окт-16, 16:09 
> И чисто российская коррупция и кумовство с разборками по понятиям
> Россияне сделали уникальную вещь - госкапитализм.

Россия родина слонов!

> Я правда не понимаю кто и почему думает что это может и будет работать.

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

Ответить | Правка | ^ к родителю #161 | Наверх | Cообщить модератору

179. "Статический анализатор PVS-Studio доступен для Linux (реклам..."  +/
Сообщение от Аноним (??) on 31-Окт-16, 03:50 
> Россия родина слонов!

У россиян сейчас этот лейтмотив вещает из каждого утюга. Россия то, Россия се. А экономика почему-то в ауте и структура экономики - ресурсный придаток.

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

Во первых, не угадал. У меня есть некие базовые знания по экономике, да и историю я не любил, но немного изучить пришлось. И это было полезно для общего развития. Посмотреть какие варианты были и какие у них были проблемы - все-таки полезно.

Во вторых, все это иррелевантно. А где описано как будет устроена экономика если автоматическая фабрика штампует, автоматическая фура и прочие дроны возят, и все такое? У коммунистов? Может быть, но там это в лучшем случае на уровне древней научной фантастики. Типа выстрела из пушки на луну, без учета что человек еле живой при всего-то 10g.

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

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

Ответить | Правка | ^ к родителю #166 | Наверх | Cообщить модератору

95. "Статический анализатор PVS-Studio доступен для Linux (реклам..."  +1 +/
Сообщение от Comdiv (ok) on 25-Окт-16, 22:03 
Сколько стоит Matlab, позвольте узнать?
Ответить | Правка | ^ к родителю #91 | Наверх | Cообщить модератору

105. "Статический анализатор PVS-Studio доступен для Linux (реклам..."  +1 +/
Сообщение от Аноним (??) on 26-Окт-16, 03:10 
Вот сюда сходи:
https://www.mathworks.com/pricing-licensing/
и сюда:
https://www.mathworks.com/store/link/products/home/new?reque...
Ответить | Правка | ^ к родителю #95 | Наверх | Cообщить модератору

130. "Статический анализатор PVS-Studio доступен для Linux (реклам..."  –1 +/
Сообщение от Comdiv (ok) on 26-Окт-16, 11:28 
Вы ведь понимаете, для чего был задан этот наводящий вопрос, да?
Если нет, всё-таки покажите страничку, где в общем доступе указаны цены.
Ответить | Правка | ^ к родителю #105 | Наверх | Cообщить модератору

143. "Статический анализатор PVS-Studio доступен для Linux (реклам..."  +1 +/
Сообщение от Аноним (??) on 26-Окт-16, 16:49 
Выше ссылки.
Цены есть и для индивидуалов и для edu.
Что не так?
Ответить | Правка | ^ к родителю #130 | Наверх | Cообщить модератору

147. "Статический анализатор PVS-Studio доступен для Linux (реклам..."  +/
Сообщение от Comdiv (ok) on 26-Окт-16, 19:33 
Вы зарегистрированный пользователь? Зайдите через private window и посмотрите:
>> MATLAB
>> Online Pricing Not Available
>> To request a customized quote on products and services,
>> please complete the form below. A MathWorks representative
>> will contact you, typically within one business day.
Ответить | Правка | ^ к родителю #143 | Наверх | Cообщить модератору

168. "Статический анализатор PVS-Studio доступен для Linux (реклам..."  +/
Сообщение от Аноним (??) on 27-Окт-16, 23:23 
Последовал совету. Через private window цены видны. Так что мимо.
(Интересно, а Вы сами попробовали?)
Жлобскому прятанью цены нет оправдания.
Ответить | Правка | ^ к родителю #147 | Наверх | Cообщить модератору

169. "Статический анализатор PVS-Studio доступен для Linux (реклам..."  +/
Сообщение от Аноним (??) on 27-Окт-16, 23:26 
MATLAB
$2,650
Individual License

MATLAB
$625
Academic Use — Individual

MATLAB $85
Add-On Products $25
Home

и для студентов
MATLAB $29
MATLAB Suite $55
Add-On Products $16

Ответить | Правка | ^ к родителю #168 | Наверх | Cообщить модератору

170. "Статический анализатор PVS-Studio доступен для Linux (реклам..."  +/
Сообщение от Comdiv (ok) on 28-Окт-16, 00:10 
Конечно пробовал. Либо Вы врёте, что маловероятно, либо у них есть привязка к местности. Я захожу из Украины.
Ответить | Правка | ^ к родителю #168 | Наверх | Cообщить модератору

171. "Статический анализатор PVS-Studio доступен для Linux (реклам..."  +/
Сообщение от Comdiv (ok) on 28-Окт-16, 00:17 
> Конечно пробовал. Либо Вы врёте, что маловероятно, либо у них есть привязка
> к местности. Я захожу из Украины.

Зашёл через TOR.
Румыния - 2650 $
США - 2150 $
Нидерланды - Online Pricing Not Available
Германия - Online Pricing Not Available
Франция - Online Pricing Not Available

Common practice or not?

Ответить | Правка | ^ к родителю #170 | Наверх | Cообщить модератору

146. "Статический анализатор PVS-Studio доступен для Linux (реклам..."  +/
Сообщение от Аноним (??) on 26-Окт-16, 18:05 
ты не поверишь…
Ответить | Правка | ^ к родителю #91 | Наверх | Cообщить модератору

49. "Статический анализатор PVS-Studio доступен для Linux (реклам..."  +6 +/
Сообщение от Аноним (??) on 25-Окт-16, 15:05 
Пытаются выжать с оленя максимум
Ответить | Правка | ^ к родителю #36 | Наверх | Cообщить модератору

124. "Статический анализатор PVS-Studio доступен для Linux (реклам..."  +/
Сообщение от Andrey Mitrofanov on 26-Окт-16, 09:51 
> Пытаются выжать с оленя максимум

Краков и кигенов уже насжимали или пока "пытаются"?

Ответить | Правка | ^ к родителю #49 | Наверх | Cообщить модератору

140. "Статический анализатор PVS-Studio доступен для Linux (реклам..."  +/
Сообщение от Аноним (??) on 26-Окт-16, 16:16 
Что?
Ответить | Правка | ^ к родителю #124 | Наверх | Cообщить модератору

50. "Статический анализатор PVS-Studio доступен для Linux (реклам..."  +/
Сообщение от Аноним (??) on 25-Окт-16, 15:11 
А можно pvs-studio использовать для внешних модулей ядра? Converty вот может и даже ядро целиком может проверить..
Ответить | Правка | ^ к родителю #0 | Наверх | Cообщить модератору

64. "Статический анализатор PVS-Studio доступен для Linux (реклам..."  –1 +/
Сообщение от Аноним (??) on 25-Окт-16, 16:05 
> А можно pvs-studio использовать для внешних модулей ядра? Converty вот может и
> даже ядро целиком может проверить..

Оно не только может, но и проверяет периодически, что недвусмысленно видно в git log.

Ответить | Правка | ^ к родителю #50 | Наверх | Cообщить модератору

133. "Статический анализатор PVS-Studio доступен для Linux (реклам..."  +/
Сообщение от Аноним (??) on 26-Окт-16, 14:20 
не может он толком встроиться в сборку. нормальный системы встраиваются через переопределение CC, а этому надо хачить makefile.
Ответить | Правка | ^ к родителю #64 | Наверх | Cообщить модератору

137. "Статический анализатор PVS-Studio доступен для Linux (реклам..."  +/
Сообщение от Andrey_Karpov (ok) on 26-Окт-16, 15:41 
Можно разными способами. См. документацию: http://www.viva64.com/ru/m/0036/
P.S. Через CC на практике далеко не всё можно сделать.
Ответить | Правка | ^ к родителю #133 | Наверх | Cообщить модератору

162. "Статический анализатор PVS-Studio доступен для Linux (реклам..."  +/
Сообщение от Аноним (??) on 27-Окт-16, 10:45 
> не может он толком встроиться в сборку. нормальный системы встраиваются через переопределение
> CC, а этому надо хачить makefile.

Вы так огульно за всех решили за всех что нормально а что нет. А не многовато ли вы на себя берете, сэр? Вы вот так опросили всех програмеров планеты что они считают нормальным? Или это, как обычно, ваши личные предпочения, выдаваемые за истину в последней инстанции? Скромнее надо быть, имхо.

Ответить | Правка | ^ к родителю #133 | Наверх | Cообщить модератору

71. "Статический анализатор PVS-Studio доступен для Linux (реклам..."  +2 +/
Сообщение от Аноним (??) on 25-Окт-16, 17:16 
Адаптированы ли проверки для Linux? Видел, что в бете часто выдавало "не используйте абсолютные пути". Это совершенно виндовая ошибка, не нужная в unix.
Ответить | Правка | ^ к родителю #0 | Наверх | Cообщить модератору

86. "Статический анализатор PVS-Studio доступен для Linux (реклам..."  +/
Сообщение от Andrey_Karpov (ok) on 25-Окт-16, 20:05 
Многое адаптировано. Что-то, скорее всего забыли, но доработаем.
Ответить | Правка | ^ к родителю #71 | Наверх | Cообщить модератору

75. "Статический анализатор PVS-Studio доступен для Linux (реклам..."  +/
Сообщение от Аноним (??) on 25-Окт-16, 18:08 
Просто из любопытства, когда Вы решали расширить список поддерживаемых языков, почему выбрали C#, а не Java?
Ответить | Правка | ^ к родителю #0 | Наверх | Cообщить модератору

77. "Статический анализатор PVS-Studio доступен для Linux (реклам..."  +/
Сообщение от Аноним (??) on 25-Окт-16, 18:11 
Вендрор-Лук в оракакель или медленный ОпенJDK?
Ответить | Правка | ^ к родителю #75 | Наверх | Cообщить модератору

85. "Статический анализатор PVS-Studio доступен для Linux (реклам..."  –1 +/
Сообщение от Andrey_Karpov (ok) on 25-Окт-16, 20:04 
Это было проще, так как нам было достаточно сделать анализатор, а плагин для Visual Studio уже был. Плюс как и что с C# нам понятно, а Java - нет.
Ответить | Правка | ^ к родителю #75 | Наверх | Cообщить модератору

78. "Статический анализатор PVS-Studio доступен для Linux (реклам..."  +1 +/
Сообщение от Семилетов (ok) on 25-Окт-16, 18:51 
Почему на http://www.viva64.com/ru/order/ нет стоимости лицензий?
Ответить | Правка | ^ к родителю #0 | Наверх | Cообщить модератору

80. "Статический анализатор PVS-Studio доступен для Linux (реклам..."  +2 +/
Сообщение от Аноним (??) on 25-Окт-16, 19:04 
Индивидуальные прайсы на эскорт услуги.
Ответить | Правка | ^ к родителю #78 | Наверх | Cообщить модератору

100. "Статический анализатор PVS-Studio доступен для Linux (реклам..."  +8 +/
Сообщение от Аноним (??) on 26-Окт-16, 01:21 
1) Стыдно назвать цену.
2) При запросе цены вы автоматом попадаете в спам базу.
3) Отсутствие официальной цены на сайте позволяет безнаказанно врать в рекламе что "дешевле конкурирующих решений"
4) Неуверенность в собственном продукте и бизнесе. "А вдруг цена отпугнёт? А вдруг наш продукт не так хорош, как аналогичный по цене?"
5) Вероятно, продукт вообще провальный.

П.С. Есть тут хоть кто-то, кто знает кого-то кто купил данный продукт? Во сколько он обошёлся и окупилось ли его использование?

Ответить | Правка | ^ к родителю #78 | Наверх | Cообщить модератору

117. "Статический анализатор PVS-Studio доступен для Linux (реклам..."  +7 +/
Сообщение от Аноним (??) on 26-Окт-16, 08:26 
6) При получении запроса на покупку лицензии гуглят информацию о потенциальном клиенте, оценивают его финансовые возможности и называют максимально возможную для этого клиента сумму. "Гибкая ценовая политика"(c) в исполнении компании-разработчика сабжа. Не просто ж так у них на сайте специально отмечено, что упомянутые запросы принимаются только с корпоративных адресов.
Ответить | Правка | ^ к родителю #100 | Наверх | Cообщить модератору

128. "Статический анализатор PVS-Studio доступен для Linux (реклам..."  –2 +/
Сообщение от Andrey_Karpov (ok) on 26-Окт-16, 10:44 
Ох тыж.... Представляю, как политики ржут, когда из их простых решения что-то сделать, люди выстраивают теории заговоров и так далее. Facepalm.
Есть ряд причин, делать так, а не иначе. Вдаваться в подробности или комментировать перечисленные теории смысла не вижу. Отвечу только на последний вопрос. Да, у нас много довольных клиентов: http://www.viva64.com/ru/customers Многие не первый год продлевают лицензии.
Ответить | Правка | ^ к родителю #100 | Наверх | Cообщить модератору

139. "Статический анализатор PVS-Studio доступен для Linux (реклам..."  +/
Сообщение от Аноним (??) on 26-Окт-16, 16:13 
> Многие не первый год продлевают лицензии.

то есть там в списке есть те, чьи сотрудники взяли на попробовать и все?

Ответить | Правка | ^ к родителю #128 | Наверх | Cообщить модератору

141. "Статический анализатор PVS-Studio доступен для Linux (реклам..."  –1 +/
Сообщение от Andrey_Karpov (ok) on 26-Окт-16, 16:20 
Раздел называется "Наши клиенты", а не "те, кто взял попробовать". :)
Ответить | Правка | ^ к родителю #139 | Наверх | Cообщить модератору

151. "Статический анализатор PVS-Studio доступен для Linux (реклам..."  +3 +/
Сообщение от Аноним (??) on 26-Окт-16, 21:42 
Ну ладно, сформулирую по другому, там есть бывшие клиенты?
Ответить | Правка | ^ к родителю #141 | Наверх | Cообщить модератору

152. "Статический анализатор PVS-Studio доступен для Linux (реклам..."  –2 +/
Сообщение от Andrey_Karpov (ok) on 26-Окт-16, 21:52 
Да, есть и бывшие. Есть и те, кто продлевает лицензии уже в течении 5-6 лет. Есть такие, которые приобретают разные лицензии (для разных отделов). Есть такие, которые вообще отсутствуют в списке по некоторым причинам. Есть такие, которые возвещались после перерыва. Разные случаи бывают. Поэтому нет никакого смысла как-то сложно их сортировать. Рассматривайте этот список так: эти компании оценили возможности PVS-Studio. Мы гордимся этим списком!
Ответить | Правка | ^ к родителю #151 | Наверх | Cообщить модератору

153. "Статический анализатор PVS-Studio доступен для Linux (реклам..."  +2 +/
Сообщение от Аноним (??) on 26-Окт-16, 22:32 
ага
Ответить | Правка | ^ к родителю #152 | Наверх | Cообщить модератору

102. "Статический анализатор PVS-Studio доступен для Linux (реклам..."  –2 +/
Сообщение от Ilya Indigo (ok) on 26-Окт-16, 01:30 
http://www.viva64.com/ru/b/0391
Интересное и полезное чтиво.
Ответить | Правка | ^ к родителю #0 | Наверх | Cообщить модератору

108. "Статический анализатор PVS-Studio доступен для Linux (реклам..."  +/
Сообщение от anonymous (??) on 26-Окт-16, 04:07 
Я вот совершенно не понимаю PVS-Studio. Проводят качественную и интересную рекламную компанию. Так что даже купить хочется. PVS-Studio стоит в одном рядуещё с несколькими действительно полезными и экономящими время разработчика утилитами, вроде решарпера. Но купить - нельзя. Ни попробовать самому, ни порекомендовать другим.
Ответить | Правка | ^ к родителю #0 | Наверх | Cообщить модератору

114. "Статический анализатор PVS-Studio доступен для Linux (реклам..."  +/
Сообщение от anonymous (??) on 26-Окт-16, 07:14 
Как бугатти: по телевизорам показывают, а покупают только шейхи.
Надо вызвать у C++ разработчиков невроз, чтобы они пошли бить челом начальству или меняли работу.
Ответить | Правка | ^ к родителю #108 | Наверх | Cообщить модератору

122. "Статический анализатор PVS-Studio доступен для Linux (реклам..."  –2 +/
Сообщение от mma on 26-Окт-16, 09:09 
Ну сколько там у них цена? 5 килобаксов? Впринципе норм для организации которая нес отвественость за свой софт перед заказчиком/клиентов. Для одиночек нужно конечно какуюнить урезаную функциональность баксов за 200-300 и тогда потоки помоем поубавятся наверно.
Ответить | Правка | ^ к родителю #0 | Наверх | Cообщить модератору

125. "Статический анализатор PVS-Studio доступен для Linux (реклам..."  +/
Сообщение от Аноним (??) on 26-Окт-16, 09:52 
и где Вы взяли цену?
Ответить | Правка | ^ к родителю #122 | Наверх | Cообщить модератору

126. "Статический анализатор PVS-Studio доступен для Linux (реклам..."  +/
Сообщение от mma on 26-Окт-16, 10:00 
Ну что-то такое помнится, ну если сейчас у них дешевле или дороже то отпишите кому что предлагают. Мне сейчас узнавать нет нужды, хоть и любопытно.
Ответить | Правка | ^ к родителю #125 | Наверх | Cообщить модератору

129. "Статический анализатор PVS-Studio доступен для Linux (реклам..."  +/
Сообщение от Andrey_Karpov (ok) on 26-Окт-16, 10:47 
Эксперимент показал, что и 250$ это дорого, так как ненужно это простым людям. Статический анализ, если не брать игрушки типа Cppcheck, это "производственные" инструменты для коллективов разработчиков. На тему эксперимента: http://www.viva64.com/ru/b/0320/
Ответить | Правка | ^ к родителю #122 | Наверх | Cообщить модератору

132. "Статический анализатор PVS-Studio доступен для Linux (реклам..."  +/
Сообщение от iPony on 26-Окт-16, 13:40 
Чего-то прям на презентации на первом слайде пингвин с oracle
https://www.oracle.com/linux/operating-system/index.html
Ответить | Правка | ^ к родителю #0 | Наверх | Cообщить модератору

157. "Статический анализатор PVS-Studio доступен для Linux (реклам..."  +/
Сообщение от Вареник on 27-Окт-16, 02:23 
Хорошая новость. Судя по описанию (поддержка CMake, QMake, CLion, QtCreator) - конфетка.

Надеюсь все перечисленное на самом делеле поддерживается, а не для галочки.

Ответить | Правка | ^ к родителю #0 | Наверх | Cообщить модератору

172. "Статический анализатор PVS-Studio доступен для Linux (реклам..."  –2 +/
Сообщение от Andrey_Karpov (ok) on 28-Окт-16, 11:23 
WARNING! Хочу обратить внимание, что сырой лог, полученный сразу после проверки использовать нельзя! Он не предназначен для просмотра и служит только как источник данных для программы plog-converter.

К нам стало приходить большое количество писем, что результатами работы PVS-Studio пользоваться невозможно. Программисты получают огромный файл, с тысячами одинаковых сообщений на один заголовочный *.h файл и прочим мусором. Мучаются, жалуются. Другие, наверное, не жалуются, а молча теряют интерес к PVS-Studio.

Эти файлы и не предназначены для просмотра. Для преобразования их в "человеческий" формат служит утилита plog-converter, описанная в документации http://www.viva64.com/ru/m/0036/. Эта утилита не только преобразует лог, но и удаляет в нём дубликаты для h-файлов, фильтрует сообщения и так далее. Например, есть смысл начать изучение отчета с предупреждений общего назначения первого и второго уровня (ключ -a GA:1,2). Это очень важно, так как иначе программист просто утонет в сообщениях.

В следующей версии, мы планируем изменить изначального формат лога, чтобы было понятно, что это некий бинарный формат и он не предназначен для просмотра. Это должно подсказать программисту, что с этим файлом надо ещё что-то сделать и он, продолжив чтение документации, будет узнавать про plog-converter.

Ответить | Правка | ^ к родителю #0 | Наверх | Cообщить модератору

173. "Статический анализатор PVS-Studio доступен для Linux (реклам..."  +/
Сообщение от тоже Аноним email(ok) on 28-Окт-16, 13:51 
Ну да, не все знают, что в Линуксе есть pipeline.
Разработчики Линукс-версии PVS, например, вообще не в курсе...
Ответить | Правка | ^ к родителю #172 | Наверх | Cообщить модератору

174. "Статический анализатор PVS-Studio доступен для Linux (реклам..."  –4 +/
Сообщение от Andrey_Karpov (ok) on 28-Окт-16, 14:12 
pipeline в нашем случае перпендикулярен. Есть файл с сырым отчётом. И есть инструмент, который позволяет делать различные выборки сообщений, не перезапуска анализ.
Ответить | Правка | ^ к родителю #173 | Наверх | Cообщить модератору

175. "Статический анализатор PVS-Studio доступен для Linux (реклам..."  –1 +/
Сообщение от Michael Shigorin email(ok) on 29-Окт-16, 12:27 
> WARNING! Хочу обратить внимание, что сырой лог, полученный сразу после проверки,
> использовать нельзя! Он не предназначен для просмотра и служит только как источник
> данных для программы plog-converter.

Не пробовали соответствующее предупреждение в его начало писать?  Примерно как:

---
# WARNING!  DO NOT READ THIS WITH YOUR EYES!
# This file contains raw redundant data for plog-converter utility, please use it.
---

И, соответственно, в конце выдачи софтины, которая генерирует этот файл -- тоже предупреждать, мол, теперь пропустите через фильтр.

> В следующей версии, мы планируем изменить изначального формат лога,
> чтобы было понятно, что это некий бинарный формат и он не предназначен для просмотра.
> Это должно подсказать программисту, что с этим файлом надо ещё что-то сделать и он,
> продолжив чтение документации, будет узнавать про plog-converter.

У нас Алексей Смирнов -- самый страшный тестер: он умеет очень убедительно "включить блондинку", хитро ухмыляясь и тыкая в самое больное место, куда тыкать НЕЛЬЗЯ! :]

Не пробовали такой подход?  Ну, не делать то, что знаете (сами, "из документации"), а сделать ровно наоборот и прикинуть, как можно было наиболее разумным способом "подсказать" на месте?

Документация -- это хорошо, но её же читают только когда ничего не работает, и то не все...

Ответить | Правка | ^ к родителю #172 | Наверх | Cообщить модератору

176. "Статический анализатор PVS-Studio доступен для Linux (реклам..."  +4 +/
Сообщение от Мазохист (ok) on 29-Окт-16, 15:07 
> Алексей Смирнов -- самый страшный тестер: он умеет очень убедительно "включить блондинку"

Это называется маркетинг и ничего личного! :)

Ответить | Правка | ^ к родителю #175 | Наверх | Cообщить модератору

184. "Статический анализатор PVS-Studio доступен для Linux (реклам..."  +/
Сообщение от Michael Shigorin email(ok) on 10-Ноя-16, 17:14 
>> Алексей Смирнов -- самый страшный тестер: он умеет очень убедительно
>> "включить блондинку"
> Это называется маркетинг и ничего личного! :)

Нет, это называется "контроль качества".

Ответить | Правка | ^ к родителю #176 | Наверх | Cообщить модератору

177. "Статический анализатор PVS-Studio доступен для Linux (реклам..."  –7 +/
Сообщение от Andrey_Karpov (ok) on 30-Окт-16, 10:59 
Вариант записи заголовка мы тоже обсуждали. И возможно так и сделаем. В целом, я думаю это всё временные трудности. Эта первая версия под Linux и многие острые углы ещё не сглажены. Например, многие моменты в Windows-версии не раз менялись, прежде чем стали более или менее интуитивно понятны и люди переставали задавать одни и те же вопросы. Теперь такой же путь должна будет пройти и Linux версия.
Ответить | Правка | ^ к родителю #175 | Наверх | Cообщить модератору

180. "Статический анализатор PVS-Studio доступен для Linux (реклам..."  +/
Сообщение от Аноним (??) on 01-Ноя-16, 17:15 
Зачем это сюда впихнули?
Ответить | Правка | ^ к родителю #0 | Наверх | Cообщить модератору

181. "Статический анализатор PVS-Studio доступен для Linux (реклам..."  +1 +/
Сообщение от Капитан (??) on 03-Ноя-16, 21:33 
Так денюшку зарабатывают, это же очевидно ))
Ответить | Правка | ^ к родителю #180 | Наверх | Cообщить модератору

182. "Статический анализатор PVS-Studio доступен для Linux (реклам..."  +/
Сообщение от Аноним (??) on 06-Ноя-16, 13:04 
И видно неплохую, что ажно с беты начали ))
Ответить | Правка | ^ к родителю #181 | Наверх | Cообщить модератору

Архив | Удалить

Рекомендовать для помещения в FAQ | Индекс форумов | Темы | Пред. тема | След. тема




Партнёры:
PostgresPro
Inferno Solutions
Hosting by Hoster.ru
Хостинг:

Закладки на сайте
Проследить за страницей
Created 1996-2024 by Maxim Chirkov
Добавить, Поддержать, Вебмастеру