Крупные проекты проверять интересно. Как правило, в них удаётся найти различные интересные ошибки и рассказать о них людям. Также это хороший способ тестирования нашего анализатора и...
GDB - инструмент, без которого тяжело обойтись. Конечно, как говорит Брукс "Качество разработки программного продукта достигается благодаря правильному проектированию, а не...
Одной из проблем C++ является большое количество конструкций, поведение которых не определено или просто неожиданно для программиста. С такими ошибками мы часто сталкиваемся при...
Я написал эту заметку в качестве моральной помощи для моего коллеги Андрея Карпова. Как-то раз он пришел ко мне и пожаловался, что устал повторять, что про анализатор в мире знает крайне мало...
Проект Apache HTTP Server продолжает развиваться. Анализатор PVS-Studio не отстаёт и становится всё более мощным с каждой новой версией. Посмотрим, какие результаты покажет проверка на этот...
Я регулярно проверяю различные открытые проекты, чтобы продемонстрировать возможности статического анализатора кода PVS-Studio (C, C++, C#). Настало время компилятора GCC. Бесспорно, GCC — это...
На этом докладе будет сказано о том, какие техники из современного C++ позволяют писать не только более простой и выразительный, но и безопасный код. Автор доклада продемонстрирует ошибки в коде различных Open Source проектов и покажет, как можно их избежать, используя…
Работая над развитием статического анализатора исходного кода PVS-Studio, мы часто сталкиваемся с необходимостью проверки на наличие ошибок больших открытых проектов от именитых разработчиков...
