Не так давно мы работали над диагностикой, связанной с проверкой финализатора, и у нас с коллегой возник спор по поводу деталей работы сборщика мусора и финализации объектов. И хотя я и он...
Нас часто спрашивают, поддерживает ли анализатор PVS-Studio стандарт MISRA. Я решил написать короткую заметку, чтобы было удобно отвечать на письма, давая ссылку. Короткий ответ: на данный момент...
PVS-Studio — программа, которая ищет в исходных кодах проектов на C++, C# ошибки, которые компилятор не видит, но программист в этих местах, скорее всего...
Я не могу пройти мимо открытых исходников мессенджера ICQ. Это культовый проект, и когда исходные коды появились на сайте GitHub, вопрос, когда мы проверим его с помощью PVS-Studio, стал...
Эта обзорная статья посвящена изучению стремительно набирающего в последнее время популярность направления в IT-индустрии - чат-ботам, а также роли Microsoft в процессе их развития...
Крупные проекты проверять интересно. Как правило, в них удаётся найти различные интересные ошибки и рассказать о них людям. Также это хороший способ тестирования нашего анализатора и...
GDB - инструмент, без которого тяжело обойтись. Конечно, как говорит Брукс "Качество разработки программного продукта достигается благодаря правильному проектированию, а не...
Одной из проблем C++ является большое количество конструкций, поведение которых не определено или просто неожиданно для программиста. С такими ошибками мы часто сталкиваемся при...
Я написал эту заметку в качестве моральной помощи для моего коллеги Андрея Карпова. Как-то раз он пришел ко мне и пожаловался, что устал повторять, что про анализатор в мире знает крайне мало...
