forum.opennet.ru

"Статический анализатор PVS-Studio 6.22 адаптирован для ARM-к..."

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

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

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

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

. "Статический анализатор PVS-Studio 6.22 адаптирован для ARM-к..."	+/–
Сообщение от Andrey_Karpov (ok), 02-Мрт-18, 08:31
> А чем отличаются arm компиляторы от x86 с точки зрения статического анализа? В основном разными расширениями языка. Плюс потребовалось учесть ряд разных низкоуровневых трюков, которые были подозрительны анализатору (ложные срабатывания), но для микроконтроллеров вполне себе нормальная практика.
Ответить \| Правка \| Наверх \| Cообщить модератору

Оглавление

Статический анализатор PVS-Studio 6.22 адаптирован для ARM-к..., opennews, 01-Мрт-18, 19:53 [смотреть все]

В СПО как-то все зарабатывают Некоторые даже грантами на всякие глупости умудря, Аноним, 01-Мрт-18, 19:53 (1) //
- Ну, справедливости ради, надо сказать, что давно их не было слышно Тут во всяко, A.Stahl, 01-Мрт-18, 19:54 (3) //
  - Я лично видел уже с десяток постов на хабре и как минимум 3 здесь Все уши прожу, Аноним, 02-Мрт-18, 09:27 (37)
  - Давайте все разработчики проприетарного софта тут начнут постить свою рекламу С, Аноним, 02-Мрт-18, 19:48 (49)
- Команда маленькая, если есть идеи как им по другому рекламу подешевле делать, то, sadasd, 01-Мрт-18, 20:22 (4) //
  - Это не реклама Эта антиреклама какая-то В каждой их рекламе обсуждается сама р, Аноним, 02-Мрт-18, 19:50 (50) //
    - Да уж, рассуждать на портале по СПО про кейл и иар - весьма оригинально Можно е, Аноним, 03-Мрт-18, 14:11 (54)
- Если бы все так спамили, я бы даже uBlock выключилЛюбая ошибка -- это головная б, kai3341, 01-Мрт-18, 20:23 (5) //
  - Ребята пошли дальше и нашли способ спамить прямо в чужих исходниках , Аноним, 01-Мрт-18, 20:52 (9) //
    - Напиши скрипт fuse fs, вставляющий нужную йобу в файлы специально для анализатор, Аноним, 01-Мрт-18, 22:59 (20)
      - Это запрещено в соглашении , Ilya Indigo, 01-Мрт-18, 23:09 (21)
        
        ну и покс, Аноним, 02-Мрт-18, 01:36 (27)
        
        После ответа Карпова ниже мне уже действительно пoкс и на него самого и на его п, Ilya Indigo, 02-Мрт-18, 08:19 (34)
        
        А я его поддерживаю Возьми и сам проверь Привыкли людей на халяву напрягать Я, Аноним, 02-Мрт-18, 11:41 (45)
        
        Возможно, это дитя индиго думает, что существует волшебная команда проверить по, angra, 02-Мрт-18, 12:10 (46)
        
        Вот и я об этом , Аноним, 02-Мрт-18, 14:35 (48)
        
        В соглашении с кем Я правлю СВОЙ код Пишу туда, что хочу и как хочу , Какаянахренразница, 02-Мрт-18, 02:20 (28)
        
        В соглашении об использовании PVS-Studio У тебя целых три варианта регулярного , angra, 02-Мрт-18, 04:33 (30)
        
        У тебя та же болезнь, что и у Карпова Правка моего кода никак не связана с испо, Какаянахренразница, 06-Мрт-18, 17:09 (66)
        
        а если создать форк с дополнительной шапкой , annual slayer, 02-Мрт-18, 03:08 (29)
        citation needed, Аноним, 02-Мрт-18, 09:13 (36)
    - Решение спамить или не спамить в исходниках какого-либо проекта принимают не раз, Ordu, 01-Мрт-18, 23:42 (24)
  - Ты разуй глаза и прочитай, про что новость Они поддержку каких-то проприетарных, Аноним, 01-Мрт-18, 20:54 (10) //
    - GCC и clang всё ещё поддерживаются, а указанными выше Вас пользоваться никто не , kai3341, 01-Мрт-18, 21:00 (12)
      - А что, с gcc и clang оно раньше не работало , Аноним, 01-Мрт-18, 21:38 (16)
  - Я аж прослезился Если Пивасик-Студия исчезнет, что при этом потеряет опенсорс, , Аноним, 02-Мрт-18, 06:48 (32) //
    - Отвечу на твой вопрос, как минимум opensource потеряет хороший инструмент, котор, lfx, 03-Мрт-18, 19:58 (55)
      - немало извините, Аноним, 04-Мрт-18, 06:46 (58)
  - Не поверишь, но далеко не всем нужен PVS-Studio А тем, кому нужен, уже 100 зна, Аноним, 02-Мрт-18, 09:58 (39) //
    - Что, сажаешь любую обезьянку, и она фигачит код на rust без ошибок Не верю , Аноним, 02-Мрт-18, 10:28 (40)
    - Но то что без unsafe в котором себе все также можно отстрелить ногу, на Rust дал, lfx, 03-Мрт-18, 20:15 (56)
      - Ну да, только там заведомо известно, что там unsafe, в отличии от язычка для кот, aZIZ, 04-Мрт-18, 10:44 (59)
        
        От того что ты знаешь где у тебя unsafe меньше ошибок ты не допустишь их ведь н, lfx, 05-Мрт-18, 01:23 (64)
- У них анализатор стоит дороже Intel vtune vc , Аноним, 02-Мрт-18, 00:46 (26)
Как раз к новым ноутам на арме и виндусе подоспели, очень хорошо , Аноним, 01-Мрт-18, 19:54 (2) //
- IAR Embedded - это не про ноуты, а про железки самопальные, fi, 01-Мрт-18, 20:25 (6)
- С нетерпением жду как ты кайлом и иаром под виндовые армы собирать будешь На эт, Аноним, 07-Мрт-18, 11:31 (67)
Проверьте пожалуйста проект Tor, Аноним, 01-Мрт-18, 20:27 (7) //
- Мои аплодисменты проекту Tor - https www viva64 com ru b 0507 , Andrey_Karpov, 01-Мрт-18, 20:40 (8) //
  - Значит, действительно по заказу и под контролем спецслужб писали Полное отсутсв, Аноним, 01-Мрт-18, 21:00 (11) //
    - Спецслужбы повсюду, спасает лишь одно - фольгированная шапочка, чтоб они не могл, Аноним, 01-Мрт-18, 21:11 (13)
      - Ты ведь знаешь, что для экранирования мозголучей эффективна лишь золотая фольга , A.Stahl, 01-Мрт-18, 21:17 (14)
        
        Не слушайте его, он глубоко внедренный агент рептилоидов Фольга помогает только , Аноним, 01-Мрт-18, 21:54 (19)
        
        Спасибо, записал, анонимус, 01-Мрт-18, 23:39 (23)
      - Прежде чем с умным видом ссылаться на какую-то книгу, полезно эту книгу прочесть, Аноним, 01-Мрт-18, 21:40 (17)
    - На этом форуме новость на тему tor относится к 2010му году, а сам проект впервые, Аноним, 01-Мрт-18, 21:21 (15)
    - А может все проще И поскольку это сетевой сервис, который многим хочется разлом, Аноним, 07-Мрт-18, 11:37 (68)
      - Проще, проще В следующий раз обязательно добавлю тег ирония для бронелобых , Аноним, 07-Мрт-18, 20:22 (73)
  - А свежие postfix и dovecot проверяли , Ilya Indigo, 01-Мрт-18, 23:14 (22) //
    - Оплатите регулярный мониторинг проекта , Andrey_Karpov, 01-Мрт-18, 23:48 (25)
      - Интересу ради -- какой порядок величин , Michael Shigorin, 04-Мрт-18, 16:59 (62)
        
        Нет какого-то прайса Каждый раз это обговаривается отдельно, тем более, что обы, Andrey_Karpov, 04-Мрт-18, 19:29 (63)
      - При наличии coverity который нахаляву открытые проекты сканит, так что даже бэдж, Аноним, 07-Мрт-18, 11:39 (69)
        
        Так и для PVS-Studio существует бесплатный вариант лицензии https www viva64 , Andrey_Karpov, 07-Мрт-18, 15:13 (71)
Хотел было высказать Карпову благодарность за то, что поведал о существовании ОС, Аноним, 01-Мрт-18, 21:47 (18)
А чем отличаются arm компиляторы от x86 с точки зрения статического анализа , anonymous, 02-Мрт-18, 06:10 (31) //
- В основном разными расширениями языка Плюс потребовалось учесть ряд разных низк , Andrey_Karpov, 02-Мрт-18, 08:31 (35)
А тем временем в далёкой-далёкой галактике Вот - https www opennet ru open, Ne01eX, 02-Мрт-18, 09:54 (38)
fragma-clang гораздо приятнееhttp frama-c com frama-clang html, Аноним, 02-Мрт-18, 10:43 (41)
Отличный продукт А не нравится статья - не читайте Да и где вы здесь спам у, Аноним, 02-Мрт-18, 11:38 (44) //
- Ты заходишь в почту и видешь рекламу заработать в интернете миллион бесплатно, б, Аноним, 02-Мрт-18, 19:56 (52) //
  - Эта реклама явно помечена как реклама И, заметьте, помечена не малозаметным тег, Аноним, 02-Мрт-18, 21:37 (53)
Сегодня опубликовали статью Статический анализатор кода PVS-Studio 6 22 адаптир, Andrey_Karpov, 02-Мрт-18, 12:23 (47) //
- Андрей, ответьте не специалисту как я понял для JAVA ваш анализатор может отлав, Tita_M, 04-Мрт-18, 04:33 (57) //
  - Откуда Вы это взяли Во-первых, Java анализатор вообще ещё только в разработке, Andrey_Karpov, 04-Мрт-18, 11:34 (60) //
    - Спутал с другим анализатором, от Фейсбука, кажется , Tita_M, 04-Мрт-18, 15:28 (61)
      - Зато вскрылась интересная информация , lfx, 05-Мрт-18, 01:29 (65)
    - Правильно, gcc и clang запилили хренову кучу san как часть компилятора Там тип, Аноним, 07-Мрт-18, 11:43 (70)
      - Динамические анализаторы не заменять статические И наоборот Эти технологии не , Andrey_Karpov, 07-Мрт-18, 15:16 (72)

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

Партнёры:

Хостинг:

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

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