PVS-Studio: поиск ошибок в С/С++, С# и Java – Telegram
PVS-Studio: поиск ошибок в С/С++, С# и Java
1.66K subscribers
1.45K photos
62 videos
2 files
1.43K links
Статический анализатор на страже качества, защищённости (SAST) и безопасности кода.

Сайт: https://pvs-studio.ru/ru/
Download Telegram
Недавно у нас прошел интересный вебинар со специальным гостем — Дмитрием Свиридкиным. Дмитрий — автор книги "Путеводитель C++ программиста по неопределённому поведению".

На вебинаре мы обсудили грани, отделяющие корректный C++ код от некорректного, попросили рассказать историю написания книги, поговорили о развитии языка и его будущем.

Для тех, кто пропустил, прикладываем запись. Приятного просмотра! 😉

#вебинар #cpp
Please open Telegram to view this post
VIEW IN TELEGRAM
🔥4👍2
Проверяя код проекта TDengine с помощью PVS-Studio, можно встретить канонические ошибки и опечатки. Многих из них можно избежать, если изначально аккуратно оформлять код, делать логику простой и избегать макросов.

Давайте посмотрим на эти ошибки и подумаем, как можно повести рефакторинг кода так, чтобы им просто не было там места.

Переходите по ссылке 🔗

#статья #cpp
Please open Telegram to view this post
VIEW IN TELEGRAM
👍4
PVS-Studio: поиск ошибок в С/С++, С# и Java
#Задача_PVS #programming #java
Ответ на задачу: условие byteAm < 0 — всегда ложь. Чтобы разобраться, давайте поднимемся по коду выше. Если выполнение теста дойдёт до операции byteAm -= headerLen, то это означает, что будет byteAm >= headerLen. Отсюда следует, что после выполнения вычитания значение byteAm никогда не будет отрицательным. Что и требовалось доказать.
Please open Telegram to view this post
VIEW IN TELEGRAM
Не только люди умеют писать код. Иногда и сами программы с этим неплохо справляются.

Для этого даже был придуман специальный термин: метапрограммирование. О нём мы вам и расскажем!

#термин
👍2
Media is too big
VIEW IN TELEGRAM
Парни, пора активно готовиться к 8 марта🌷

В новом видео спросили девушек из мира IT, что бы они хотели получить в качестве подарка.

А чтобы получить книгу, переходи по этой ссылке 🔗

#праздник #cpp #PVS_Studio
Please open Telegram to view this post
VIEW IN TELEGRAM
12❤‍🔥51
Давайте натрём наши болиды до блеска и посмотрим, как они входят в повороты компиляторных оптимизаций на примере использования std::array. Смогут ли они не только не уступить, но и обогнать встроенный массив?

Переходите по ссылке 🔗

#статья #cpp
Please open Telegram to view this post
VIEW IN TELEGRAM
5😁2
⚡️Напоминалка!

Скоро состоится наш вебинар на тему: "SAST как Quality Gate".

Использование SAST в качестве Quality Gate — это не просто тренд, а необходимость для современных разработчиков, стремящихся создавать надежные и безопасные приложения. Узнайте, как внедрение этих практик может значительно повысить уровень вашего проекта.

🗓13 марта в 14:00

Регистрация доступна по ссылке. Ждем каждого!

#вебинар #sast
Please open Telegram to view this post
VIEW IN TELEGRAM
3
Писать одно и то же — невероятно муторное занятие! Поэтому программисты регулярно используют copy-paste, но, помимо экономии времени, также растет и количество ошибок. Чтобы в этом убедиться, мы разберём ошибки и странные места проекта Radarr.

Переходите по ссылке 🔗

#статья #csharp
Please open Telegram to view this post
VIEW IN TELEGRAM
🔥41
8 марта - Международный женский день

Дорогие дамы, девушки, айтишницы, мы спешим поздравить вас с этим замечательным днем! Знаем, что вас не так много в нашем сообществе, однако помните, мы вас ценим ❤️

Мужчины, давайте поддержим милых дам из мира IT реакцией на этот пост или пожеланием в комментариях!

#праздник
❤‍🔥12
Друзья, делимся с вами записью доклада с прошедшего митапа от iSpring.

Мы поговорили про поиск ошибок, о технологиях статического анализа и SAST-инструментах. И, конечно же, разобрали на реальных примерах ошибки и уязвимости, которые могут найти анализаторы. Но это еще не все... Больше полезного в видео!

#PVS_Studio #видео
❤‍🔥61🆒1
Друзья, хотим напомнить о лицензиях PVS-Studio. Они разные, поэтому давайте разберемся поподробнее, какие возможности они дают.

Больше информации вы можете найти по ссылке 🔗
👍3
Друзья, совсем скоро стартует C++ Russia 2025. Первый день 13 марта будет в онлайне, а 20–21 марта будем ждать в Москве на нашем стенде!

Как всегда на нашем стенде вас будут ждать разговоры о важном (о статическом анализе и не только), наша фирменная настольная игра "BUG", задачки, чтобы посоревноваться с анализатором и много другое 😃

О чем поговорим:

Юрий Минаев расскажет о семантике C++ с точки зрения статического анализатора или фронтенда компилятора. Рассмотрим, как устроена таблица символов и как происходит поиск имен, а также как семантика влияет на парсинг. Подробнее по ссылке🔗

А пока мы готовимся к конференции, посмотрите наши доклады прошлых лет:

1. "Как не стать драконом" — Юрий Минаев, Олег Лысый
2. "Прокачиваем LLDB, или LLDB formatters" — Олег Лысый

До встречи! 😉
#мероприятия #cpp
👍3
🎉12 марта — День компьютерного глюка

Как часто программисты сталкиваются с "глюками" и "багами". В честь этого и был учреждён этот шуточный праздник.

Кстати, у нас есть целая серия публикаций, посвящённых разным интересным багам:

1. Баги, которые наделали немало шума
2. От ВАЛЛ-И до Терминатора: баги, принципы работы и фантазии разработчиков
3. Не исправил, а проработал принятие: как некоторые баги в играх стали фичами

#праздник
👍2
Нововведения Java 24 🚀

Уже скоро, 18 марта, выйдет новая версия Java. Поэтому предлагаем посмотреть, какие в ней будут новшества, включая финализацию давно ожидаемых Stream Gatherers!

#java #статья
👍2
Внимание, напоминалка!

Уже завтра в 14:00 состоится наш вебинар на тему "SAST как Quality Gate". У вас еще есть возможность зарегистрироваться. Переходите по ссылке 🔗

#вебинар
🔥3