Вариант для распечатки		Пред. тема | След. тема
Форум Разговоры, обсуждение новостей
Режим отображения отдельной подветви беседы		[ Отслеживать ]

Статический анализатор PVS-Studio доступен для Linux (реклама), opennews (??), 25-Окт-16, (0) [смотреть все] –4 Мне понравилась бета, нашла в нашем проекте пару опечаток После этого я понял , Олег (??), 11:21 , 25-Окт-16, (1) +2 // Что-то здесь не так , Аноним (-), 05:06 , 26-Окт-16, (111) +4 // Бета нашла , Тро (?), 06:18 , 26-Окт-16, (113) +7 После какой суммы ты это понял , Аноним (-), 15:21 , 26-Окт-16, (136) +5 Есть планы выпустить это под FreeBSD , xo (ok), 11:24 , 25-Окт-16, (2) // Они и под Линукс с писком и скрипом выпустили, а ты уж под БСД захотел Даже если, A.Stahl (ok), 11:33 , 25-Окт-16, (3) +2 Они про линукс то писали пришлось выпустить Наверное, клиенты требовали А по, Аноним (-), 11:44 , 25-Окт-16, (6) +3 // В FreeBSD Clang хватает со всеми дополнениями , interuser (ok), 11:51 , 25-Окт-16, (9) –1 // Там некоторым и виртуализация не нужна, так что не показатель , Аноним (-), 15:47 , 25-Окт-16, (57) +2 У них нет клиентов с такими запросами Они сами говорили, что продать что-то при, Какаянахренразница (ok), 13:13 , 25-Окт-16, (30) +1 // А зачем тогда упомянутый гемор с ключами Я понимаю если коверити бесплатно чека, Аноним (-), 15:55 , 25-Окт-16, (60) –2 И PVS бесплатно чекает открытые проекты , Анонька (?), 19:17 , 25-Окт-16, (81) +1 Но есть нюансы Коверити можно прикрутить чекать свой проект и он сам будет виде, Аноним (-), 19:45 , 25-Окт-16, (82) –2 Теперь мы предоставляем возможность бесплатного использования анализатора PVS-St, Andrey_Karpov (ok), 21:52 , 14-Янв-17, (185) Проприетарии всех стран, обьединяйтесь , андрей21262 (?), 04:42 , 26-Окт-16, (109) +1 Ну дык людям рты заткнули Формально -- выпустили под Линукс По факту -- денюжк, Какаянахренразница (ok), 03:52 , 26-Окт-16, (106) –1 Задача для начальной школы Выпустить версию под Линукс Раздавать продукт на х, тоже Аноним (ok), 08:01 , 26-Окт-16, (115) +1 А не заткнули Коверити вон делают что-то полезное для людей, их и воспринимают , Аноним (-), 08:20 , 26-Окт-16, (116) –2 Как использовать PVS-Studio бесплатно http www viva64 com ru b 0457 , Andrey_Karpov (ok), 21:53 , 14-Янв-17, (186) Я, на данный момент, не пишу код на плюсах, но мне бы не помешал ваш продукт в и, Ilya Indigo (ok), 01:53 , 15-Янв-17, (187) Демонстрационная версия показывает только предупреждения первого уровня и ограни, Andrey_Karpov (ok), 18:08 , 15-Янв-17, (188) На вашем же сайте написано , Ilya Indigo (ok), 20:54 , 15-Янв-17, (189) Тогда запросите по почте ключ на неделю и испытайте анализатор Возможно это не , Andrey_Karpov (ok), 21:17 , 15-Янв-17, (190) Ты так сказал, как будто весь интернет крутится на линукс, потому что тот беспла, Аноним (-), 16:22 , 25-Окт-16, (67) –1 В тои числе и поэтому Платить за геморную кривую операционку штуку зелени чтобы, Аноним (-), 19:48 , 25-Окт-16, (83) +3 Ты же сам сейчас и сказал, что дело не в цене , Аноним (-), 01:21 , 26-Окт-16, (101) Цена это один из факторов , Какаянахренразница (ok), 03:53 , 26-Окт-16, (107) Дело не только в цене Но когда продукт грабельный, а за него к тому же еще и де, Аноним (-), 08:29 , 26-Окт-16, (118) Шизик, нафиг ты мне про свой майкрософт впариваешь, о нем даже речи не было , Аноним (-), 16:38 , 26-Окт-16, (142) –1 Для и-диодов Там писалось про грабельность продукта, и про то, что это отпугива, Аноним (-), 17:59 , 26-Окт-16, (145) Тем более что сабжевая компания воняет микрософтом 2000-х годов Вьюжлстудию вык, Аноним (-), 09:38 , 27-Окт-16, (159) Кстати, на тему GCC http www viva64 com ru b 0425 , Andrey_Karpov (ok), 19:43 , 27-Окт-16, (167) Прикольные баги И вообще, начало сказки хорошее Но увы, отсутствии хэппи энда , Аноним (-), 02:38 , 31-Окт-16, (178) В ближайшее время не планируем Сложностей нет, но не всё сразу , Andrey_Karpov (ok), 12:17 , 25-Окт-16, (16) +1 Что мешает проверять исходники с виндовой рабочей станции , Фкук (?), 20:43 , 25-Окт-16, (88) –6 // То что РАБОТАТЬ под виндой неудобно , Аноним (-), 21:00 , 25-Окт-16, (92) +10 Ну что я могу сказать Молодцы С версией под Linux разработчики очень долго тя, Аноним (-), 11:39 , 25-Окт-16, (4) От всей этой пвс у меня пока такое ощущение сужу только по рекламам Судя по по, Аноним (-), 11:40 , 25-Окт-16, (5) +9 // Ну, представьте, что ваша работа с завтрашнего дня - поддержка здоровой кучи лег, тоже Аноним (ok), 11:59 , 25-Окт-16, (12) +7 Судя по твоему посту, ты просто не понял ничего из постов от PVS В большей част, angra (ok), 12:26 , 25-Окт-16, (18) +9 // Да ладно Она интеграционные тесты писать умеет , Аноним (-), 12:32 , 25-Окт-16, (23) –5 // Еще один ничего не понявший, но знающий умное слово Откуда вас сегодня выпустил, angra (ok), 14:00 , 25-Окт-16, (38) +7 Кто бы говорил сам небось по TDD, Аноним (-), 17:04 , 25-Окт-16, (69) По-моему как раз от таких проблем никакой статический анализатор не спасет, ведь, Аноним (-), 23:12 , 25-Окт-16, (97) // И да, и нет Всё зависит от типа ошибки То, что легко выявляет статический анал, Andrey_Karpov (ok), 00:09 , 26-Окт-16, (98) Поздравления, вы тоже придумали ASAN Но это уже несколько лет реализовано и в c, Аноним (-), 14:26 , 27-Окт-16, (164) Это никак не мешает нам легко находить ошибки в этих самых clang и gcc Proof h, Andrey_Karpov (ok), 15:01 , 27-Окт-16, (165) Некрасивый код, это не к нам PVS-Studio ориентирован на поиск настоящих ошиб, Andrey_Karpov (ok), 12:26 , 25-Окт-16, (19) // Ну да, реальные ошибки находятся - спору нет Хотя по сути, тестировался бы код , Аноним (-), 13:19 , 25-Окт-16, (32) –2 // Я так понимаю, ты сейчас даш нам пример написанного тобой серьезного софта без е, angra (ok), 14:12 , 25-Окт-16, (43) +2 Примера не будет, так как этот проект пока ещё только в планах, но, поверь, у не, Аноним (-), 15:01 , 25-Окт-16, (48) –2 философ и вонючка , Аноним (-), 15:38 , 25-Окт-16, (54) +1 А тот чудак который про Тюринга не в курсе Обнаружить все infinite loops невозм, Аноним (-), 19:52 , 25-Окт-16, (84) Изнутри LLVM запросто, в GCC не так просто в реализации через ядро, не говоря уж, Аноним (-), 20:48 , 25-Окт-16, (90) Что значит - изнутри LLVM Ты готов гонять симуляцию моей програмы вечно, чтобы , Аноним (-), 08:34 , 26-Окт-16, (119) - Error at line 1 syntax error , Аноним (-), 15:45 , 25-Окт-16, (56) +3 Щито Так было на видосе А масса уже делает выводы о том, что увидела , Аноним (-), 15:55 , 25-Окт-16, (61) можно и не использовать только эти ошибки придётся искать другим людям и време, Аноним (-), 12:33 , 25-Окт-16, (25) // Собственно, тот же Coverity начинали люди, которые до этого много лет глазками-р, Michael Shigorin (ok), 13:28 , 25-Окт-16, (33) Реально вполне, только проверять надо постоянно, а не эпизодически то же самое , CodeRush (?), 13:04 , 25-Окт-16, (28) +11 // Ну эээ Расстрелы уже провели Потому что - ну ёмоё, ожидание результата в гло, Аноним (-), 14:11 , 25-Окт-16, (42) // Трепло Расходимся пацаны он ещё сисек не мял, а уже лопочет чегото - , _ (??), 17:14 , 25-Окт-16, (70) Спасибо за интересный комментарий , Andrey_Karpov (ok), 14:22 , 25-Окт-16, (45) Зачем платить если есть coverity и clang , anonimm (?), 15:55 , 25-Окт-16, (62) +1 // Зачем покупать кофе, если вода дешевле , Aleksey (??), 21:25 , 25-Окт-16, (93) А что из этого кофе , Аноним (-), 00:42 , 26-Окт-16, (99) Ява, разумеется , Аноним (-), 08:44 , 26-Окт-16, (120) Лучику света наверное не пристало выдавать коменты пришлось сделать под линукс , Аноним (-), 15:44 , 25-Окт-16, (55) +2 Я на всегда запомню, что PVS - этот тот продукт, который имел возможность очень , Аноним (-), 11:56 , 25-Окт-16, (10) +4 // зато В настоящее время в PVS-Studio проверен 271 открытый проект, в результате , Аноним (-), 11:57 , 25-Окт-16, (11) –2 Тот баг не нашел ни один анализатор Потом были статьи, что мол если сделать так, Andrey_Karpov (ok), 12:31 , 25-Окт-16, (21) +12 // кстати, даже AI не будет находить ВСЕ ошибки Это проблема разрешения , она не , АнонимХ (ok), 17:31 , 25-Окт-16, (74) +1 // Кстати на поприкалываться systemd спалил дедлок в одной из моих программ и серь, Аноним (-), 17:27 , 26-Окт-16, (144) конечно они приносят бабки а уж какие именно баги они ищут, не суть важно , Аноним (-), 18:10 , 25-Окт-16, (76) Так вы с естественным интеллектом практически в каждой статье не можете исправит, Vkni (ok), 04:54 , 26-Окт-16, (110) // Только этим языкам все это что-то не помогло На плюсах ворочают большие проекты, Аноним (-), 08:46 , 26-Окт-16, (121) Помогло, помогло, не переживайте Софта вообще очень много , Vkni (ok), 00:56 , 27-Окт-16, (154) А по ним и не скажешь Вон весь гитхаб js ом заспамили Но это наверное не про н, Аноним (-), 09:49 , 27-Окт-16, (160) Ой да действительно, невозможны, именно поэтому существуют всякие Infer от фейсб, Kern (?), 11:43 , 27-Окт-16, (163) Существует ли сравнение PVS с другими коммерческими анализаторами Только не по , Аноним (-), 13:01 , 25-Окт-16, (27) // Такого сравнения нет Про классы выявляемых ошибок можно посмотреть в таблице h, Andrey_Karpov (ok), 14:24 , 25-Окт-16, (46) –1 // А Coverity checkers reference лежит тут https ondemand coverity com reference, Аноним (-), 22:15 , 25-Окт-16, (96) // Всё очень просто Проверьте свой код после Coverity Если найдёте интересные о, Andrey_Karpov (ok), 10:32 , 26-Окт-16, (127) Делал это уже раза три на разных стадиях развития PVS, начиная с первой версии, , Аноним (-), 21:32 , 26-Окт-16, (148) +1 Нет, не понимает , Andrey_Karpov (ok), 21:41 , 26-Окт-16, (149) Но можно научить Пока никто из клиентов или потенциальных клиентов о таком не п, Andrey_Karpov (ok), 21:42 , 26-Окт-16, (150) Оно круче, какое сравнение, Аноним (-), 15:59 , 25-Окт-16, (63) PVS-Studio крутая программа Сам не использую, так как одиночка и нет ресурсов на, anonimQt5 (?), 13:19 , 25-Окт-16, (31) –2 // И чем она крутая , Аноним (-), 15:30 , 25-Окт-16, (53) +3 // Боты у PVS крутые - довольно технично пиарятся, но на деталях все-таки палятся , Аноним (-), 15:50 , 25-Окт-16, (58) Откуда он знает Крутая и всё тут , A.Stahl (ok), 15:51 , 25-Окт-16, (59) // На хабре обзоры читал, видел какие ошибки нашла программа Поэтому и крутая , anonimQt5 (?), 16:20 , 25-Окт-16, (66) +2 А может ему название нравится У других программ названия анализер, чек и т д А, Аноним (-), 16:46 , 25-Окт-16, (68) логотипом , hhg (ok), 08:01 , 27-Окт-16, (158) Насколько я помню, народ пытался купить себе этот PVS-студию и не преуспел Разр, anonymous (??), 13:35 , 25-Окт-16, (34) +1 Майкрософту продайте, а то от их быдлo-кода плакать хочется , Аноним (-), 13:42 , 25-Окт-16, (35) +1 // У них свои тулзы , Uri (??), 15:25 , 25-Окт-16, (52) // Вот и надо продать Хотя 8230 нам больше достанется , Admino (ok), 19:01 , 25-Окт-16, (79) Тише-тише, а то сейчас придут пвсники и будут тебе рассказывать, что у них самый, Аноним (-), 05:09 , 26-Окт-16, (112) Почему на официальном сайте рекламируемого КОМЕРЧЕСКОГО продукта нет цены , Аноним (-), 13:46 , 25-Окт-16, (36) +6 // Common practice Особенно для проектов ориентированных на юридических лиц , Reyn (?), 14:52 , 25-Окт-16, (47) –1 // Рассматриваю возможность приобрести сей продукт для юридического лица Однако, о, Аноним (-), 16:12 , 25-Окт-16, (65) +4 // Но ведь покупают , Andrey_Karpov (ok), 20:07 , 25-Окт-16, (87) Ой, вот только не надо чуши про 171 Common practice 187 Это практика только в, Ergil (ok), 20:56 , 25-Окт-16, (91) –2 // Это, милейший, расскажете своим депутатам, глядя в их честные глаза но не на зр, Michael Shigorin (ok), 21:55 , 25-Окт-16, (94) Миша, россияне себе государство строят по образу и подобию корпорации Майкрософт, Аноним (-), 09:20 , 26-Окт-16, (123) –5 Вот на этом сразу видно эльфа и дальнейшие откровения можно почитать только смех, angra (ok), 14:29 , 26-Окт-16, (134) –1 Нет Впрочем, по Даннингу с Крюгером Вы вряд ли даже поймёте, _насколько_ непра, Michael Shigorin (ok), 15:55 , 26-Окт-16, (138) Тут вы правы, т к просматривается гибридная модель, где и волчьи замашки капита, Аноним (-), 10:38 , 27-Окт-16, (161) –1 Россия родина слонов Ничего удивительного, ведь для понимания нужны знания по эк, angra (ok), 16:09 , 27-Окт-16, (166) У россиян сейчас этот лейтмотив вещает из каждого утюга Россия то, Россия се А, Аноним (-), 03:50 , 31-Окт-16, (179) Сколько стоит Matlab, позвольте узнать , Comdiv (ok), 22:03 , 25-Окт-16, (95) +1 Вот сюда сходи https www mathworks com pricing-licensing и сюда https www ma, Аноним (-), 03:10 , 26-Окт-16, (105) +1 Вы ведь понимаете, для чего был задан этот наводящий вопрос, да Если нет, всё-та, Comdiv (ok), 11:28 , 26-Окт-16, (130) –1 Выше ссылки Цены есть и для индивидуалов и для edu Что не так , Аноним (-), 16:49 , 26-Окт-16, (143) +1 Вы зарегистрированный пользователь Зайдите через private window и посмотрите , Comdiv (ok), 19:33 , 26-Окт-16, (147) Последовал совету Через private window цены видны Так что мимо Интересно, а В, Аноним (-), 23:23 , 27-Окт-16, (168) MATLAB 2,650Individual LicenseMATLAB 625Academic Use 8212 IndividualMATLAB 8, Аноним (-), 23:26 , 27-Окт-16, (169) Конечно пробовал Либо Вы врёте, что маловероятно, либо у них есть привязка к ме, Comdiv (ok), 00:10 , 28-Окт-16, (170) Зашёл через TOR Румыния - 2650 США - 2150 Нидерланды - Online Pricing Not Avai, Comdiv (ok), 00:17 , 28-Окт-16, (171) ты не поверишь 8230 , Аноним (-), 18:05 , 26-Окт-16, (146) Пытаются выжать с оленя максимум, Аноним (-), 15:05 , 25-Окт-16, (49) +6 // Краков и кигенов уже насжимали или пока пытаются , Andrey Mitrofanov (?), 09:51 , 26-Окт-16, (124) // Что , Аноним (-), 16:16 , 26-Окт-16, (140) А можно pvs-studio использовать для внешних модулей ядра Converty вот может и д, Аноним (-), 15:11 , 25-Окт-16, (50) // Оно не только может, но и проверяет периодически, что недвусмысленно видно в git, Аноним (-), 16:05 , 25-Окт-16, (64) –1   // не может он толком встроиться в сборку нормальный системы встраиваются через пе, Аноним (-), 14:20 , 26-Окт-16, (133)   // Можно разными способами См документацию http www viva64 com ru m 0036 P S , Andrey_Karpov (ok), 15:41 , 26-Окт-16, (137)   Вы так огульно за всех решили за всех что нормально а что нет А не многовато ли, Аноним (-), 10:45 , 27-Окт-16, (162)   Адаптированы ли проверки для Linux Видел, что в бете часто выдавало не использ, Аноним (-), 17:16 , 25-Окт-16, (71) +2 // Многое адаптировано Что-то, скорее всего забыли, но доработаем , Andrey_Karpov (ok), 20:05 , 25-Окт-16, (86) Просто из любопытства, когда Вы решали расширить список поддерживаемых языков, п, Аноним (-), 18:08 , 25-Окт-16, (75) // Вендрор-Лук в оракакель или медленный ОпенJDK , Аноним (-), 18:11 , 25-Окт-16, (77) Это было проще, так как нам было достаточно сделать анализатор, а плагин для Vis, Andrey_Karpov (ok), 20:04 , 25-Окт-16, (85) –1 Почему на http www viva64 com ru order нет стоимости лицензий , Семилетов (ok), 18:51 , 25-Окт-16, (78) +1 // Индивидуальные прайсы на эскорт услуги , Аноним (-), 19:04 , 25-Окт-16, (80) +2 1 Стыдно назвать цену 2 При запросе цены вы автоматом попадаете в спам базу 3 , Аноним (-), 01:21 , 26-Окт-16, (100) +8 // 6 При получении запроса на покупку лицензии гуглят информацию о потенциальном к, Аноним (-), 08:26 , 26-Окт-16, (117) +7 Ох тыж Представляю, как политики ржут, когда из их простых решения что-то сд, Andrey_Karpov (ok), 10:44 , 26-Окт-16, (128) –2 // то есть там в списке есть те, чьи сотрудники взяли на попробовать и все , Аноним (-), 16:13 , 26-Окт-16, (139) Раздел называется Наши клиенты , а не те, кто взял попробовать , Andrey_Karpov (ok), 16:20 , 26-Окт-16, (141) –1 Ну ладно, сформулирую по другому, там есть бывшие клиенты , Аноним (-), 21:42 , 26-Окт-16, (151) +3 Да, есть и бывшие Есть и те, кто продлевает лицензии уже в течении 5-6 лет Ест, Andrey_Karpov (ok), 21:52 , 26-Окт-16, (152) –2 ага, Аноним (-), 22:32 , 26-Окт-16, (153) +2 http www viva64 com ru b 0391Интересное и полезное чтиво , Ilya Indigo (ok), 01:30 , 26-Окт-16, (102) –2 Я вот совершенно не понимаю PVS-Studio Проводят качественную и интересную рекла, anonymous (??), 04:07 , 26-Окт-16, (108) // Как бугатти по телевизорам показывают, а покупают только шейхи Надо вызвать у C, anonymous (??), 07:14 , 26-Окт-16, (114) Ну сколько там у них цена 5 килобаксов Впринципе норм для организации которая , mma (?), 09:09 , 26-Окт-16, (122) –2 // и где Вы взяли цену , Аноним (-), 09:52 , 26-Окт-16, (125) // Ну что-то такое помнится, ну если сейчас у них дешевле или дороже то отпишите ко, mma (?), 10:00 , 26-Окт-16, (126) Эксперимент показал, что и 250 это дорого, так как ненужно это простым людям С, Andrey_Karpov (ok), 10:47 , 26-Окт-16, (129) Чего-то прям на презентации на первом слайде пингвин с oraclehttps www oracle , iPony (?), 13:40 , 26-Окт-16, (132) Хорошая новость Судя по описанию поддержка CMake, QMake, CLion, QtCreator - к, Вареник (?), 02:23 , 27-Окт-16, (157) WARNING Хочу обратить внимание, что сырой лог, полученный сразу после проверки , Andrey_Karpov (ok), 11:23 , 28-Окт-16, (172) –2 // Ну да, не все знают, что в Линуксе есть pipeline Разработчики Линукс-версии PVS,, тоже Аноним (ok), 13:51 , 28-Окт-16, (173) // pipeline в нашем случае перпендикулярен Есть файл с сырым отчётом И есть инстр, Andrey_Karpov (ok), 14:12 , 28-Окт-16, (174) –4 Не пробовали соответствующее предупреждение в его начало писать Примерно как -, Michael Shigorin (ok), 12:27 , 29-Окт-16, (175) –1 // Это называется маркетинг и ничего личного , Мазохист (ok), 15:07 , 29-Окт-16, (176) +4 // Нет, это называется контроль качества , Michael Shigorin (ok), 17:14 , 10-Ноя-16, (184) Вариант записи заголовка мы тоже обсуждали И возможно так и сделаем В целом, я, Andrey_Karpov (ok), 10:59 , 30-Окт-16, (177) –7 Зачем это сюда впихнули , Аноним (-), 17:15 , 01-Ноя-16, (180) // Так денюшку зарабатывают, это же очевидно , Капитан (??), 21:33 , 03-Ноя-16, (181) +1 // И видно неплохую, что ажно с беты начали , Аноним (-), 13:04 , 06-Ноя-16, (182) 1,2,4,5,10,27,31,34,35,36,50,71,75,78,102,108,122,132,157,172,180

Сообщения

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

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

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

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

	162. "Статический анализатор PVS-Studio доступен для Linux (реклам..."	+/–
	Сообщение от Аноним (-), 27-Окт-16, 10:45
	> не может он толком встроиться в сборку. нормальный системы встраиваются через переопределение > CC, а этому надо хачить makefile. Вы так огульно за всех решили за всех что нормально а что нет. А не многовато ли вы на себя берете, сэр? Вы вот так опросили всех програмеров планеты что они считают нормальным? Или это, как обычно, ваши личные предпочения, выдаваемые за истину в последней инстанции? Скромнее надо быть, имхо.
	Ответить | Правка | К родителю #133 | Наверх | Cообщить модератору

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

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