@YMinaev23 окт 2018 в 13:49

В PVS-Studio появилась поддержка GNU Arm Embedded Toolchain

7 мин

5.1K

Блог компании PVS-StudioC * C++ * Программирование микроконтроллеров *

+38

Комментарии 25

@Amomum 23 окт 2018 в 14:35

Даа, грустно! Ведь mbedOS вроде как юзает asan clang'овский, на гитхабе хостятся и всякие другие модные слова употребляют. И на С++ пишут, а не на С.
Но нет, все равно malloc, а не new хотя бы, никаких умных контейнеров, и опять memset вместо std::fill. Фу.

Единственное, что из статьи не ясно — в чем же именно заключается поддержка GNU Arm Embedded? Я несколько лет назад проверял, что PVS-Studio сходу умеет работать с arm gcc — в конце концов, это ведь просто gcc.
Видимо, теперь учитывается какая-то специфика, но как раз про это в статье не написано.

@YMinaev 23 окт 2018 в 14:59

В ядре у них полно C, так что насчет malloc ничего удивительного.

А насчет поддержки, фронтенд там целиком от gcc, так что в этом плане практически без изменений. Мы теперь правильно отличаем обычный gcc от того, который для ARM, и учитываем некоторые специфичные для платформы вещи. Плюс мы теперь под всеми системами автоматически его находим и правильно проставляем все настройки для анализа.

@Amomum 23 окт 2018 в 15:03

В ядре у них полно C, так что насчет malloc ничего удивительного.

Непонятно только зачем у них там С вообще. Но это к ним вопрос, не к вам :)

учитываем некоторые специфичные для платформы вещи

А вот тут хотелось бы поподробнее!

@Punk_Joker 23 окт 2018 в 17:49

Если не ошибаюсь MBED базируется на RTX

@esaulenka 24 окт 2018 в 08:12

Даже не базируется. Само ядро MBED — это такая C++ прослойка, в которую обёрнута старая сишная Keil RTX.

@a-tk 23 окт 2018 в 15:44

1) А планируется ли поддержка bare metal или других операционных сред?
2) Выработаны ли диагностики гонки, связанные с моделью памяти на ARM, которая существенно отличается от x86?

@SvyatoslavMC 24 окт 2018 в 07:17

1) А планируется ли поддержка bare metal или других операционных сред?

Embedded — очень широкое направление. В приоритете пока поддержка чего-нибудь максимально популярного среди разработчиков и где работа препроцессора не сильно отличается от поддерживаемых нами компиляторов.

2) Выработаны ли диагностики гонки, связанные с моделью памяти на ARM, которая существенно отличается от x86?

Эта задача полноценно не решается статическим анализом, поэтому ничего нового мы не делали. А существующих диагностик на эту тему совсем не много.

@Punk_Joker 23 окт 2018 в 17:51

Можно было бы проверить FreeRTOS как одну из самых распространенных открытые ОСРВ для встроенки.

@a-tk 23 окт 2018 в 18:02

А ещё vxWorks

@Punk_Joker 23 окт 2018 в 18:12

я так понимаю кроссплатформенная версия имеет уже проприетарную лицензию и стоит денюжек?

@a-tk 23 окт 2018 в 18:36

Читать надо. Вполне возможно, что на использование не для встраивания можно и как-то договориться.

@ianzag 24 окт 2018 в 07:06

На моей памяти vxWorks всю жизнь была жестоко закрыта. Или я отстал от жизни?

@Jolt 24 окт 2018 в 06:14

ага, или ещё код сгенерированный с помощью CubeMX

НЛО прилетело и опубликовало эту надпись здесь

@ianzag 24 окт 2018 в 13:56

Если вспоминать за «сгорит» — было бы любопытно прогнать PVS по ACE/TAO. Особенно по тому, что выдает их IDL компилятор.

@mcu_by 24 окт 2018 в 06:14

респект ребята)) очень круто!

@ianzag 24 окт 2018 в 06:56

Как насчет линаровского тулчейна? www.linaro.org/downloads

@YMinaev 24 окт 2018 в 07:31

Линаровский пока не делали, но там тоже gcc, так что в целом должно работать, только под Linux и macOS придется вручную указывать имена исполняемых файлов компиляторов.

@slava_phirsov 24 окт 2018 в 07:12

Здесь следовало бы либо вызвать delete, либо хотя бы отдать хранящийся в переменной interface адрес наружу в любом случае, чтобы об этом мог позаботиться вызывающий код

а ещё лучше — std::unique_ptr::release
И, да, ребята, категорически умоляю, прячьте объяснения под кат, а то совсем неинтересно становится читать

@EviLOne 25 окт 2018 в 06:18

Здравствуйте, можете по подробнее рассказать про связку PVS-Studio и Keil Embedded Development. Каким образом происходит взаимодействие: имеется некая интеграция в среду разработки или через внешний скрипт?

@SvyatoslavMC 25 окт 2018 в 08:40

Добрый день.

Для проверки Keil-проектов у нас пока нет интеграции в среды разработки (uVision/Eclipse), поэтому анализ возможен только с помощью прямой интеграции в скрипты сборки или с использованием режимов мониторинга сборки (для Windows и Linux).

Вы можете запросить на сайте временный ключ для проверки своего проекта. Задать вопросы вы можете через форму обратной связи, или обменяться почтой через ЛС Хабра для продолжения общения.