Мы используем куки, чтобы пользоваться сайтом было удобно.
Хорошо
to the top
close form

Заполните форму в два простых шага ниже:

Ваши контактные данные:

Шаг 1
Поздравляем! У вас есть промокод!

Тип желаемой лицензии:

Шаг 2
Team license
Enterprise license
** Нажимая на кнопку, вы даете согласие на обработку
своих персональных данных. См. Политику конфиденциальности
close form
Запросите информацию о ценах
Новая лицензия
Продление лицензии
--Выберите валюту--
USD
EUR
RUB
* Нажимая на кнопку, вы даете согласие на обработку
своих персональных данных. См. Политику конфиденциальности

close form
Бесплатная лицензия PVS‑Studio для специалистов Microsoft MVP
* Нажимая на кнопку, вы даете согласие на обработку
своих персональных данных. См. Политику конфиденциальности

close form
Для получения лицензии для вашего открытого
проекта заполните, пожалуйста, эту форму
* Нажимая на кнопку, вы даете согласие на обработку
своих персональных данных. См. Политику конфиденциальности

close form
Мне интересно попробовать плагин на:
* Нажимая на кнопку, вы даете согласие на обработку
своих персональных данных. См. Политику конфиденциальности

close form
check circle
Ваше сообщение отправлено.

Мы ответим вам на


Если вы так и не получили ответ, пожалуйста, проверьте, отфильтровано ли письмо в одну из следующих стандартных папок:

  • Промоакции
  • Оповещения
  • Спам

Публикации: видео

26 Авг 2024
Семантика для кремниевых мозгов | Юрий Минаев, PVS-Studio
Юрий Минаев
Это Юрий Минаев, архитектор C++-анализатора PVS-Studio, и его доклад на C++ Zero Cost Conf 2024. Юрий рассмотрел семантику языка с точки зрения статического анализатора или фронтенда компилятора.
...
22 Авг 2024
ГОСТ Р 71207–2024 — Статический анализ программного обеспечения. Технологии анализа кода
Андрей Карпов
Четвёртый из пяти вебинаров, посвящённых введённому в 2024 году стандарту по методологии статического анализа кода. Чтобы обеспечить поиск критических ошибок на высоком уровне, стандарт описывает методы анализа, которые должны быть реализованы в статических анализатора…
...
Подписаться на рассылку
Хотите раз в месяц получать от нас подборку вышедших в этот период самых интересных статей и новостей? Подписывайтесь!
* Нажимая на кнопку, вы даете согласие на обработку своих персональных данных. См. Политику конфиденциальности
21 Авг 2024
Как узнать, что код "с душком"? Пригласили специалиста
Филипп Хандельянц
Как приговаривал один умудренный опытом тимлид: "Семь раз проверь, один раз залей". Зачем надевать на разработчика ошейник и бить его по щекам? Сколько человек нужно, чтобы определиться, как правильно писать код? Что не нравится Леониду? Как можно скрутить "пробег" у п…
...
15 Авг 2024
Разрушители мифов: С++ уже не торт
Филипп Хандельянц
Язык программирования С++ существует уже больше 40 лет. За это время появилась целая куча мифов и небылиц о нём. Мы будем вместе опровергать или подтверждать их. Действительно ли С++ непрост для новичков? С++ устарел и больше никому не нужен? Эти и другие вопросы обсуд…
...
09 Авг 2024
ГОСТ Р 71207–2024 — Статический анализ программного обеспечения. Критические ошибки
Андрей Карпов
Третий вебинар, посвящённый рассмотрению ГОСТ Р 71207‐2024. В этот раз мы на примерах разберём те критические ошибки, которые должны выявляться статическими анализаторами кода. Критические ошибки — это дефекты в коде, которые анализаторы должны обнаруживать в первую оч…
...
31 Июл 2024
ГОСТ Р 71207–2024 - Статический анализ программного обеспечения. Терминология
Андрей Карпов
Это второй вебинар, посвящённый ГОСТ Р 71207. Прежде чем более подробно говорить про статический анализ кода, стоит начать с рассмотрения основных терминов, описанных в стандарте. ГОСТ даёт очень краткие определения терминов. Это описание может тяжело восприниматься не…
...
18 Июл 2024
Ошибки в коде: ожидания и реальность
Андрей Карпов
Используя статический анализатор кода, пользователь может находить в коде вовсе не те ошибки, которые ожидал. Это не хорошо и не плохо, а интересная тема для обсуждения. Почему синтетические тесты врут и почему их сложно составлять. Ложные ожидания при разработке и исп…
...
15 Июл 2024
ГОСТ Р 71207–2024. Статический анализ программного обеспечения. Общее описание и актуальность
Андрей Карпов
Первый из пяти вебинаров, посвящённых введённому в апреле этого года стандарту по методологии статического анализа кода. ГОСТ Р 71207 описывает термины, порядок внедрения и выполнения статического анализа, классификацию ошибок, требования к инструментам статического ан…
...
27 Июн 2024
Использование статического анализатора в разработке безопасного программного обеспечения (ГОСТ Р 71207-2024) на примере PVS-Studio
Андрей Карпов
При разработке безопасного программного обеспечения должны использоваться статические анализаторы кода. Однако оставались открытыми некоторые вопросы: какими свойствами необходимо обладать инструментам анализа, какие ошибки обязаны выявлять и как в целом должны выполня…
...
20 Июн 2024
C++ линтеры — хорошо, но недостаточно
Евгений Фёклин
Непосвященным разработчикам кажется, что многие ошибки можно находить чуть ли не регулярными выражениями. Да, но нет. На заре появления линтеров так и было. Современные статические анализаторы кода — это куда более сложные и интересные системы. Давайте разберёмся, как …
...
Показать еще Pagination arrow previous
Показано: - из 170