forum.opennet.ru

"Статический анализатор PVS-Studio доступен для Linux (реклама)"

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

Исходное сообщение

[ Отслеживать ]

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

Оглавление

Статический анализатор PVS-Studio доступен для Linux (реклама), opennews, 25-Окт-16, 11:21 [смотреть все]

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

Форумы | Темы | Пред. тема | След. тема

Партнёры:

Хостинг:

Закладки на сайте
Проследить за страницей

Created 1996-2024 by Maxim Chirkov
Добавить, Поддержать, Вебмастеру