ВходНаше всё Теги codebook 无线电组件 Поиск Опросы Закон Четверг
28 марта
826003 Топик полностью
VVB (21.03.2018 15:03, просмотров: 108) ответил fk0 на Тебе зачем такая дорогая игрушка? С ней и справится тяжело. См. ссылку.
Странный ты. То говоришь, что невозможно получать хорошую оплату труда, работая программистом на РФ (из-за принятой идеологии "папа-мама-квартира"), то хаешь людей, выходящих за рамки данной идеологии, за жмотские цены. Ссылку я раньше читал, могу аргументированно поспорить. PVS-Studio с полпинка встроил в свою систему сборки (не в качестве "автономного приложения", хотя потом и запускал анализатор автономно, и он сам ловил вызовы gcc и понимал, какие файлы и как компилируются). Несмотря на достаточно высокие уровни всегда настроенных у меня предупреждений gcc, PVS-Studio выловил несколько багов, когда я был бета-тестером для gcc (я как раз использовал gcc-arm-none-eabi). Удобный небольшой хорошо заточенный инструмент, в отличие от MSVS. Рассуждения о clang, который идёт лесом. Потому что нет стандартных библиотек (требуется использовать библиотеки из другого инструмента), а двоичный код (для arm) отличается в атрибутах символов, что приводит к несовместимости со стандартными библиотеками или библиотеками сторонних производителей (Texas Instruments, например, предоставляет алгоритмы программирования flash памяти в виде библиотек, которые я кое-как смог слинковать в своём gcc проекте, из-за различных атрибутов); кроме того, clang сильно тупит (не знает __attribute__((target("arm/thumb"))), что сильно усложняет сборку для Cortex-R4. Clang мне нравится больше чем gcc, только я не могу его использовать из-за "сырости". А вот armclang (из поставки Keil MDK-ARM) вместе с его библиотеками -- это вещь! К сожалению, не могу его использовать в своих рабочих проектах (выхожу за 32 кБ). Что там ещё предлагал? С твоим мнением о cppcheck полностью согласен. TDD (разделение бизнес-логики и HAL), конечно же, существенно облегчает разработку (различное профилирование, анализ покрытия), я эти инструменты использую в составе утилит из поставки cpputest. Там ещё и анализ утечек есть (но только для бизнес-логики!!!). Это имеет отношение к качеству ПО (которое можно таким образом повысить, не покупая дорогих средств), но не имеет отношения к статическому анализатору, о котором была и твоя статья, и мой пост. Ты сам пробовал PVS-Studio в каких-либо проектах (например, для анализа кода, предназначенного для встраиваемых систем управления)?