Как стать автором
Обновить
  • по релевантности
  • по времени
  • по рейтингу

PVS-Studio: поддержка стандартов кодирования MISRA C и MISRA C++

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

Начиная с версии 6.27 статический анализатор кода PVS-Studio может классифицировать свои предупреждения согласно стандартам MISRA C и MISRA C++. Благодаря поддержке этих стандартов анализатор стало возможным эффективно использовать для улучшения безопасности, переносимости и надежности программ для встраиваемых систем.
Читать дальше →
Всего голосов 39: ↑39 и ↓0 +39
Просмотры 5.9K
Комментарии 41

Example of How New Diagnostics Appear in PVS-Studio

Блог компании PVS-Studio Информационная безопасность *Совершенный код *C++ *C *

PVS-Studio new C++ rule


Users sometimes ask how new diagnostics appear in the PVS-Studio static analyzer. We answer that we draw inspiration from a variety of sources: books, coding standards, our own mistakes, our users' emails, and others. Recently we came up with an interesting idea of a new diagnostic. Today we decided to tell the story of how it happened.

Read more →
Рейтинг 0
Просмотры 287
Комментарии 0

Пример, как в PVS-Studio появляются новые диагностики

Блог компании PVS-Studio Информационная безопасность *Совершенный код *C++ *C *

Новая Си++ диагностика для PVS-Studio


Пользователи иногда спрашивают, как появляются новые диагностики в статическом анализаторе PVS-Studio. Мы отвечаем, что черпаем вдохновение из разнообразнейших источников: книг, стандартов кодирования, собственных ошибок, писем наших пользователей и так далее. Сегодня мы придумали новую интересную диагностику и решили рассказать историю, как это произошло.

Читать дальше →
Всего голосов 32: ↑30 и ↓2 +28
Просмотры 3.1K
Комментарии 18

PVS-Studio 7.14: intermodular analysis in C++ and plugin for JetBrains CLion

Блог компании PVS-Studio

0854_Release_714/image2.png


The PVS-Studio team is increasing the number of diagnostics with each new release. Besides, we are improving the analyzer's infrastructure. This time we added the plugin for JetBrains CLion. Moreover, we introduced intermodular analysis of C++ projects and speeded up the C# analyzer core.

Read more →
Всего голосов 5: ↑5 и ↓0 +5
Просмотры 475
Комментарии 0

PVS-Studio 7.14: межмодульный анализ в С++ и плагин для JetBrains CLion

Блог компании PVS-Studio C++ *

0854_Release_714_ru/image2.png


Помимо увеличения количества диагностик с каждым новым релизом анализатор PVS-Studio развивается и в инфраструктурном плане. В данном случае это плагин для среды разработки JetBrains CLion, межмодульный анализ С++ проектов, ускорение работы ядра C# анализатора.

Читать дальше →
Всего голосов 18: ↑15 и ↓3 +12
Просмотры 1.4K
Комментарии 4

Why do you need the MISRA Compliance report and how to generate one in PVS-Studio?

Блог компании PVS-Studio Информационная безопасность *C++ *C *Программирование микроконтроллеров *

If you are strongly interested in MISRA and would like to understand whether your project meets one of the MISRA association's standards, there is a solution. It's name is MISRA Compliance. PVS-Studio has recently learned how to generate the MISRA Compliance report. This article describes how you can use this feature. This can make somebody's life better.

Read more
Рейтинг 0
Просмотры 330
Комментарии 3

Зачем нужен отчёт MISRA Compliance и как его получить в PVS-Studio?

Блог компании PVS-Studio Информационная безопасность *C++ *C *Программирование микроконтроллеров *

Если вы не понаслышке знаете о MISRA и хотели бы понимать, соответствует ли ваш проект какому-то из стандартов ассоциации MISRA, то есть решение. Имя ему - MISRA Compliance. С недавних пор PVS-Studio научился генерировать отчёт соответствия по этому стандарту, и хочется поделиться тем, как это делается. Возможно, кому-то это упростит жизнь.

Читать далее
Всего голосов 9: ↑6 и ↓3 +3
Просмотры 1.4K
Комментарии 2

MISRA C: борьба за качество и безопасность кода

Блог компании PVS-Studio C++ *IT-стандарты *C *Программирование микроконтроллеров *

Пару лет назад в статическом анализаторе кода PVS-Studio появился ряд диагностических правил для проверки соответствия текста программ стандарту MISRA C и MISRA C++. Увидев интерес и собрав feedback, команда разработчиков стала дальше развивать анализатор в этом направлении. В статье будет рассказано про стандарт MISRA C/C++, отчёт MISRA Compliance, про то, что мы уже успели сделать и что собираемся достичь до конца года.


0866_MISRA_C_ru/image1.png

Читать дальше →
Всего голосов 16: ↑14 и ↓2 +12
Просмотры 3.8K
Комментарии 4

MISRA C: struggle for code quality and security

Блог компании PVS-Studio C++ *IT-стандарты *C *Программирование микроконтроллеров *

A couple of years ago the PVS-Studio analyzer got its first diagnostic rules to check program code compliance with the MISRA C and MISRA C++ standards. We collected feedback and saw that our clients were interested in using the analyzer to check their projects for MISRA compliance. So, we decided to further develop the analyzer in this direction. The article covers the MISRA C/C++ standard and the MISRA Compliance report. It also shows what we already managed to do and what we plan to achieve by the end of the year.


0866_MISRA_C/image1.png

Read more →
Рейтинг 0
Просмотры 439
Комментарии 0

PVS-Studio 7.15: MISRA, CWE, OWASP, Unreal Engine

Блог компании PVS-Studio

PVS-Studio 7.15
We are actively developing the PVS-Studio static analysis tool towards detecting Safety and Security-related errors. To be more precise, we've expanded the coverage of the MISRA C:2012 and OWASP ASVS standards. We have supported the MISRA Compliance 2020 standard. One of the more extraordinary innovations is the Best Warnings display mode. This mode displays the most significant (meaningful) warnings and can be useful when you are just starting out with the analyzer.

Read more →
Рейтинг 0
Просмотры 216
Комментарии 0

PVS-Studio 7.15: развитие MISRA, CWE, OWASP, Unreal Engine

Блог компании PVS-Studio

PVS-Studio 7.15: развитие MISRA, CWE, OWASP, Unreal Engine
Инструмент PVS-Studio активно развивается в сторону выявления дефектов Safety и Security направленности. А именно: улучшается поддержка стандартов MISRA C:2012 и OWASP ASVS. Поддержан стандарт MISRA Compliance 2020. Из необычных нововведений можно назвать режим отображения лучших (наиболее интересных) срабатываний анализатора, который будет полезен для оценки инструмента при знакомстве с ним.

Читать дальше →
Всего голосов 2: ↑2 и ↓0 +2
Просмотры 885
Комментарии 0