Мы используем куки, чтобы пользоваться сайтом было удобно.
Хорошо
to the top

Публикации: статьи C++

17 Дек 2012
Немного про OpenSSL
Андрей Карпов
Небольшая заметка о результатах проверки проекта OpenSSL с помощью анализатора PVS-Studio. Я анализировал версию openssl-0.9.8-stable-SNAP-20121208.
...
12 Дек 2012
Как статический анализ дополняет TDD
Андрей Карпов
Одной из популярных техник разработки программного обеспечения является TDD. В целом мне нравится эта технология и отчасти мы её используем. Главное при её использовании не вдаваться в крайности. Не...
...
Подписаться на рассылку
Хотите раз в месяц получать от нас подборку вышедших в этот период самых интересных статей и новостей? Подписывайтесь!
07 Ноя 2012
Безопасность, безопасность! А вы её тестируете?
Андрей Карпов
В коде программ нет мест, где нельзя допустить ошибку. Ошибка может быть в самом простом месте. Если алгоритмы, механизмы обмена данными и интерфейсы люди привыкли тестировать, то с безопасностью всё...
...
02 Ноя 2012
Чем дальше, тем экзотичнее ошибки
Андрей Карпов
Когда мы только начинали разрабатывать PVS-Studio, я мог практически моментально определить, что является причиной ложного срабатывания или ошибки. Мог сразу сказать, какая подсистема за это...
...
10 Окт 2012
Распространенная ошибка при компиляции 64-битного приложения: error C2440, OnTimer
Андрей Карпов
Одной из самых распространенных ошибок, с которыми сталкивается программист при переносе приложений с Win32 на Win64 систему, является ошибка, связанная с использованием функции OnTimer. Функции...
...
20 Сен 2012
Что скрывают в себе комментарии
Дмитрий Новиков
О пользе или вреде комментариев в коде программ много говорится и однозначного мнения так и не сформировалось. Однако мы решили посмотреть на них с другой стороны. Могут ли комментарии навести...
...
19 Сен 2012
Обнаружены ошибки в библиотеках Visual C++ 2012
Андрей Карпов
Одной из методик выявления ошибок в программах является статический анализ кода. Мы рады, что это методология становится всё более популярной. Во многом этому способствует Visual Studio, в которой...
...
10 Сен 2012
Во всём виноват компилятор
Андрей Карпов
Многие программисты очень любят обвинять компилятор в различных ошибках. Поговорим немного об этом.
...
21 Авг 2012
Проверка проекта Trans-Proteomic Pipeline (TPP)
Андрей Карпов
Если честно, я не знаю, для чего предназначен проект TPP. Как мне кажется, это набор инструментов для изучения белков и их взаимодействия в живых организмах. Впрочем, это не так важно. Главное, что...
...
20 Авг 2012
Статический анализ следует применять регулярно
Андрей Карпов
Время от времени мы повторно анализируем проекты, которые уже проверяли с помощью PVS-Studio. Причин несколько. Например, хочется посмотреть, удалось ли избавиться от определенных ложных...
...
Показать еще Pagination arrow previous
Показано: - из 650