PVS-Studio: поиск ошибок в коде
1.85K subscribers
1.66K photos
89 videos
2 files
1.65K links
Статический анализатор на страже качества, защищённости (SAST) и безопасности кода.

Наш стек: C, C++, C#, Java, JS, TS, Go

Сайт: https://pvs-studio.ru/

E-Mail: support@viva64.com
Телефон: +7(903)844-02-22

Для бизнеса: https://xn--r1a.website/pvsstudio_business
Download Telegram
Уже завтра мы начинаем серию вебинаров, посвящённую генеративному ИИ в сфере индустрии разработки программного обеспечения и связанным с этим вызовам ⚡️

📌Программа первого вебинара "Что скрывает код: от поверхности атаки до производительности":

1️⃣ Андрей Карпов, сооснователь и директор по развитию бизнеса ООО "ПВС", выступит с докладом "Не всё золото, что блестит: на примере эффективности сгенерированного С++ кода".

Рассмотрим на практических примерах проблему, что создание кода с помощью ИИ не отменяет задач контроля полученного результата: обзора кода, статического анализа, нагрузочного тестирования и так далее.

2️⃣ Алексей Орехов, генеральный директор "Группа NN2", выступит с докладом "Уверенность без проверки: три слоя угроз безопасности генеративного ИИ в разработке".

Бездумное доверие к ИИ-коду создаёт угрозы, которые не ловит привычное ревью. Разбираем три слоя рисков: уязвимый код, скрытые бэкдоры в коде и моделях, и утечку ресурсов сервера.


🗓 24 июня в 15:00

Ссылка на регистрацию 🔗

#вебинар #ai
Please open Telegram to view this post
VIEW IN TELEGRAM
2
НЕкурс про создание собственного языка программирования: вдохновляемся неожиданными открытиями, чтобы сделать свои

В новой заметке мы разберём, что такое экспертиза и в чём её суть. Она бывает разной глубины, сферы и предназначения. Экспертиза не может существовать без теоретических знаний, опыта и, конечно же, не рождается там, где нет трудностей и ошибок. У каждого человека она уникальна.

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

#статья #экспертиза
Please open Telegram to view this post
VIEW IN TELEGRAM
2
Время немного размяться! Угадайте, что за термин 👇🏻

#термин
Кстати о парсере. В рамках курса "Давайте создадим язык программирования" мы вспоминаем грамматику, а также разбираем метод рекурсивного спуска. И в итоге пишем свой парсер!

Но это лишь малая часть того, что мы делаем на этом курсе 😏

На курсе вы разберетесь, что такое язык и как формально описать его так, чтобы машина могла его понимать. Шаг за шагом вы реализуете лексер, вспомните основы грамматики и метод рекурсивного спуска, добавите в язык переменные и функции, научитесь вызывать их и корректно определять тип возвращаемого значения. Финальной частью станет написание собственного эвалюатора.

Подробности и регистрация по ссылке 🔗

#курс
Please open Telegram to view this post
VIEW IN TELEGRAM
5
Media is too big
VIEW IN TELEGRAM
Сможете найти ошибку? Пишите ответ в комментарии!

Еще больше интересных ошибок из проекта по ссылке 🔗

#csharp #видео #ошибка
Please open Telegram to view this post
VIEW IN TELEGRAM
31
Media is too big
VIEW IN TELEGRAM
Пропустили новости о наших последних обновлениях? Не беда! Мы сняли целое видео, в котором рассказываем о важных новостях ❤️

Посмотреть можно тут:
- Наш сайт
- VK Video
- Rutube
- YouTube

#PVS_Studio #релиз
Please open Telegram to view this post
VIEW IN TELEGRAM
32
Пока фронтенд-инженеры продолжают пересобирать свои проекты на новых сборщиках, JavaScript как язык становится всё более зрелым, быстрым и безопасным. Мы собрали самые интересные новости из мира JS и TS за последние месяцы, мимо которых нельзя пройти.

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

#статья #js #ts
Please open Telegram to view this post
VIEW IN TELEGRAM
4
Media is too big
VIEW IN TELEGRAM
А мы напоминаем, что наша команда подготовила документ с подробными шагами по внедрению статического анализатора в вашу компанию. Получить его можно по ссылке 🔗

#PVS_Studio #алгоритм
Please open Telegram to view this post
VIEW IN TELEGRAM
51
Делимся записью первого вебинара из цикла "Качество и безопасность ПО в эпоху GenAI" 🔥

Тема: "Что скрывает код: от поверхности атаки до производительности"

Поговорили про создание кода с помощью ИИ, почему это не отменяет задач контроля полученного результата, как доверие к ИИ-коду создает угрозы.

Посмотреть можно тут:

- VK Video
- Rutube
- YouTube
- Наш сайт

Скоро расскажем о следующем вебинаре из серии 😉 Следите за анонсами!

#вебинар #ai
3
Проверяли инструмент CMake и обнаружили в этом фрагменте кода ошибку. Сможете ее отыскать?

#cpp #ошибка
Как не пропустить опасные участки кода при ревью? Можно воспользоваться инструментами статического анализа. Возьмём для примера OrcaSlicer — популярную программу, которая подготавливает 3D-модель к печати.

Заглянем внутрь и посмотрим, какие сюрпризы нас ждут.


#статья #cpp
2
Перед вами ошибка из проекта Vib-OS (World's First Vibecoded AI Operating System). На самом деле проект маленький, но покопаться в исходном коде все равно было весьма интересно. Пояснение этой ошибки и других можно посмотреть по ссылке 🔗

Если у вас есть на примете открытый код vibe-проекта, то пишите в комментариях. А мы будем смотреть, что там интересного 😏

#ai #vibecoding
31
Проверили исходный код трейдерского движка Lean и нашли ошибку. Еще больше ошибок тут 🔗

#csharp #ошибка
Media is too big
VIEW IN TELEGRAM
Попробуйте найти ошибку в этом фрагменте!

Почитать про разработку нового анализатора PVS-Studio JavaScript можно по ссылке 🔗

#js #ошибка
4
Продолжение книги "Game++": Часть 1.4: Архитектуры игровых движков" 🔥

В этой части Сергей Кушниренко разбирает архитектурные решения, которые определили развитие игровой индустрии. Почему микроядерный подход сделал CryEngine революционным? Чем data-driven архитектура Dagor отличается от классических решений? За счёт чего монолитный X-Ray подарил миру атмосферу S.T.A.L.K.E.R., но столкнулся с техническими ограничениями? И как идеи микросервисов нашли отражение в Godot?

Подробности здесь

Первая часть тут 👈🏻
А вторая тут 👈🏻
Третью ищи здесь 👈🏻

#gamedev #cpp #статья
4
Автор языка программирования C++ Бьёрн Страуструп заявил, что современные ИИ-инструменты пока не способны качественно писать сложный системный код и проектировать языки программирования. Подробнее почитать про это можно по этой ссылке 🔗

Своим мнением по поводу активного распространения AI-кодинга также поделились разработчики статического анализатора кода PVS-Studio.

Эпоха AI настала, и это, безусловно, многим из нас упростило работу и жизнь. Однако и за таким прогрессом скрываются подводные камни. Не забывайте проверять свои проекты с помощью статического анализатора. По промокоду 30 дней бесплатно 😉

#ai #PVS_Studio
3
Вебинар "Практическая интеграция PVS-Studio и SourceCraft"

На совместном вебинаре PVS-Studio и SourceCraft от Яндекса мы покажем, как современные инструменты статического анализа и совместной работы с кодом помогают повысить качество, надежность и безопасность программных продуктов.

Вы увидите, как PVS-Studio выявляет потенциальные ошибки, дефекты и уязвимости в исходном коде, а также познакомитесь с возможностями платформы SourceCraft, которая позволяет удобно работать с результатами анализа в едином интерфейсе. На вебинаре вы узнаете, как получать результаты анализа PVS-Studio в SourceCraft без дополнительных ручных операций, выполнять триаж, классифицировать и отслеживать статус найденных проблем.

📆 15 июля 15:00

Подробности и регистрация по ссылке
3