PVS-Studio соответствует требованиям ГОСТ Р 71207—2024 (статический анализ программного обеспечения)

Все блоги / Про интернет 21 декабря 2024 116

Инструментальное средство PVS-Studio разрабатывается с учётом требований, предъявляемых к статическим анализаторам в ГОСТ Р 71207–2024, выявляет критические ошибки и может использоваться при разработке безопасного программного обеспечения. Рассмотрим функциональные возможности, реализованные в PVS-Studio на конец 2024 года в отношении анализа исходного кода программного обеспечения, написанного на компилируемых языках программирования C, C++, C#, Java.

Читать дальше →

Источник: Хабрахабр

Оцените публикацию

предыдущая статья

следующая статья

Похожие публикации

ГОСТ Р 71207–2024 глазами разработчика статических анализаторов кода

1 апреля 2024 года введён в действие новый ГОСТ "Статический анализ программного обеспечения". Если в ГОСТ Р 56939–2016 говорится о необходимости использования статического анализа при разработке безопасного программного обеспечения (РБПО), то ГОСТ Р 71207–2024 уточняет, что именно это означает. В

подробнее »

17 сентября 2024

CppCat — тульский анализатор кода C++ с большими амбициями

Сегодня мы разговаривали с Евгением Рыжковым, генеральным директором компании «Системы программной верификации», которая занимается разработкой программного обеспечения в области тестирования программ и систем статического анализа исходного кода. У них есть два продукта — PVS-Studio и свежий

подробнее »

4 февраля 2014

Редакция Spark.ru: Как составить семантическое ядро сайта

Сбор семантического ядра — один из базовых этапов продвижения проекта. Чтобы улучшить видимость ресурса, нужно проанализировать поисковые запросы определенной тематики и отобрать оптимальные ключевые слова. Правильно составленное семантическое ядро дает возможность лучше понять потенциального

подробнее »

19 марта 2021

Почему Java-конференции мирового уровня проводятся именно в России

7-8 апреля в Москве пройдёт Java-конференция JPoint. Она уже пятый год собирает множество специалистов — а также наглядно показывает своим примером, что российским Java-разработчикам повезло с докладчиками. 7-8 апреля в Москве пройдёт Java-конференция JPoint, которую мы (JUG.ru) проводим с 2013-го

подробнее »

23 марта 2017

Как PVS-Studio ищет ошибки: методики и технологии

PVS-Studio — статический анализатор исходного кода для поиска ошибок и уязвимостей в программах на языке C, C++ и C#. В этой статье я хочу дать обзор технологий, которые мы используем в анализаторе PVS-Studio для выявления ошибок в коде программ. Помимо общей теоретической информации я буду на

подробнее »

12 января 2017

Hack — язык программирования нового поколения от Facebook

Инженеры Facebook Брайан О’Салливан, Жильен Верлаге и Алок Менгражани потратили несколько лет на разработку языка программирования, который был бы не похож на все остальные. С помощью других специалистов соцсети им удалось разработать новое средство для быстрого создания сложных сайтов и

подробнее »

23 марта 2014