Поговорим сегодня про стандарты 😉 Стандарты MISRA C и MISRA C++ созданы для повышения безопасности, надёжности и переносимости встраиваемых систем. Они помогают предотвращать распространённые дефекты безопасности и обеспечивать высокий уровень защиты для критически важных систем.
Однако следить за всеми правилами вручную тяжело и затратно. Стандарт MISRA делает акцент на использование средств автоматизированной проверки исходного кода, таких как статические анализаторы. И здесь на помощь приходит PVS-Studio.
Мы постоянно развиваем наш анализатор, и рады сообщить, что диагностические правила PVS-Studio обеспечивают покрытие MISRA C 2023 на уровне 86%.
Анализатор уже ориентирован на версии стандартов MISRA C 2012 и MISRA C 2008, помогая эффективно выявлять и устранять риски. В дальнейшем планируется повысить покрытие стандарта MISRA C 2023.
Для максимального удобства PVS-Studio позволяет автоматически сгенерировать наглядный отчёт MISRA Compliance. Он показывает соответствие проекта стандарту MISRA с учётом всех отклонений и рекатегоризаций.
Подробнее про классификацию предупреждений согласно стандартам можно узнать по ссылке 🔗
