Странный ты. То говоришь, что невозможно получать хорошую оплату труда, работая программистом на РФ (из-за принятой идеологии "папа-мама-квартира"), то хаешь людей, выходящих за рамки данной идеологии, за жмотские цены.
Ссылку я раньше читал, могу аргументированно поспорить.
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 в каких-либо проектах (например, для анализа кода, предназначенного для встраиваемых систем управления)?