Основная задача статических анализаторов — поиск ошибок, пропущенных разработчиками. Недавно команда PVS-Studio снова нашла интересный пример, доказывающий силу статического анализа. Вы должны быть очень внимательны при работе с инструментами статического анализа. Часто код, вызвавший срабатывание анализатора, кажется правильным. Таким образом, у вас возникает соблазн пометить предупреждение как ложное срабатывание. На днях мы попали в такую ​​ловушку. Вот как это оказалось...

7 октября 2019 года Apple выпустила новую версию своей операционной системы Mac — macOS Catalina. Версия 10.15 содержит множество изменений и улучшений. Одним из важных является полный отказ от 32-битных приложений. Как разработчик таких приложений для macOS, что вы можете сделать? Правильно, портируйте приложение на 64-битную платформу. Будет ли приложение работать корректно с первой попытки? Возможно, это возможно. Зависит от сложности и количества кода. Но, скорее всего,..

Предлагаю вашему вниманию прототип статьи Бесплатная PVS-Studio для всех, кто разрабатывает проекты с открытым исходным кодом на GitHub . Хотелось бы, чтобы вы подошли к этой теме осмысленно, высказали конструктивную критику и положительные предложения. Хотелось бы узнать, насколько предложенный нами вариант разумен и удобен. Что можно улучшить? Какие дополнительные ограничения можно добавить? Кто из вас воспользовался/не воспользовался и почему? Еще раз подчеркиваю, что статья является..

Десять лет назад мы создали простую утилиту под названием Viva64, предназначенную для обнаружения проблем в 64-битном коде. Так появился статический анализатор кода PVS-Studio. Хотя прошло 10 лет, мы как компания начали делать что-то более-менее достойное всего несколько лет назад. Эта статья не является «историей успеха», потому что мы думаем, что самые интересные события еще впереди. Однако 10 лет - отличный повод оценить некоторые результаты нашей работы и рассказать нашим читателям,..

Не ждите от этой статьи ничего эпического. Мы проверили исходный код проекта Биткойн с помощью PVS-Studio и обнаружили всего пару подозрительных фрагментов. И это неудивительно: я думаю, мало кто из программистов еще не проверил это. Но так как мы тоже сделали свою проверку, то нужно написать об этом небольшой пост, так сказать для проформы. Все началось с того, что мы решили провести сравнение PVS-Studio и Clang на основе коллекции проектов с открытым исходным кодом. Это большая и..