PVS-Studio: поиск ошибок в коде

#mem_PVS

Gradle — один из главных инструментов в мире Java-разработки, но насколько хорошо вы действительно с ним знакомы? 😏

Мы подготовили 10 вопросов по современному Gradle: зависимости, плагины, задачи, конфигурация, сборка и другие возможности инструмента. Здесь не нужно разбирать фрагменты кода — проверим именно ваше понимание того, как работает Gradle и как его используют в реальных проектах.

Переходите по ссылке и проходите квиз! В конце вас будет ждать подарок! Удачи!

#java #gradle #квиз

Продолжаем угадывать языки программирования! О каком идет речь ниже? 👇🏻

Мужчина лет 25-28, элегантный, в идеально сидящем пиджаке и очках, которые ему не нужны, но добавляют солидности. Заботливый отличник, который сам когда-то был хаотичным, но взял себя в руки, не растеряв обаяния. Обожает планировать всё заранее и проверять — а вдруг здесь ошибка? — чтобы потом не чинить последствия в три часа ночи, как его более беспечный родственник. Не зануда: иногда позволяет себе расслабиться, а потом немного стыдится этого. Терпеливо объясняет на каждой вечеринке, что не заменяет собой того, кто рядом, а просто работает с ним в паре.

Как шаг за шагом организовать процесс внедрения статического анализа по ГОСТ Р 71207—2024: рассказываем простыми словами с отсылками на соответствующие пункты стандарта.

Новая статья будет полезна компаниям, планирующим внедрять разработку безопасного ПО (РБПО) или проходить сертификацию по методике ВУ и НДВ ФСТЭК России.

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

#PVS_Studio #статья #ГОСТ #РБПО

Уже завтра встречаемся на вебинаре "Можно ли быть тимлидом, но не быть экспертом? Или тренеры не играют"! Начинаем в 14:00 ⏰

Конкурс с пасхалками продолжается 🔥

Если вы вдруг пропустили эту новость, то рассказываем 👇🏻

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

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

Охота завершится 31 октября!

Подробные условия и как забрать приз — здесь 👈🏻

#PVS_Studio #книги #cpp

Стек мы расширили, время расширять и рубрику "Найди ошибку в коде"!

Получится найти ошибку в этом фрагменте кода на Go? Ошибка, кстати, из проекта Gitea. А еще больше интересных ошибок на Go можно найти тут 🔗

#go #ошибка

"Лаборатория Касперского" использует PVS-Studio в разработке операционной системы KasperskyOS с 2016 года. За это время некоторые обращения разработчиков в нашу поддержку превратились в новые функции анализатора, доступные теперь всем пользователям PVS-Studio.

Разбираем пять таких случаев и показываем, как обратная связь корпоративного клиента влияет на развитие продукта. Подробности по ссылке 🔗

#PVS_Studio #кейс

Проверили файловый менеджер Files. Еще больше ошибок по ссылке 🔗

#csharp #ошибка

Статический анализатор — это полезный инструмент, и Go разработчики знают это не понаслышке благодаря go vet. Но что, если его возможностей не хватает? Искать новый инструмент? Или сделать… свой?!

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

Встречаемся 28 сентября в 15:00 🗓

Регистрация по ссылке 🔗

#вебинар #go

#mem_PVS

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

На вебинаре рассмотрели реальные фрагменты кода из открытых проектов на языке C++, нашли в них проблемные места с помощью статического анализа, и разобрали более 10 идиом и паттернов, которые позволят защитить ваш код.

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

Приятного просмотра! Ждём ваши комментарии!

#вебинар #cpp #идиома

Нашли ошибку в коде игры "The Battle for Wesnoth". А вы сможете ее отыскать?

#cpp #ошибка

Вышел PVS-Studio 8.0! Мы добавили поддержку анализа Go проектов и многое другое. В новой статье мы разберем интересные диагностические правила для Go, которые мы подготовили с выходом новой версии нашего анализатора.

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

#go #статья

Друзья, мы участвуем в форуме "Безопасность транспортных средств". И приглашаем вас!

На форуме будет обсуждаться функциональная безопасность, интеллектуальные транспортные системы, автоматизация, автономное управление и электронные системы автомобилей и железнодорожного транспорта.

Андрей Карпов, сооснователь PVS-Studio, расскажет о применении статического анализа в задачах функциональной безопасности — "Анализатор PVS-Studio как средство достижения целей верификации ГОСТ Р ИСО 26262-6". А также там будет работать наш стенд, где мы подробнее расскажем об анализаторе и его возможностях 😉

 🗓23 сентября

📍 Павильон «Умный город» на ВДНХ. Проспект Мира, 119, стр. 461

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

#мероприятия #PVS_Studio

Всем привет. Я уже делал цикл из 5 вебинаров про ГОСТ Р 71207—2024 (Статический анализ программного обеспечения): Общее описание и актуальность, Терминология, Критические ошибки, Технологии анализа кода, Процессы.
 
С тех времён я переосмыслил некоторые моменты. Прошли испытания статических анализаторов. Вышел ГОСТ Р 56939—2024 и так далее.
 
Поэтому меня посетила мысль вновь сделать обзор стандарта, но немного в другом формате: брать разные фрагменты из него и комментировать/обсуждать. Образно говоря, читать и разбирать ГОСТ вслух с интонацией, комментариями и отсылками :)
 
Это можно сделать по-разному:
 
1. Просто сесть и сделать записи. Потом это можно будет слушать как мини аудио-книгу/подкаст.
 
2. Сделать стрим, где попутно будут задаваться вопросы по разбираемому месту.
 
Второй вариант подразумевает, что это будет интересно аудитории и люди соберутся, иначе теряется смысл и проще пойти по первому пути. Решил сделать предварительный опрос.

Должен ли тимлид быть лучшим разработчиком в команде? 🤔

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

Инна Пристягина (руководитель развития персонала в PVS-Studio) расскажет о Практиках хорошего тимлида, но плохого тех.эксперта. Разберёт, почему неумение лично выполнять задачи команды — не слабость руководителя, а вполне осознанная и эффективная модель работы.

Александра Бутузова (TeamLead кросс-функциональной команды в F.Doc) разберёт, как Решать проблемы как тимлид. Ведь лидеру регулярно приходится сталкиваться с задачами и ситуациями, в которых он не является экспертом. Как действовать в таких случаях и в чём заключается истинная ценность работы руководителя — обсудим на вебинаре.

Встречаемся 25 сентября в 14:00 🗓

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

Всем зарегистрировавшимся мы обязательно пришлем запись!

#вебинар #тимлид

Java 27 вышла в релиз. В него вошли четыре узконаправленные правки и пять превью/инкубаторов. Разбираем изменения в сборщике мусора, улучшения JFR, постквантовый TLS 1.3 и компактные заголовки объектов, экономящие треть памяти.

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

#java #статья