Взгляните на ГОСТ Р 71207—2024 о статическом анализе кода глазами разработчика 🔉 ФСТЭК России и ИСП РАН разработали новый стандарт, регулирующий внедрение и использование статического анализа. С 1 апреля 2024 года он введен в действие.
🔥 Все мы знаем, как тяжело читать технические документы. Да, и обобщенные описания мало кому интересны, хочется увидеть, как все это будет выглядеть на практике. Вам не придется погружаться в технические формулировки: на примере работы с кодом команда разработчиков статического анализатора PVS-Studio показала ГОСТ Р 71207—2024 в действии.
👍В мини-книге сооснователя компании Андрея Карпова вы узнаете, как выглядит новый стандарт глазами разработчика статического анализатора, а еще: ⏺️какие ошибки в коде считаются критическими с точки зрения РБПО; ⏺️какие технологии анализа существуют и какие ошибки они позволяют выявлять; ⏺️что скрывается за такими понятиями, как межпроцедурный и межмодульный контекстно-чувствительный анализ потока данных; ⏺️требования, предъявляемые к инструментальным средствам статического анализа согласно ГОСТ Р 71207—2024; ⏺️совместимость PVS-Studio с требованиями стандарта.
Мини-книга пригодится тем, кто: ⏺️хочет посмотреть на ГОСТ глазами разработчика; ⏺️желает разобраться в работе статического анализатора; ⏺️интересуется, как анализатор выдает предупреждения и ищет критические ошибки; ⏺️задается вопросами выбора статического анализатора для построения в компании процесса РБПО по ГОСТ Р 56939-2024.
Получить мини-книгу от PVS-Studio можно по этой ссылке. Этот материал может помочь вам разобраться в новом стандарте. 👍
❤️ PVS-Studio — статический анализатор для C, C++, C# и Java кода. Инструмент помогает разработчикам улучшать качество, надежность и защищенность исходного кода программ. Об интересных кейсах программисты PVS-Studio рассказывают в своем блоге и на Habr
