Мы провели эксперимент по проверке библиотеки glibc с помощью PVS-Studio. Цель эксперимента посмотреть, насколько успешно анализатор может проверять Linux-проекты. Пока плохо может...
О продвижении сайтов, веб-сервисов и мобильных приложений написано довольно много статей. Настолько много, что может показаться, что "обычных" приложений уже больше никто и не делает. А значит...
Сейчас мы заняты большой задачей. Мы хотим провести сравнение анализаторов кода: Cppcheck, PVS-Studio и Visual Studio 2013 (встроенный анализатор кода). Для этого мы решили проверить не...
Подобная статья уже публиковалась на нашем сайте. Однако, количество проектов увеличивается, и, думаю, будет рационально раз в год обновлять список. Этим и...
Прочитал заметку о проверке маленького проекта LibRaw с помощью Coverity SCAN. Из статьи следует, что ничего интересного не нашлось. Решил попробовать, сможет ли найти что-то анализатор...
Сегодня мы разговаривали с Евгением Рыжковым, генеральным директором компании "Системы программной верификации", которая занимается разработкой программного обеспечения в области...
В сети время от времени появляются статьи, посвященные статическому анализатору кода PVS-Studio (также рассматриваются и иные анализаторы), в которых то и дело делаются проверки того или...
Совсем недавно был презентован новый инструмент статического анализа С++ кода — CppCat. О предыдущем своём проекте (PVS-Studio) его авторы долго и подробно рассказывали ранее. Отношение к нему у...
Source SDK - набор утилит для создания модификаций на движке Source, разработанный корпорацией Valve. Исходные коды проекта были скачаны и проверены ещё в конце 2013 года. На новогодних праздниках...
Вас приветствуют разработчики статического анализатора кода PVS-Studio. Мы разработали новый программный продукт - CppCat. Разработан он так. Мы представили, что у нас нет PVS-Studio, но есть опыт...