Сегодня мы разговаривали с Евгением Рыжковым, генеральным директором компании "Системы программной верификации", которая занимается разработкой программного обеспечения в области...
В сети время от времени появляются статьи, посвященные статическому анализатору кода PVS-Studio (также рассматриваются и иные анализаторы), в которых то и дело делаются проверки того или...
Совсем недавно был презентован новый инструмент статического анализа С++ кода — CppCat. О предыдущем своём проекте (PVS-Studio) его авторы долго и подробно рассказывали ранее. Отношение к нему у...
Source SDK - набор утилит для создания модификаций на движке Source, разработанный корпорацией Valve. Исходные коды проекта были скачаны и проверены ещё в конце 2013 года. На новогодних праздниках...
Вас приветствуют разработчики статического анализатора кода PVS-Studio. Мы разработали новый программный продукт - CppCat. Разработан он так. Мы представили, что у нас нет PVS-Studio, но есть опыт...
Запись вебинара, организованного компанией Embarcadero. Эксперт в области C++, Андрей Карпов рассказывает об интересных и забавных, а также эффективных приёмах программирования.
Когда мы пишем статьи про проверки каких-либо проектов с помощью PVS-Studio, то, как правило, у нас прибавляется клиентов. Тут все честно. Программисты не любят рекламу, но охотно отзываются...
Год заканчивается, а я давно не писал заметок о проверке открытых проектов. Мне уже неоднократно предлагали проверить проект PostgreSQL Database Management System. Этим я и занялся. К...
Написал правильную статью про проверку проекта Geant4. Напомню предысторию. Недавно была проверена старая версия библиотеки Geant4 и написана статья "Copy-Paste и мюоны". Почему была проверена...