forum.opennet.ru

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

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

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

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

Отдельный RSS теперь доступен для каждого обсуждения в форуме и каждого минипортала.

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