Axivion добавляет правила MISRA C++ 202x к статическому анализу кода

«Особенно при разработке критически важных для безопасности встраиваемых систем соблюдение последних стандартов кодирования является обязательным условием для обеспечения качества кода на протяжении всего процесса разработки», — говорится в сообщении компании. «Теперь Axivion Suite 7.5 обеспечивает соответствие нескольким новым правилам MISRA C++ 202x, которые, как ожидается, заменят и продолжат рекомендации AUTOSAR C++:14, а также будут поддерживать более поздние версии языка C++».

Кроме того, в пользовательский веб-интерфейс (веб-интерфейс) была добавлена ​​настраиваемая визуализация — пользователи могут настраивать информационную панель в обзоре проекта. Некоторая графика визуализации теперь интерактивна, что позволяет разработчикам напрямую обращаться к определенной части кода. Существуют предварительно настроенные примеры визуализации, а для создания пользовательских визуализаций можно использовать Python или другие сценарии.

Для больших групп разработчиков результаты анализа из разных ветвей теперь могут быть объединены в основную ветвь без потери тегов и аннотаций, установленных в пользовательском веб-интерфейсе.

Настройка CMake была упрощена и теперь является частью мастера настройки проекта, а также имеется подключаемый модуль для интегрированной среды разработки CLion.

По словам компании, до версии 7.5 этот инструмент уже покрывал: 100 % автоматически тестируемых руководств по кодированию MISRA C:2004, MISRA C:2012 (включая правила безопасности поправки 1 и поправку 2) и MISRA C++:2008 с учетом Соответствие MISRA: 2016 и соответствие MISRA: 2020. Он добавил, что его средство проверки MISRA сертифицировано SGS TÜV Saar для использования в проектах программного обеспечения с требованиями безопасности в соответствии с ISO 26262 до ASIL D, IEC 61508 до SIL 4 и IEC 62304 до класса C.