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

Статический анализатор 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]

5. "Статический анализатор PVS-Studio доступен для Linux (реклам..."	+9 +/–
Сообщение от Аноним (-), 25-Окт-16, 11:40
От всей этой пвс у меня пока такое ощущение (сужу только по рекламам): Судя по постам от компании всё что пвс делает - это выявляет в основном некрасивый код. На функционал это никак не влияет. На ошибки это никак не влияет. Реально вот, что с пвс-ом, что без все программы как работали так и работают. "Ах, спасибо, пвс! С помощью него мы ..." я даже не знаю, что "мы"-то! Тот же, например, Valgrind: "Ах, спасибо, valgrind! С помощью него мы избавились от утечек памяти!" Так ли? Или реально пвс - это лучик света в тёмной жопе?
Ответить | Правка | Наверх | Cообщить модератору

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

	18. "Статический анализатор PVS-Studio доступен для Linux (реклам..."	+9 +/–
	Сообщение от angra (ok), 25-Окт-16, 12:26
	> Судя по постам от компании всё что пвс делает - это выявляет > в основном некрасивый код. > На функционал это никак не влияет. На ошибки это никак не влияет. Судя по твоему посту, ты просто не понял ничего из постов от PVS. В большей части случаев там выявлялись места, приводящие к самому мерзкому типу ошибок - не воспроизводимым, проявляющимся лишь время от времени.
	Ответить | Правка | К родителю #5 | Наверх | Cообщить модератору

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

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

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

	97. "Статический анализатор PVS-Studio доступен для Linux (реклам..."	+/–
	Сообщение от Аноним (-), 25-Окт-16, 23:12
	>приводящие к самому мерзкому типу ошибок - не воспроизводимым, проявляющимся лишь время от времени. По-моему как раз от таких проблем никакой статический анализатор не спасет, ведь только в рантайме (легче всего - с помощью valgrind/callgrind/helgrind/massif/drd) можно задетектить периодические переполнения буфферов, дэдлоки, небезопасное использование разделяемой памяти и т.п.
	Ответить | Правка | К родителю #18 | Наверх | Cообщить модератору

	98. "Статический анализатор PVS-Studio доступен для Linux (реклам..."	+/–
	Сообщение от Andrey_Karpov (ok), 26-Окт-16, 00:09
	И да, и нет. Всё зависит от типа ошибки. То, что легко выявляет статический анализ, бывает сложно/невозможно выявить динамическим. И наоборот. P.S. Близко по теме: http://www.viva64.com/ru/b/0248/
	Ответить | Правка | Наверх | Cообщить модератору

	164. "Статический анализатор PVS-Studio доступен для Linux (реклам..."	+/–
	Сообщение от Аноним (-), 27-Окт-16, 14:26
	> P.S. Близко по теме: http://www.viva64.com/ru/b/0248/ Поздравления, вы тоже придумали ASAN. Но это уже несколько лет реализовано и в clang и в gcc и продать что-то такое за деньги реально наверное только пользователям вьюжлстудии которые еще не выбросили MS'овский компилятор. Ну или если у вас производительность сильно выше. ASAN все-таки ощутимо просаживает программу.
	Ответить | Правка | Наверх | Cообщить модератору

	165. "Статический анализатор PVS-Studio доступен для Linux (реклам..."	+/–
	Сообщение от Andrey_Karpov (ok), 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. :)
	Ответить | Правка | Наверх | Cообщить модератору

	19. "Статический анализатор PVS-Studio доступен для Linux (реклам..."	+/–
	Сообщение от Andrey_Karpov (ok), 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 +/–
	Сообщение от Аноним (-), 25-Окт-16, 13:19
	> Прошу посмотреть внимательнее на то, что он выявляет: http://www.viva64.com/ru/examples/ Ну да, реальные ошибки находятся - спору нет. Хотя по сути, тестировался бы код... Ну потому что "infinite loop" - это на самом деле очень серьёзно. И что, хотите сказать, что мыши плакали, кололись, но продолжали пользоваться программой, которая зависала? Значит, этот код либо не для продакшена, либо вообще не используется. Ну зависание же, ну infinite loop же! А вот с возвращением из функции указателя на локальную переменную - это да, это круто. Но тогда пвс должна сразу писать письмо в отдел расстрелов. В общем, как ни крути (превьюшка на видео к новости (а видео-то уже удалилось!)): Кому нужен статический анализатор? - новичкам - "индусам" - плохим программистам Поэтому если компания использует пвс, значит контингент понятен :) Я - хрен с горы - заявляю: инструмент, в принципе, полезен. Но...
	Ответить | Правка | Наверх | Cообщить модератору

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

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

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

	84. "Статический анализатор PVS-Studio доступен для Linux (реклам..."	+/–
	Сообщение от Аноним (-), 25-Окт-16, 19:52
	> философ и вонючка! А тот чудак который про Тюринга не в курсе? Обнаружить все infinite loops невозможно даже чисто теоретически.
	Ответить | Правка | Наверх | Cообщить модератору

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

	119. "Статический анализатор PVS-Studio доступен для Linux (реклам..."	+/–
	Сообщение от Аноним (-), 26-Окт-16, 08:34
	> Изнутри LLVM запросто, Что значит - изнутри LLVM? Ты готов гонять симуляцию моей програмы вечно, чтобы посмотреть загнется ли она в конце концов? Ну вот отработала моя программа два года. И какой будет вердикт? А может, я в программе на часы смотрю и жду 2027 года, и закруглюсь именно тогда? И как ты это будешь анализировать, хоть LLVM'ом, хоть чем там еще? Тебе для анализа Full AI потребуется как минимум, и тот лажать по черному будет.
	Ответить | Правка | Наверх | Cообщить модератору

	56. "Статический анализатор PVS-Studio доступен для Linux (реклам..."	+3 +/–
	Сообщение от Аноним (-), 25-Окт-16, 15:45
	> Я так понимаю, ты сейчас даш                               ^- Error at line 1: syntax error.
	Ответить | Правка | К родителю #43 | Наверх | Cообщить модератору

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

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

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

	28. "Статический анализатор PVS-Studio доступен для Linux (реклам..."	+11 +/–
	Сообщение от CodeRush (?), 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 (реклам..."	+/–
	Сообщение от Аноним (-), 25-Окт-16, 14:11
	> А PVS-Studio сразу сообщила, что вот тут место подозрительное, проверьте. > Проверил, добавил volatile, баг исчез. Ну эээ... Расстрелы уже провели? Потому что - ну ёмоё, ожидание результата в глобальной переменной от другого ядра и без volatile? Кто код писал? Фамилию! Да шучу :)
	Ответить | Правка | Наверх | Cообщить модератору

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

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

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

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

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

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

	55. "Статический анализатор PVS-Studio доступен для Linux (реклам..."	+2 +/–
	Сообщение от Аноним (-), 25-Окт-16, 15:44
	> Так ли? Или реально пвс - это лучик света в тёмной жопе? Лучику света наверное не пристало выдавать коменты "пришлось сделать под линукс". Это больше похоже на темную проприетарную ...
	Ответить | Правка | К родителю #5 | Наверх | Cообщить модератору

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

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