caxapa.ru :: Перебрался на Кейл. Теперь вопрос где взять анализатор, ебстественно под Вин, и желательно универсальный, чтоб собрал проект и запустил на анализ.

IBAH (15.04.2025 15:53, просмотров: 4091)

Перебрался на Кейл. Теперь вопрос где взять анализатор, ебстественно под Вин, и желательно универсальный, чтоб собрал проект и запустил на анализ.

Ответить

- Сейчас в моде Clang-Tidy VVB(310 знак., 16.04.2025 12:53, ссылка, ссылка)
- В Keil нет к сожалению стат. код-анализатора. AndreasW(32 знак., 16.04.2025 12:33)
  - Кейл - это среда и компилятор. Анализатор штука внешняя. Хоть тот же PVS ... POV(89 знак., 16.04.2025 16:13)
- Иди на QT, ставь Gcc поновее (да хоть бы и 10ю версию) - он тебе даже отступы некорректные будет отслеживать. - POV(16.04.2025 11:41)
  - В смысле десятую? Сейчас 14.2.1 актуальна. Зачем ставить допотопный компилятор, который уже не поддерживается давным-давно? Eddy_Em(632 знак., 16.04.2025 16:17)
    - А в чём заключается "поддержка" gcc? Работает же, чего ещё надо? В назидание есть история про linux и gcc-2.95. SciFi(1 знак., 16.04.2025 16:27, ссылка)
    - Затем что с 10й версии уже много чего появилось в плане статического анализа. - POV(16.04.2025 16:27)
      - Разве 10 поддерживает стандарт C23? - Eddy_Em(16.04.2025 18:27)
        
        А разве ТС просил это? - POV(16.04.2025 18:52)
  - По слухам, LLVM умеет что-то интересное по части статического анализа. - SciFi(16.04.2025 11:46)
- PVS-Studio использую. Пaлыч(1 знак., 16.04.2025 10:36, ссылка)
  - Лям в год за 10 рабочих мест. - Nikolay_Po(16.04.2025 11:03)
    - Хочу посмотреть на фирму, где работают одновременно (это важно) десять эмбедеров. - Kpoк(16.04.2025 11:45 - 18:49)
      - Они на программирование больших систем ориентируются. Поддержка встраиваемых - так, сбоку припёку. - Nikolay_Po(16.04.2025 20:20)
      - ) ...поставь, всёж, "т" в конце твоего "работаю". Или не надо? )) - SERGHIO(16.04.2025 11:52)
        
        )))))))) - Kpoк(16.04.2025 18:50)
    - Ну, мне бесплатной версии за глаза хватает. - Пaлыч(16.04.2025 12:34)
    - В сегодняшних т.с. международно-экономических ~~вакханалиях~~ реалиях есть бесплатная альтернатива : SERGHIO(92 знак., 16.04.2025 11:47)
      - А это не тот ли Key, что дает сам PVS? на неделю? - IBAH(16.04.2025 16:16)
        
        (key в архиве позволит выполнить активацию программы без кряка). Вот ссылка на скачку. Размещено на ресурсе 14 апреля 2025. Пробуйте.>>> SERGHIO(112 знак., 16.04.2025 20:36, ссылка)
      - Спасибо, качаю с Иранского сайта. Друзья, а в целом - накой эта штука? - vesago(16.04.2025 12:49)
        
        Начните с цикла статей, где все подробно расписано: Chip_n_Go_15(1 знак., 16.04.2025 19:46, , ссылка)
        
        Спасибо! А в целом, штука полезная? Имею ввиду, в IAR и так при компиляции выдает какие проблемы. Имею ввиду не суровые косяки, а ворнинги. Я их правлю. Что мне может дать дополнительный тулз? - vesago(16.04.2025 21:20)
        
        В Иар есть встроенный анализатор. Анализатор выдает те же варнинги, но копает в 100500 раз глубже. Настолько глубоко, что даже тяжело понять чего ему не нравится. Просто не нравится или это действительно косяк. Например, CppCheck ругнулся на такое IBAH(256 знак., 17.04.2025 11:42)
        
        Ругается он незря - в таком коде накосячить раз плюнуть... - Chip_n_Go_15(17.04.2025 15:09, )
        
        Художника всякий норовит обидеть! А как надо? Задача скопировать одну упакованную структуру в другую, тип данных одинаковый - IBAH(17.04.2025 15:44)
        
        Я объявляю сначала структуру, а потом союз, в котором структура - анонимный член союза. Кроме самой структуры, в союзе - массив байт или слов размером, необходимым для структуры (вычисляю препроцессором и подставляю в размерность массива). Копирую как массив. - Nikolay_Po(17.04.2025 15:55)
        
        Как я забыл, что присваивание работает для структур тоже! - IBAH(17.04.2025 15:49)
        
        Это сарказм? Оно работает, если присваивается т.н. compound literal. Но вот не знаю, можно ли присваивать как обычные переменные? - Nikolay_Po(17.04.2025 15:52)
        
        Не препятствий для патриотов!(с) Нужно только чтобы структуры имели одинаковый тип. По моему эта фишка появилась с С99, поэтому многие ей не пользуются. - IBAH(17.04.2025 16:01)
        
        Во втором издании K&R структуры уже можно присваивать, это 1988 год. Скорее всего в стандарт C89 это уже вошло. ЫЫyкпy(707 знак., 17.04.2025 17:21)
        
        Можно. Компилятор подставляет туда memcpy. - SciFi(17.04.2025 15:56)
        
        Всегда мучил вопрос, а memcpy учитывает разрядность процессора? Копирует, тупо, по байту, или 32-16-8 - IBAH(17.04.2025 16:28)
        
        В современных компиляторах memcpy часто инлайнится, т.е. учитывает всё. - AlexBi(17.04.2025 16:40)
        
        Есть развёрнутые варианты на асмах и на сях: SciFi(2 знак., 17.04.2025 16:32, ссылка, ссылка)
        
        Я б зарепортил как false positive... - Nikolay_Po(17.04.2025 11:46)
        
        На преддыдущей работе делали продукт на основе свободной ОСи и кучки разных свободных программ (своё тоже было - но я его не ковырял). проверяли аналогом PVS (далее - проверятор). В одной из программ была утечка памяти - от 8 МБайт/с (это если не нагружен сервак) и выше. Ошибке было 2 года, найти её ни авторы, ни заинтересованные люди не могли. symbions(715 знак., 17.04.2025 00:09)
        
        Спасибо, начинаю понимать всю глубину. Я вроде опытный относительно. А вот недавно споткнулся об детскую болячку - не обнулил переменную цикла. - vesago(17.04.2025 08:08)
        
        Такое находит - и в критикал относит - symbions(17.04.2025 11:54)
        
        IAR EW ARM оно теперь поддерживает, использовать или нет вопрос философский - хуже точно не будет. Для Hello World точно не нужно, но когда проект большой + пишут несколько программистов - это весьма неплохой инструмент для поиска далеко не очевидных ошибок (но MISRA оно не заменяет). - Chip_n_Go_15(16.04.2025 23:20)
        
        А есть какая-нибудь проверялка на MISRA? - Бoмж(17.04.2025 13:47)
        
        Так сам IAR-же + в PVS-Studio тоже ее встроили. - Chip_n_Go_15(17.04.2025 15:13, )
        
        Спасибо! Я сторонник прогрессивных методов работы. Много лет работал без гита. Потом сделал усилие и не без помощи местных приобщился. Сейчас проекта не начну, пока не оформлю репозиторий. Хотя может деградируешь - раньше потрудиться нужно было, повспоминать , чего же натворил :) - vesago(17.04.2025 08:05)
        
        Когда-то, когда меня еще на "хабарке" не забанили, читал я про этот PVS. Ничего выдающегося по сравнению со стандартной связкой valgrind+gdb нет, но "более дружественный интерфейс". Eddy_Em(62 знак., 16.04.2025 21:43)
        
        Запусти на своих проектах. Если не поймёшь, зачем -- сноси. - VVB(16.04.2025 12:56)
      - А разве фирма не из России? - AndreasW(16.04.2025 12:34)
        
        А какая разница? - SciFi(16.04.2025 12:37)
        
        ++ Eddy_Em(172 знак., 16.04.2025 19:33)
- Прошу прощения, анализатор чего? - Nikolay_Po(15.04.2025 16:31)
  - Статический анализатор кода Си, в ИАРе встроенный, а в Кейле его не нашел. Обычно анализаторы интегрируются с IDE, но можно и без интеграции. Качнул cppcheck, но он опен сорс, такой полный опен сорс. Не стартанул. Пишет точка входа в библиотеке dxgi.dll не найдена, переустановил ДиректХ, не помогло. IBAH(1 знак., 15.04.2025 17:50, ссылка)
    - В IAR цена на стат. код-анализатор как крыло от боинга. AndreasW(56 знак., 16.04.2025 12:38)
      - у меня после траходрома взлетел. Под Вин 7 надо ставить версию 2.6 - IBAH(16.04.2025 16:10)
  - Всего. Написано ж, универсальный. - beefdeadbeef(15.04.2025 16:32)

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