Нас часто спрашивают, поддерживает ли анализатор PVS-Studio стандарт MISRA. Я решил написать короткую заметку, чтобы было удобно отвечать на письма, давая ссылку. Короткий ответ: на данный момент мы не поддерживаем стандарты MISRA C, MISRA C++ и пока не планируем их поддерживать. Объяснение нашей позиции изложено ниже.
В связи с началом поддержки в PVS-Studio различных компиляторов для встраиваемых платформ мы изменили свою позицию касательно MISRA. Начиная с версии 6.27 анализатор PVS-Studio поддерживает стандарты MISRA C и MISRA C++. Подробнее.
Мы никогда не ориентировались на поддержку стандарта MISRA C, MISRA C++ и других подобных стандартов. Мы ориентированы на поиск уже присутствующих в коде ошибок, а не на предотвращение потенциальных проблем ценой ограничения программистов.
Например, мы не заставляем разработчика обязательно писать break в swicth, не запрещаем использовать goto. Мы считаем малополезной рекомендацию не писать комментарии вида /* */, а использовать //. Мы не видим смысла предупреждать С программистов о том, что у них в программе используется адресная арифметика: p++;.
Подобные диагностики очень быстро "замусоривают" вывод анализатора, и вместо поиска настоящих ошибок человек начинает бороться с тысячами хоть и теоретически хороших, но ни на что не влияющих предложений по улучшению кода.
Мы избрали другой путь. Ни в одном стандарте не написано "не делайте опечатки". Однако они есть и с ними надо бороться. Наш анализатор, например, очень силён в этом. Чего стоит только одна диагностика V501. Подобные диагностики — это наше конкурентное преимущество.
Да, отчасти мы можем пересекаться с MISRA. Это значит, что некоторые вещи однозначно полезны и одновременно появляются в разных стандартах и анализаторах.
На данный момент мы не планируем поддерживать MISRA. Мы понимаем, что некоторым необходима поддержка этого стандарта. Но сейчас мы хотим максимально развивать анализатор в направлении уникальных диагностик и поиске опечаток. Я думаю, это нормально. Если нужно соблюдать стандарт MISRA, есть множество инструментов, позволяющих это делать.
Анализаторы, проверяющие соответствие кода стандарту MISRA:
Как видите, много кто умеет давать рекомендации по написанию более качественного кода.
Демонстрация возможностей анализатора PVS-Studio по выявлению ошибок в коде:
Update 2021. Как видите, статья устарела :). Реализовав в PVS-Studio множество диагностик общего назначения для поиска ошибок и потенциальных уязвимостей, наша команда занялась и поддержкой таких стандартов, как CWE, OWASP, SEI CERT. В том числе сейчас (2021 год) мы активно развиваем поддержку стандартов MISRA C, MISRA C++. Дополнительные ссылки: