caxapa.ru :: Свершилось! Отечественная разработка статического анализатора кода для встраиваемых систем управления PVS-Studio. Рад, что они наконец пришли в эту нишу, надеюсь, что не зря.

VVB (21.03.2018 12:21, просмотров: 26301)

Свершилось! Отечественная разработка статического анализатора кода для встраиваемых систем управления PVS-Studio. Рад, что они наконец пришли в эту нишу, надеюсь, что не зря. https://www.viva64.com/ru/b/0561/
P.S. К сожалению, наше начальство не готово платить за повышение качество ПО (за этот или любой другой анализатор).

Ответить

- ОК. А теперь давайте не для сферического коня, а для реальных случаев. Хочется понять осмысленность всего этого. Николай Коровин(3695 знак., 24.03.2018 11:28)
  - Баг первый -- "magic numbers в коде!", его даже ловить не надо, сразу наверняка падает. Баг второй -- мусор ловится valgrind или address sanitizer. Баг третий по-моему должен давать варнинг в компиляторе (ub). - fk0(24.03.2018 11:43)
    - Не-а. Третий -- implementation-defined и снабжён комментариями, достаточно заметными, чтобы любой, портирующий мой код не жопой, увидел и соотнёс со своим компилёром (хотя портировать его никто не собирается, просто, от греха). Николай Коровин(1125 знак., 24.03.2018 12:05 - 12:28)
      - поднял визг... идиот... вам статический анализатор точно не нужен, с таким отношением к коллегам в командных проектах тяжело. - picarmer(24.03.2018 18:15)
        
        Я не пытаюсь изобразить, какой я весь из себя Кнут (хотя, конечно, я далекооо не пряник), но всё-таки речь не об "идиёте", а об инструментах, их use and misuse. Николай Коровин(323 знак., 24.03.2018 22:33)
      - странное у вас желание расставлять impl-defined код. Желание заставить читать комментарий похвально, но не таким иезутским способом) - picarmer(24.03.2018 12:19)
        
        Гы :) Если залезли куда-то, где их быть не предполагалось -- пускай читают таблички, а то в расплавленную сталь упадут :) Я добрый, я хотя бы таблички ставлю, даже если никого не приглашал :) Николай Коровин(597 знак., 24.03.2018 12:40 - 22:49)
- А анализатор скрытой рекламы моГЁте написать? - Make_Pic(23.03.2018 07:43)
  - Заради поддержки отечественного товаропроизводителя можно разок глазик прищурить. Это же не реклама оборудования для курятников на Ардуине ;) - Codavr(24.03.2018 07:56)
    - Принято :) - Make_Pic(24.03.2018 08:27)
- Это не прохладный Хабр - ЭТО СПАРТА! ;-) - Точка опоры(22.03.2018 14:06)
  - Околоденежный вопрос, кто нынешние владельцы Хабра и Сахары? :) - mut(23.03.2018 07:19)
- ИМХО не туда пришли эту штуковину рекламировать. Нужно было на форум менагеров, а здесь погромисты одни. Каждого погромиста (по себе знаю) подспудно гнетёт мысль о том, что компилер умнее его. А тут пытаются втюхать прогу, которая Сидоргек(53 знак., 22.03.2018 10:47)
  - Меня вот не гнетён эта мысль, я могу признавать ошибки и будут рад допускать их меньше -- убью меньше людей. - VVB(22.03.2018 10:49)
    - +1. Не все программисты ~~страдают~~ наслаждаются мазохизмом. Мне не доставляет удовольствия часами искать ошибку, которую мог бы найти кремниевый интеллект. Увы, иаровский статический анализатор не помог мне ни разу. - йцукен(22.03.2018 12:28)
- На сайте и есть триальная версия. :) Пробуйте. Если хочется именно на месяц - пишите в поддержку, обсудим. - Andrey_Karpov(22.03.2018 08:24)De_user
  - PVS состыкован с правилами MISRA и/или CERT C secure coding standard? - picarmer(24.03.2018 07:07)
    - С MISRA пока нет. Но мы морально готовимся и уже заранее купили этот стандарт. Andrey_Karpov(268 знак., 24.03.2018 10:14)
- Cppcheck - бесплатно анализирует и помогает. - alho(22.03.2018 00:09)
  - :) Попробуйте найти с его помощью, например, вот такую ошибку: 31 февраля - Andrey_Karpov(52 знак., 22.03.2018 00:16)
    - Ошибки сходу: использование самодельных функций вместо time.h, отсутствие понятия leap second (23:59:60 очень даже бывает). Варнинг про expression always true умеет и gcc и msvc выдавать. - fk0(22.03.2018 10:34)
      - Покажите для этого кода варнинг expression always true от gcc или msvc :). - Andrey_Karpov(23.03.2018 18:02)
        
        Увы, не бывает. - fk0(24.03.2018 11:45)
    - вопрос, а текст статьи своим анализатором проверяли? LordN(53 знак., 22.03.2018 09:46)
      - Это скрипт - blackprapor(22.03.2018 12:17)
        
        Скипетр! - Крок(22.03.2018 12:23)
    - Хороший пример ошибки. - Dingo(22.03.2018 04:57)
- Эта программа, на мой взгляд, слишком дорого стоит для своей функциональности. Была бы она 100 евро, купил бы. А за 60 евро в месяц, да пошли они нахрен! - бомж(21.03.2018 23:32)
  - Без обид: нет, не купили бы. Вам она просто не нужна. :) Тем, кому нужна, цена не является главным фактором. Разговор о скидке заходит лишь иногда и в основном касается приобретения 2-х и 3-х летних лицензий. Andrey_Karpov(92 знак., 21.03.2018 23:50 - 23:58)
- Изначально кривые руки эта штука не выпрямляет, а потому как минимум бесполезна. Если же навязывать её силой то ещё и вредна. Носители индусских генов будут просто переписывать свои творения так чтобы проходить проверку в PVS, внося при этом ЫЫyкпy(23 знак., 21.03.2018 15:47)
  - Давайте заменим PVS-Studio на проверку орфографии в Word. И вот что получается: Andrey_Karpov(507 знак., 21.03.2018 20:53)
    - Промблема в том, что орфографию проверяет препроцессор компилятора. Это если брать за пример Ворд, как у вас. Но тот-же Ворд спокойно пропустит, например, такой шедевр:"она пошёл гуляет". Что открывает широкие просторы для носителей галогруппы mse homjak(8 знак., 21.03.2018 22:19)
  - В корне ошибочные суждения, предполагаю, что из-за молодости. Стандарты, значит, не нужны? Чтобы хорошо писать, нужно учиться писать, неизбежно допуская при этом ошибки. - VVB(21.03.2018 15:51)
    - А эта PVS учит писать? - ЫЫyкпy(21.03.2018 15:55)
      - PVS-Studio помогает повысить качество кода и выявить многие ошибки на самом раннем этапе. Чем раньше ошибка найдена, тем дешевле её исправление. Обучение писать хорошо это важный побочный эффект использования анализатора кода. - Andrey_Karpov(21.03.2018 20:56)
      - Она учит кодировать, указывая на ошибки (конструкции, которые допустимы с точки зрения синтаксиса языка, но вряд ли допустимы с точки зрения примитивной человеческой логики, причём ПК можно научить части этой логики в виде анализаторов кода). - VVB(21.03.2018 16:07)
        
        Мудрый программист слышал о Дао и следует ему. Обычный программист слышал о Дао и ищет его. Плохой программист слышал о Дао и смеётся над ним. ЫЫукпу(123 знак., 21.03.2018 18:21, ссылка)
- Они ее навязывают не первый год по всем форумам. Причем агрессивно, чуть не с оскорблениями... POV_(121 знак., 21.03.2018 12:41, )
  - Что-то здесь напутано. Нас оскорбили, да, такое было. А вот чтобы мы кого-то оскорбляли, я не помню. - Andrey_Karpov(21.03.2018 20:57)
    - cbuilder.ru - не со мной, а с другими - был резкий недоходчивый разговор.. "чуть не с оскорблениями", а про имеющиеся оскорбления я не писал. - POV_(21.03.2018 22:27, )
      - Приведите пример. Грубость с нашей могла быть ответом только на ещё большую грубость/ругань. - Andrey_Karpov(21.03.2018 22:29)
        
        Ну да, что-то такое и было.. но я ж ничего против вашей конторы и кого-то лично не имею. Просто вспомнил, отметил агрессию. Забей. - POV_(21.03.2018 22:31, )
        
        Если вспомнить твой стиль общения что на телесиськах, что на сахаре, то я понимаю отчего даже самый стойкий человек может не сдержаться. Справедливости ради замечу, что порозовев ты стал намного вежливее. Прямо не узнать. - Codavr(24.03.2018 08:11)
- Тебе зачем такая дорогая игрушка? С ней и справится тяжело. См. ссылку. - fk0(21.03.2018 12:32, ссылка)
  - +100500 Слишком дорого стоит. Нахрен надо за такие деньги - бомж(21.03.2018 23:37)
    - На самом деле, не дорого. См. ориентировочные цены: Andrey_Karpov(365 знак., 21.03.2018 23:44)
      - При чём здесь, готова ли компания вкладываться в надёжность? Цена является определяющим фактором покупки, что бы Вы не говорили. Если Вы задрали цену сверх всякой разумной меры, то никто покупать не будет. - бомж(21.03.2018 23:59)
        
        Цена является определяющим фактором покупки, что бы Вы не говорили. Andrey_Karpov(167 знак., 22.03.2018 00:14)
        
        Что бы Вы НИ говорили. Грамматические ошибки в тексте - плохая реклама подобному изделию. - Крок(22.03.2018 09:33)
        
        Не следовательно. А потому, что для некоторых нет разницы, 200 евро в месяц или 2 евро. Но таких немного. Вы теряете гораздо больше на тех, кто купил бы за нормальную цену. Эффективные манагеры, что уж там! - бомж(22.03.2018 00:17)
        
        Нет, не теряем. PVS-Studio это продукт B2B. Andrey_Karpov(157 знак., 22.03.2018 00:22)
        
        Вообще-то, организации по размеру тоже очень сильно отличаются. Одни богатые - могут позволить себе и $1000 в месяц на разработчика потратить. Другие только развиваются. При этом они ГОТОВЫ тратить деньги, но не в таких объёмах. Ваша фирма, как и FDA(402 знак., 22.03.2018 14:01)
        
        А фирма www.autodesk.de видать, придурки. Продают свой продукт за 30 евро в месяц. Ага :-) - бомж(22.03.2018 00:25)
        
        +100 - FDA(22.03.2018 14:02)
  - Странный ты. VVB(2260 знак., 21.03.2018 15:03)

Средства и методы разработки