Недавно появилась статья "Hackathon 2: Time lapse analysis of Unreal Engine 4", в которой рассказывается, как взяв инструмент Klocwork, можно найти множество ошибок в проекте Unreal Engine 4. Я...
Cfront это компилятор для С++, существующий примерно с 1983 года и разработанный Бьёрном Страуструпом. В то время он был известен как "C с классами". Cfront имел полноценный парсер, таблицы...
К нам достаточно давно обращались клиенты и потенциальные клиенты с просьбой реализовать диагностику для поиска неинициализированных членов класса. Мы долго сопротивлялись, осознавая...
В анализаторе PVS-Studio существует диагностика V595 "The pointer was utilized before it was verified against nullptr". Я получаю много вопросов от наших пользователей, которые касаются как раз...
Команда PVS-Studio хочет поделиться новостью и заранее подогреть интерес. Мы приступили к разработке анализатора для C#. С точки зрения пользователя это будет всё тот же старый добрый PVS-Studio...
Одной из основных сложностей при использовании инструментов статического анализа является работа с ложными срабатываниями. Существует множество способов устранить ложные срабатывания...
Наша команда проверяет большое количество открытых проектов, чтобы продемонстрировать возможности анализатора PVS-Studio в нахождении ошибок. После наших статей нередко звучит вопрос "Как...
Время от времени нам приходят письма приблизительно следующего содержания: "после установки анализатора, я нашел файл PVS-Studio.exe, запускаю его и у меня ничего не работает". Поскольку эти...
Мы приняли участие в международном форуме по практической безопасности Positive Hack Days 2015. Андрей Карпов выступил с докладом "200 open source проектов спустя: опыт статического анализа...
Одна из особенностей работы его команды — анализ большого количества различных программных проектов. Рассказывать о закрытых коммерческих проектах часто запрещает NDA, а вот об open source можно и нужно говорить. Какие ошибки допускают в open-source-проектах? Какой код…